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.
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’