blob: a8bfef46adda21d07148105374ee43e18152f679 (
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
|
import rename_pcre_enum.*;
public class rename_pcre_enum_runme {
static { System.loadLibrary("rename_pcre_enum"); }
public static void main(String argv[])
{
Foo foo = Foo.First;
if ( foo == Foo.Second )
throw new RuntimeException("Enum values should be different");
// Check that Foo_Max enum element was ignored.
int numFooEnumElements = Foo.values().length;
if ( numFooEnumElements != 2 )
throw new RuntimeException(String.format("Enum should have 2 elements, not %d",
numFooEnumElements));
BoundaryCondition bc = BoundaryCondition.MaxMax;
if ( bc.ordinal() != 2 )
throw new RuntimeException("Wrong enum value");
Colour c = Colour.red;
if ( c == Colour.blue )
throw new RuntimeException("Enum values should be different");
}
}
|