tessla-compiler
API
Generated with
tessla-compiler/de.uni_luebeck.isp.tessla.tessla_compiler/Diagnostics/CoreASTError

CoreASTError

de.uni_luebeck.isp.tessla.tessla_compiler.Diagnostics.CoreASTError
case class CoreASTError(m: String, loc: Location) extends TesslaError

Error thrown if the TeSSLa Core AST from the frontend cannot be processed

Value parameters

loc

Location which code section in the original TeSSLa spec caused the error

m

More detailed message

Attributes

Graph
Supertypes
trait Product
trait Equals
trait TesslaError
trait Diagnostic
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def mapLocation(f: Location => Location): TesslaError

Attributes

Definition Classes
TesslaError -> Diagnostic
override def message: String

Attributes

Definition Classes
Diagnostic

Inherited methods

final def addSuppressed(x$0: Throwable): Unit

Attributes

Inherited from:
Throwable
def fillInStackTrace(): Throwable

Attributes

Inherited from:
Throwable
def getCause(): Throwable

Attributes

Inherited from:
Throwable
def getLocalizedMessage(): String

Attributes

Inherited from:
Throwable
def getMessage(): String

Attributes

Inherited from:
Throwable
def getStackTrace(): Array[StackTraceElement]

Attributes

Inherited from:
Throwable
final def getSuppressed(): Array[Throwable]

Attributes

Inherited from:
Throwable
def initCause(x$0: Throwable): Throwable

Attributes

Inherited from:
Throwable
def printStackTrace(x$0: PrintWriter): Unit

Attributes

Inherited from:
Throwable
def printStackTrace(x$0: PrintStream): Unit

Attributes

Inherited from:
Throwable
def printStackTrace(): Unit

Attributes

Inherited from:
Throwable
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def setStackTrace(x$0: Array[StackTraceElement]): Unit

Attributes

Inherited from:
Throwable
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Diagnostic -> Any
Inherited from:
Diagnostic
Generated with