package sawja

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val resolve_interface_method' : ?acc:'a JProgram.interface_node list -> Javalib_pack.JBasics.method_signature -> 'a JProgram.node -> 'a JProgram.interface_node list
exception AmbiguousFieldResolution of Javalib_pack.JBasics.class_name list
val overridden_by_methods : Javalib_pack.JBasics.method_signature -> 'a JProgram.node -> 'a JProgram.class_node list
val implements_method : 'a JProgram.class_node -> Javalib_pack.JBasics.method_signature -> bool
val implements_interface_or_subinterface : 'a JProgram.node -> 'a JProgram.interface_node -> bool
val implements_interface_or_subinterface_transitively : 'a JProgram.class_node -> 'a JProgram.interface_node -> bool
module PP : sig ... end
val static_lookup' : 'a JProgram.program -> 'a PP.t -> 'a PP.t list
OCaml

Innovation. Community. Security.