- j -

• java_cfg_dominatorst : java_bytecode_convert_methodt
• java_lambda_method_handlest : java_class_typet
• jumpst : full_slicert