Fact (infer.Datalog.Fact)

type t

val to_string : t -> string

val iter_fact_types : (string -> unit) -> unit

val is_generated_per_class : t -> IR.Typ.Name.t option

If the fact is generated once for each class, return the corresponding class.

val entrypoint : IR.Procname.t -> t

val extends : IR.Typ.Name.t -> IR.Typ.Name.t -> t

val cast : IR.Procname.t -> IR.Ident.t -> IR.Ident.t -> IR.Typ.t -> t

val alloc : IR.Procname.t -> IR.Ident.t -> IBase.Location.t -> IR.Typ.t -> t

val virtual_call : 
  IR.Procname.t ->
  IBase.Location.t ->
  IR.Ident.t ->
  IR.Procname.t ->
  IR.Ident.t ->
  t

val static_call : 
  IR.Procname.t ->
  IBase.Location.t ->
  IR.Ident.t ->
  IR.Procname.t ->
  t

val actual_arg : 
  IR.Procname.t ->
  IBase.Location.t ->
  IR.Ident.t ->
  int ->
  IR.Ident.t ->
  t

val formal_arg : IR.Procname.t -> int -> IR.Pvar.t -> t

val actual_return : IR.Procname.t -> IBase.Location.t -> IR.Ident.t -> t

val formal_return : IR.Procname.t -> IR.Ident.t -> t

val implem : IR.Typ.Name.t -> IR.Procname.t -> t

val load_field : 
  IR.Procname.t ->
  IR.Ident.t ->
  IR.Ident.t ->
  IR.Fieldname.t ->
  t

val store_field : 
  IR.Procname.t ->
  IR.Ident.t ->
  IR.Fieldname.t ->
  IR.Ident.t ->
  t

val move_load : IR.Procname.t -> IR.Ident.t -> IR.Pvar.t -> t

val move_store : IR.Procname.t -> IR.Pvar.t -> IR.Ident.t -> t