|
TYPE extend_or_truncate = ENUMERATION ( truncate, extend ); END_TYPE; -- extend_or_truncate |
Userscurve_style_parameters_with_ends_armx.end_extension |
public final class EExtend_or_truncatestatic final int TRUNCATE = 1static final int EXTEND = 2 static String[] values = {"TRUNCATE", "EXTEND"} static int toInt(String str) static String toString(int value) |