Module RacerDDomain.Access

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

    Field or array read

    *)
  2. | Write of {
    1. exp : AccessExpression.t;
    }
    (*

    Field or array write

    *)
  3. | ContainerRead of {
    1. exp : AccessExpression.t;
    2. pname : IR.Procname.t;
    }
    (*

    Read of container object

    *)
  4. | ContainerWrite of {
    1. exp : AccessExpression.t;
    2. pname : IR.Procname.t;
    }
    (*

    Write to container object

    *)
  5. | InterfaceCall of {
    1. exp : AccessExpression.t;
    2. 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