package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t
val get_class : 'a t -> 'a JProgram.node
val get_meth : 'a t -> 'a Javalib_pack.Javalib.concrete_method
val get_pc : 'a t -> int
val get_pp : 'a JProgram.node -> 'a Javalib_pack.Javalib.concrete_method -> int -> 'a t
val equal : 'a t -> 'a t -> bool
val compare : 'a t -> 'a t -> int
val hash : 'a t -> int
val get_ir : 'a t -> 'a
val get_first_pp_wp : 'a JProgram.node -> Javalib_pack.JBasics.method_signature -> 'a t
val goto_absolute : 'a t -> int -> 'a t
val goto_relative : 'a t -> int -> 'a t
val next_instruction : 'a t -> 'a t
val static_pp_lookup : 'a JProgram.program -> 'a t -> 'a t list
val to_string : 'a t -> string
val pprint : Format.formatter -> 'a t -> unit