Module RacerDDomain.Access

type t =
| Read of {
exp : AccessExpression.t;
}

Field or array read

| Write of {
exp : AccessExpression.t;
}

Field or array write

| ContainerRead of {
exp : AccessExpression.t;
pname : IR.Procname.t;
}

Read of container object

| ContainerWrite of {
exp : AccessExpression.t;
pname : IR.Procname.t;
}

Write to container object

| InterfaceCall of {
exp : AccessExpression.t;
pname : IR.Procname.t;
}

Call to method of interface not annotated with @ThreadSafe

val pp : F.formatter -> t -> unit
val get_access_exp : t -> AccessExpression.t