Module JHigh2Low

module JHigh2Low: sig .. end

Tranformation of high level classes to low level classes.

val high2low : JCode.jcode JClass.interface_or_class -> JClassLow.jclass

Convert a high level class to a lower level class.

h2l_* functions are used in the JDump module so functions of JDumpLow can be used.

val h2l_cfield : JBasics.constant JLib.DynArray.t -> JClass.class_field -> JClassLow.jfield

val h2l_ifield : JBasics.constant JLib.DynArray.t ->
       JClass.interface_field -> JClassLow.jfield

val h2l_cmethod : JBasics.constant JLib.DynArray.t ->
       JBasics.bootstrap_method JLib.DynArray.t ->
       JCode.jcode JClass.concrete_method -> JClassLow.jmethod

val h2l_amethod : JBasics.constant JLib.DynArray.t ->
       JClass.abstract_method -> JClassLow.jmethod

val h2l_acmethod : JBasics.constant JLib.DynArray.t ->
       JBasics.bootstrap_method JLib.DynArray.t ->
       JCode.jcode JClass.jmethod -> JClassLow.jmethod