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

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

Package	Description
dev.civl.mc.analysis.IF	Module analysis provides a list of analyzers for static/runtime analyzing of a program.
dev.civl.mc.kripke.IF	Module kripke provides the definition of various transitions and the enabler and state manager of CIVL.
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.expression	Submodule model.expression defines expression in CIVL.
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.model.IF.type	Submodule model.type defines types in CIVL.
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

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

Class	Description
CallOrSpawnStatement	A function call or spawn.
Statement	The parent of all statements.

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

Class	Description
CallOrSpawnStatement	A function call or spawn.
Statement	The parent of all statements.

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

Class	Description
AssignStatement	An assignment statement.
CallOrSpawnStatement	A function call or spawn.
CivlParForSpawnStatement	This represents the first part of a $parfor construct, i.e., spawning processes according the specified domain.
MallocStatement	A statement for dynamic allocation of objects.
NoopStatement	Marker interface for a noop statement.
ParallelAssignStatement
Statement	The parent of all statements.
UpdateStatement

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

Class	Description
CallOrSpawnStatement	A function call or spawn.

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

Class	Description
CallOrSpawnStatement	A function call or spawn.
Statement	The parent of all statements.

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

Class	Description
CallOrSpawnStatement	A function call or spawn.
NoopStatement	Marker interface for a noop statement.
NoopStatement.NoopKind
Statement	The parent of all statements.
Statement.StatementKind	Different kinds of statements.

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

Class	Description
MallocStatement	A statement for dynamic allocation of objects.

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

Class	Description
CallOrSpawnStatement	A function call or spawn.
Statement	The parent of all statements.