Module dev.civl.mc

Package dev.civl.mc.log.IF

Class CIVLExecutionException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

dev.civl.mc.model.IF.CIVLException

dev.civl.mc.log.IF.CIVLExecutionException

All Implemented Interfaces:

Serializable

public class CIVLExecutionException
extends CIVLException

This represents an error during the execution of a program.

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class dev.civl.mc.model.IF.CIVLException

CIVLException.Certainty

Field Summary

Fields inherited from class dev.civl.mc.model.IF.CIVLException

source

Constructor Summary

Constructors

Constructor	Description
CIVLExecutionException(CIVLProperty property, CIVLException.Certainty certainty, String message, State state)	Constructs new CIVLExecutionException with no associated process.
CIVLExecutionException(CIVLProperty property, CIVLException.Certainty certainty, String message, State state, CIVLSource source)	Constructs new CIVLExecutionException with no associated process.
CIVLExecutionException(CIVLProperty property, CIVLException.Certainty certainty, String process, String message, State state, int pid, CIVLSource source)	Constructs a new CIVLExecutionException with an associated process.
CIVLExecutionException(CIVLProperty property, CIVLException.Certainty certainty, String process, String message, State state, int pid, CIVLSource source, StringBuffer stateString)	Constructs a new CIVLExecutionException with an associated process and stateString.

Method Summary

Modifier and Type	Method	Description
CIVLException.Certainty	certainty()
CIVLProperty	civlProperty()
boolean	isReported()	Is this error reported?
void	setReported()	Set this error to be reported.
State	state()
String	toString()

Methods inherited from class dev.civl.mc.model.IF.CIVLException

getSource

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

CIVLExecutionException

public CIVLExecutionException(CIVLProperty property,
 CIVLException.Certainty certainty,
 String process,
 String message,
 State state,
 int pid,
 CIVLSource source)

Constructs a new CIVLExecutionException with an associated process.

Parameters:

property - the CIVLProperty that has been violated

certainty - the certainty with which this is known to be an error in the program being verified

process - process name, i.e., "p"+process identifier

message - a message explaining the error

state - the state the exception appears in

pid - the process id of the process which triggered the exception

source - the source code element associated to the error; may be null

CIVLExecutionException

public CIVLExecutionException(CIVLProperty property,
 CIVLException.Certainty certainty,
 String process,
 String message,
 State state,
 int pid,
 CIVLSource source,
 StringBuffer stateString)

Constructs a new CIVLExecutionException with an associated process and stateString.

Parameters:

property - the CIVLProperty that has been violated

certainty - the certainty with which this is known to be an error in the program being verified

process - process name, i.e., "p"+process identifier

message - a message explaining the error

state - the state the exception appears in

pid - the process id of the process which triggered the exception

source - the source code element associated to the error; may be null

stateString - the string representation of the state where the error occurs; may be null

CIVLExecutionException

public CIVLExecutionException(CIVLProperty property,
 CIVLException.Certainty certainty,
 String message,
 State state)

Constructs new CIVLExecutionException with no associated process.

Parameters:

property - the CIVLProperty that has been violated

certainty - the certainty with which this is known to be an error in the program being verified

message - a message explaining the error

state - the state the exception appears in

CIVLExecutionException

public CIVLExecutionException(CIVLProperty property,
 CIVLException.Certainty certainty,
 String message,
 State state,
 CIVLSource source)

Constructs new CIVLExecutionException with no associated process.

Parameters:

property - the CIVLProperty that has been violated

certainty - the certainty with which this is known to be an error in the program being verified

message - a message explaining the error

state - the state the exception appears in

source - the source code element associated to the error; may be null

Method Details

certainty

public CIVLException.Certainty certainty()

Returns:

the certainty of this error.

civlProperty

public CIVLProperty civlProperty()

Returns:

the kind of this error.

state

public State state()

Returns:

the state in which this error occurred.

isReported

public boolean isReported()

Is this error reported?

Returns:

true iff the error has already been reported

setReported

public void setReported()

Set this error to be reported.

toString

public String toString()

Overrides:

toString in class CIVLException