blob: 5807b278ac94f4bc9aac2a357a4806b4ea030110 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
// <Area> Generics - Expressions - specific catch clauses </Area>
// <Title>
// catch type parameters bound by Exception or a subclass of it in the form catch(T)
// </Title>
// <RelatedBugs> </RelatedBugs>
//<Expects Status=success></Expects>
// <Code>
using System;
public class GenException<T> : Exception {}
public class GenExceptionSub<T> : GenException<T> {}
public struct Gen
{
public static void ExceptionTest<Ex,T>(Ex e) where Ex : GenException<T>
{
try
{
throw e;
}
catch(Ex E)
{
Test.Eval(Object.ReferenceEquals(e,E));
}
catch
{
Console.WriteLine("Caught Wrong Exception");
Test.Eval(false);
}
}
}
public class Test
{
public static int counter = 0;
public static bool result = true;
public static void Eval(bool exp)
{
counter++;
if (!exp)
{
result = exp;
Console.WriteLine("Test Failed at location: " + counter);
}
}
public static int Main()
{
Gen.ExceptionTest<GenException<int>,int>(new GenExceptionSub<int>());
Gen.ExceptionTest<GenException<string>,string>(new GenExceptionSub<string>());
Gen.ExceptionTest<GenException<Guid>,Guid>(new GenExceptionSub<Guid>());
if (result)
{
Console.WriteLine("Test Passed");
return 100;
}
else
{
Console.WriteLine("Test Failed");
return 1;
}
}
}
// </Code>
|