Module dev.civl.mc

Package dev.civl.mc.model.IF

Class CIVLSyntaxException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

dev.civl.mc.model.IF.CIVLException

dev.civl.mc.model.IF.CIVLSyntaxException

All Implemented Interfaces:

Serializable

public class CIVLSyntaxException
extends CIVLException

An exception thrown when there is syntax error in the program being verified, e.g., calling $choose_int with more than one arguments, etc.

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
CIVLSyntaxException(String message)
CIVLSyntaxException(String message, dev.civl.abc.token.IF.Source source)
CIVLSyntaxException(String message, CIVLSource source)
CIVLSyntaxException(String message, Sourceable sourceable)

Method Summary

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

getSource, toString

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

CIVLSyntaxException

public CIVLSyntaxException(String message,
 CIVLSource source)

CIVLSyntaxException

public CIVLSyntaxException(String message,
 Sourceable sourceable)

CIVLSyntaxException

public CIVLSyntaxException(String message)

CIVLSyntaxException

public CIVLSyntaxException(String message,
 dev.civl.abc.token.IF.Source source)