Uses of Enum Class
dev.civl.mc.model.IF.location.Location.AtomicKind

Packages that use Location.AtomicKind

Package	Description
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.

Uses of Location.AtomicKind in dev.civl.mc.model.IF.location

Methods in dev.civl.mc.model.IF.location that return Location.AtomicKind

Modifier and Type	Method	Description
Location.AtomicKind	Location.atomicKind()	Result might be: NONE: a normal location ENTER: the start location of an $atomic block LEAVE: the end location of an $atomic block
static Location.AtomicKind	Location.AtomicKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static Location.AtomicKind[]	Location.AtomicKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Uses of Location.AtomicKind in dev.civl.mc.model.IF.statement

Methods in dev.civl.mc.model.IF.statement with parameters of type Location.AtomicKind

Modifier and Type	Method	Description
String	Statement.toStepString(Location.AtomicKind atomicKind, int atomCount, boolean atomicLockVarChanged)