Uses of Class
dev.civl.mc.model.IF.CIVLException

Packages that use CIVLException

Package	Description
dev.civl.mc.log.IF	Module log provides the data structure for logging errors during verification.
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.

Uses of CIVLException in dev.civl.mc.log.IF

Subclasses of CIVLException in dev.civl.mc.log.IF

Modifier and Type	Class	Description
class	CIVLExecutionException	This represents an error during the execution of a program.

Uses of CIVLException in dev.civl.mc.model.IF

Subclasses of CIVLException in dev.civl.mc.model.IF

Modifier and Type	Class	Description
class	CIVLInternalException	A CIVL internal exception represents an error that is "not supposed to happen." It can be used like an assertion, whenever you feel that something should always be true.
class	CIVLSyntaxException	An exception thrown when there is syntax error in the program being verified, e.g., calling $choose_int with more than one arguments, etc.
class	CIVLUnimplementedFeatureException	An exception thrown when there is not necessarily anything wrong with the program begin verified, but some CIVL feature has not yet been implemented.