`val get_method_kind : Javalib_pack.JCode.jcode Javalib_pack.Javalib.jmethod ‑> InferIR.Typ.Procname.Java.kind`
`val get_method_procname : Javalib_pack.JBasics.class_name ‑> Javalib_pack.JBasics.method_signature ‑> InferIR.Typ.Procname.Java.kind ‑> InferIR.Typ.Procname.t`

returns a procedure name based on the class name and the method's signature.

`val translate_method_name : Javalib_pack.JCode.jcode Javalib_pack.Javalib.jmethod ‑> InferIR.Typ.Procname.t`

translate the SIL procedure name of the Java method

`val get_class_struct_typ : InferModules.JClasspath.program ‑> InferIR.Tenv.t ‑> Javalib_pack.JBasics.class_name ‑> InferIR.Typ.Struct.t`

`get_class_struct_typ program tenv cn` returns the struct_typ representation of the class

`val get_class_type_no_pointer : InferModules.JClasspath.program ‑> InferIR.Tenv.t ‑> Javalib_pack.JBasics.class_name ‑> InferIR.Typ.t`

`get_class_type_no_pointer program tenv cn` returns the sil type representation of the class without the pointer part

`val get_class_type : InferModules.JClasspath.program ‑> InferIR.Tenv.t ‑> Javalib_pack.JBasics.class_name ‑> InferIR.Typ.t`

`get_class_type program tenv cn` returns the sil type representation of the class

`val is_autogenerated_assert_field : InferIR.Typ.Fieldname.t ‑> bool`

return true if `field_name` is the autogenerated C.$assertionsDisabled field for class C

`val sizeof_of_object_type : InferModules.JClasspath.program ‑> InferIR.Tenv.t ‑> Javalib_pack.JBasics.object_type ‑> InferIR.Subtype.t ‑> InferIR.Exp.t`

create sizeof expressions from the object type and the list of subtypes

`val value_type : InferModules.JClasspath.program ‑> InferIR.Tenv.t ‑> Javalib_pack.JBasics.value_type ‑> InferIR.Typ.t`

transforms a Java type to a Typ.t.

`val param_type : InferModules.JClasspath.program ‑> InferIR.Tenv.t ‑> Javalib_pack.JBasics.class_name ‑> Sawja_pack.JBir.var ‑> Javalib_pack.JBasics.value_type ‑> InferIR.Typ.t`

return the type of a formal parameter, looking up the class name in case of "this"

`val return_type : InferModules.JClasspath.program ‑> InferIR.Tenv.t ‑> Javalib_pack.JBasics.method_signature ‑> InferIR.Typ.t`

Returns the return type of the method based on the return type specified in ms.

`val expr_type : InferModules.JContext.t ‑> Sawja_pack.JBir.expr ‑> InferIR.Typ.t`

translates the type of an expression

`val cast_type : Sawja_pack.JBir.conv ‑> InferIR.Typ.t`

translates a conversion type from Java to Sil.

`val package_to_string : string list ‑> string option`
`val create_array_type : InferIR.Typ.t ‑> int ‑> InferIR.Typ.t`

`create_array_type typ dim` creates an array type with dimension dim and content typ

`val extract_cn_no_obj : InferIR.Typ.t ‑> Javalib_pack.JBasics.class_name option`

`extract_cn_type_np` returns the Java class name of typ when typ is a pointer type, otherwise returns None

`val object_type_to_string : Javalib_pack.JBasics.object_type ‑> string`

returns a string representation of an object Java type