package sawja

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Context : CONTEXT

Signature

module Context : sig ... end
type var_global = [
  1. | `Global of Context.context
]
type var_ioc = [
  1. | `IOC of Context.context * ioc
]
type var_field = [
  1. | `Field of Context.context * ioc * Javalib_pack.JBasics.field_signature
]
type var_method = [
  1. | `Method of Context.context * ioc * Javalib_pack.JBasics.method_signature
]
type var_pp = [
  1. | `PP of Context.context * ioc * Javalib_pack.JBasics.method_signature * int
]
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val pprint : Format.formatter -> t -> unit
val compare_global : var_global -> var_global -> int
val compare_ioc : var_ioc -> var_ioc -> int
val compare_field : var_field -> var_field -> int
val compare_method : var_method -> var_method -> int
val compare_pp : var_pp -> var_pp -> int
val equal_global : var_global -> var_global -> bool
val equal_ioc : var_ioc -> var_ioc -> bool
val equal_field : var_field -> var_field -> bool
val equal_method : var_method -> var_method -> bool
val equal_pp : var_pp -> var_pp -> bool
val hash_global : var_global -> int
val hash_ioc : var_ioc -> int
val hash_field : var_field -> int
val hash_method : var_method -> int
val hash_pp : var_pp -> int
val pprint_global : Format.formatter -> var_global -> unit
val pprint_ioc : Format.formatter -> var_ioc -> unit
val pprint_field : Format.formatter -> var_field -> unit
val pprint_method : Format.formatter -> var_method -> unit
val pprint_pp : Format.formatter -> var_pp -> unit
OCaml

Innovation. Community. Security.