Module JavaFrontend.JTransType
val create_fieldname : Javalib_pack.JBasics.class_name -> Javalib_pack.JBasics.field_signature -> IR.Fieldname.ttranslate the name of the field
val get_method_kind : Javalib_pack.JCode.jcode Javalib_pack.Javalib.jmethod -> IR.Procname.Java.kindval get_method_procname : JProgramDesc.t -> IR.Tenv.t -> Javalib_pack.JBasics.class_name -> Javalib_pack.JBasics.method_signature -> IR.Procname.Java.kind -> IR.Procname.treturns a procedure name based on the class name and the method's signature
val translate_method_name : JProgramDesc.t -> IR.Tenv.t -> Javalib_pack.JCode.jcode Javalib_pack.Javalib.jmethod -> IR.Procname.ttranslate the SIL procedure name of the Java method
val get_class_struct_typ : JProgramDesc.t -> IR.Tenv.t -> Javalib_pack.JBasics.class_name -> IR.Struct.tget_class_struct_typ program tenv cnreturns the struct_typ representation of the class
val get_class_type_no_pointer : JProgramDesc.t -> IR.Tenv.t -> Javalib_pack.JBasics.class_name -> IR.Typ.tget_class_type_no_pointer program tenv cnreturns the sil type representation of the class without the pointer part
val get_class_type : JProgramDesc.t -> IR.Tenv.t -> Javalib_pack.JBasics.class_name -> IR.Typ.tget_class_type program tenv cnreturns the sil type representation of the class
val is_autogenerated_assert_field : IR.Fieldname.t -> boolreturn true if
field_nameis the autogenerated C.$assertionsDisabled field for class C
val sizeof_of_object_type : JProgramDesc.t -> IR.Tenv.t -> Javalib_pack.JBasics.object_type -> IR.Subtype.t -> IR.Exp.tcreate sizeof expressions from the object type and the list of subtypes
val value_type : JProgramDesc.t -> IR.Tenv.t -> Javalib_pack.JBasics.value_type -> IR.Typ.ttransforms a Java type to a Typ.t.
val param_type : JProgramDesc.t -> IR.Tenv.t -> Javalib_pack.JBasics.class_name -> Sawja_pack.JBir.var -> Javalib_pack.JBasics.value_type -> IR.Typ.treturn the type of a formal parameter, looking up the class name in case of "this"
val return_type : JProgramDesc.t -> IR.Tenv.t -> Javalib_pack.JBasics.method_signature -> IR.Typ.tReturns the return type of the method based on the return type specified in ms.
val expr_type : JContext.t -> Sawja_pack.JBir.expr -> IR.Typ.ttranslates the type of an expression
val cast_type : Sawja_pack.JBir.conv -> IR.Typ.ttranslates a conversion type from Java to Sil.