Module dev.civl.mc

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

package dev.civl.mc.model.IF.location

Submodule model.location defines a location in the control flow graph of CIVL.

Related Packages

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.expression	Submodule model.expression defines expression in CIVL.
dev.civl.mc.model.IF.statement	Submodule model.statement defines a statement of a CIVL-C program.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.
dev.civl.mc.model.IF.variable	Submodule model.variable defines variables in CIVL.

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.