- j -

• JANALYZER_OPTIONS : janalyzer_parse_options.h
• JAVA_ARRAY_DIMENSION_FIELD_NAME : java_types.h
• JAVA_ARRAY_ELEMENT_CLASSID_FIELD_NAME : java_types.h
• JAVA_BYTECODE_LANGUAGE_OPTIONS : java_bytecode_language.h
• JAVA_BYTECODE_LANGUAGE_OPTIONS_HELP : java_bytecode_language.h
• JAVA_CLASS_IDENTIFIER_FIELD_NAME : class_identifier.h
• JAVA_CLASS_MODEL_SUFFIX : java_bytecode_language.h
• JAVA_CLASSPATH_SEPARATOR : java_bytecode_language.h
• JAVA_ENTRY_POINT_EXCEPTION_SYMBOL : java_entry_point.h
• JAVA_ENTRY_POINT_RETURN_SYMBOL : java_entry_point.h
• JAVA_MAIN_METHOD : java_entry_point.cpp
• JAVA_REFERENCE_ARRAY_CLASSID : java_types.h
• JAVA_STRING_LITERAL_PREFIX : java_utils.h
• JBMC_OPTIONS : jbmc_parse_options.h
• JDIFF_OPTIONS : jdiff_parse_options.h