interpreter
API
Generated with
interpreter/de.uni_luebeck.isp.tessla.interpreter/JavaApi/Diagnostic

Diagnostic

de.uni_luebeck.isp.tessla.interpreter.JavaApi.Diagnostic
case class Diagnostic(diagnostic: Diagnostic)

Diagnostic object, carrying information about errors and warnings which occur during compilation and execution.

Value parameters

diagnostic

The Diagnostic object from the core API used to generate the Diagnostic object

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def fromColumn: Int | Null

Returns the starting column of the TeSSLa code which has lead to the error (or null if unknown)

Returns the starting column of the TeSSLa code which has lead to the error (or null if unknown)

Attributes

Returns

The starting column of the TeSSLa code which has lead to the error

def fromLine: Int | Null

Returns the starting line of the TeSSLa code which has lead to the error (or null if unknown)

Returns the starting line of the TeSSLa code which has lead to the error (or null if unknown)

Attributes

Returns

The starting line of the TeSSLa code which has lead to the error

def message: String

Returns the message of the error or warning

Returns the message of the error or warning

Attributes

Returns

Message of the error or warning

def path: String

Returns the path of the TeSSLa source file which has lead to the error

Returns the path of the TeSSLa source file which has lead to the error

Attributes

Returns

The path of the TeSSLa source file which has lead to the error

def toColumn: Int | Null

Returns the final column of the TeSSLa code which has lead to the error (or null if unknown)

Returns the final column of the TeSSLa code which has lead to the error (or null if unknown)

Attributes

Returns

The final column of the TeSSLa code which has lead to the error

def toLine: Int | Null

Returns the final line of the TeSSLa code which has lead to the error (or null if unknown)

Returns the final line of the TeSSLa code which has lead to the error (or null if unknown)

Attributes

Returns

The final line of the TeSSLa code which has lead to the error

override def toString: String

Returns a string representation of the Diagnostic object

Returns a string representation of the Diagnostic object

Attributes

Returns

A string representation of the Diagnostic object

Definition Classes
Any

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with