languaget * new_ansi_c_language()
languaget * new_jsil_language()
languaget * new_cpp_language()
CBMC Command Line Option Processing.
languaget * new_java_bytecode_language()
void register_language(language_factoryt factory)
virtual void register_languages()