package sawja
-
sawja
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val get_XTA_program :
?native_throwable:Javalib_pack.JBasics.class_name list ->
[< `Class | `Field | `Global ] ->
Javalib_pack.JCode.jcode JProgram.program ->
Javalib_pack.JBasics.class_method_signature list ->
Javalib_pack.JCode.jcode JProgram.programval default_native_throwable : Javalib_pack.JBasics.class_name list