15.10.3.3 Using pragma foreign_export_enum for Java

For Java the symbolic names generated by a ‘pragma foreign_export_enum’ must form valid Java identifiers. These identifiers are used as the names of static class members which are assigned instances of the enumeration class.

The equals method should be used for equality testing of enumeration values in Java code.

The default mapping used by ‘pragma foreign_export_enum’ declarations for Java is to use the Mercury constructor name as the base of the symbolic name. For example, the symbolic name for the Mercury constructor ‘foo’ would be foo.