Package org.btrplace.safeplace.spec

Class SpecException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.btrplace.safeplace.spec.SpecException

All Implemented Interfaces:

Serializable

public class SpecException
extends RuntimeException

Author:

Fabien Hermenier

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
SpecException(String name, int c, String s)

Method Summary

Modifier and Type	Method	Description
static SpecException	badFunctionCall(String name, org.antlr.v4.runtime.Token t, Function f, List<Term> args)
String	getMessage()
static SpecException	typeMismatch(String name, int c, Type expected, Type got)
static SpecException	unknownSymbol(String name, org.antlr.v4.runtime.Token sym)
static SpecException	unsupportedOperation(String name, Type t1, org.antlr.v4.runtime.Token to, Type t2)

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Details

SpecException

public SpecException(String name, int c, String s)

Method Details

getMessage

public String getMessage()

Overrides:

getMessage in class Throwable

typeMismatch

public static SpecException typeMismatch(String name, int c, Type expected, Type got)

unknownSymbol

public static SpecException unknownSymbol(String name, org.antlr.v4.runtime.Token sym)

unsupportedOperation

public static SpecException unsupportedOperation(String name, Type t1, org.antlr.v4.runtime.Token to, Type t2)

badFunctionCall

public static SpecException badFunctionCall(String name, org.antlr.v4.runtime.Token t, Function f, List<Term> args)