java_bytecode → langapi Relation

File in jbmc/src/java_bytecode	Includes file in langapi
goto_check_java.cpp	language.h
goto_check_java.cpp	mode.h
java_bytecode_language.h	language.h
lazy_goto_functions_map.h	language_file.h
lazy_goto_model.cpp	language.h
lazy_goto_model.cpp	mode.h
lazy_goto_model.h	language_file.h