| 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"); |
| } |
| } |