Frama-C:
Plug-ins:
Libraries:

Frama-C API - Proxy

State proxy. A proxy is a state which does not correspond to any useful mutable value. Its goal is only to reduce the number of dependencies between groups of states.

  • since Carbon-20101201
type t

Proxy type.

type kind =
  1. | Backward
    (*

    All states in the proxy depend on it.

    *)
  2. | Forward
    (*

    The proxy depends on all states inside.

    *)
  3. | Both
    (*

    States in the proxy and the proxy itself are mutually dependent.

    *)
val create : string -> kind -> State.t list -> t

create s k sk l creates a new proxy with the given name, kinds and states inside it.

val extend : State.t list -> t -> unit

Add some states in the given proxy.

val get : t -> State.t

Getting the state corresponding to a proxy.