Uses of Package
dev.civl.mc.model.IF.location

Packages that use dev.civl.mc.model.IF.location

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.contract
dev.civl.mc.model.IF.location	Submodule model.location defines a location in the control flow graph of CIVL.
dev.civl.mc.model.IF.statement	Submodule model.statement defines a statement of a CIVL-C program.
dev.civl.mc.state.IF	Module state is responsible for the creation and manipulation of states of a CIVL model.

Classes in dev.civl.mc.model.IF.location used by dev.civl.mc.model.IF

Class	Description
Location	The parent of all locations.

Classes in dev.civl.mc.model.IF.location used by dev.civl.mc.model.IF.contract

Class	Description
Location	The parent of all locations.

Classes in dev.civl.mc.model.IF.location used by dev.civl.mc.model.IF.location

Class	Description
Location.AtomicKind	Atomic flags of a location: NONE: no $atomic boundary; ATOMIC_ENTER/ATOM_ENTER: the location is the starting point of an $atomic block; ATOMIC_EXIT/ATOM_EXIT: the location is the ending point of an $atomic block.

Classes in dev.civl.mc.model.IF.location used by dev.civl.mc.model.IF.statement

Class	Description
Location	The parent of all locations.
Location.AtomicKind	Atomic flags of a location: NONE: no $atomic boundary; ATOMIC_ENTER/ATOM_ENTER: the location is the starting point of an $atomic block; ATOMIC_EXIT/ATOM_EXIT: the location is the ending point of an $atomic block.

Classes in dev.civl.mc.model.IF.location used by dev.civl.mc.state.IF

Class	Description
Location	The parent of all locations.