c

de.uni_luebeck.isp.tessla

TesslaParser

class TesslaParser extends AbstractTesslaParser[Statement, Specification]

Linear Supertypes
AbstractTesslaParser[Statement, Specification], TranslationPhase[CharStream, Specification], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TesslaParser
  2. AbstractTesslaParser
  3. TranslationPhase
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TesslaParser()

Type Members

  1. trait TesslaVisitor[T] extends TesslaSyntaxBaseVisitor[T]

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def abort(): Nothing
    Attributes
    protected
    Definition Classes
    TranslationPhase
  5. def abortOnError(): Unit
    Attributes
    protected
    Definition Classes
    TranslationPhase
  6. def aggregateItems(statements: Seq[Statement]): Specification
    Definition Classes
    TesslaParser → AbstractTesslaParser
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def error(error: TesslaError): Unit
    Attributes
    protected
    Definition Classes
    TranslationPhase
  12. val errors: ArrayBuffer[TesslaError]
    Attributes
    protected
    Definition Classes
    TranslationPhase
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. def getFile(node: ParserRuleContext): String
    Attributes
    protected
    Definition Classes
    AbstractTesslaParser
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. def mkID(id: TerminalNode): Identifier
  18. def mkID(id: Token): Identifier
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  22. def parseEscapeSequence(sequence: String, loc: Location): String
    Attributes
    protected
    Definition Classes
    AbstractTesslaParser
  23. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  24. def toString(): String
    Definition Classes
    AnyRef → Any
  25. def translate(spec: CharStream): Result[Specification]
    Definition Classes
    TranslationPhase
  26. def translateBody(body: BodyContext): Expression
  27. def translateDefinition(definition: DefContext): Definition
  28. def translateExpression(exp: ExpressionContext): Expression
  29. def translateInclude(include: IncludeContext): Seq[Statement]
    Attributes
    protected
    Definition Classes
    AbstractTesslaParser
  30. def translateParameter(parameter: ParamContext): Parameter
  31. def translateSpec(input: CharStream): Specification
    Definition Classes
    AbstractTesslaParser → TranslationPhase
  32. def translateStatement(stat: StatementContext): Statement
    Definition Classes
    TesslaParser → AbstractTesslaParser
  33. def translateType(typ: TypeContext): Type
  34. def tryWithDefault[R](default: ⇒ R)(body: ⇒ R): R
    Attributes
    protected
    Definition Classes
    TranslationPhase
  35. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  37. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. def warn(loc: Location, message: String): Unit
    Attributes
    protected
    Definition Classes
    TranslationPhase
  39. def warn(diagnostic: Diagnostic): Unit
    Attributes
    protected
    Definition Classes
    TranslationPhase
  40. val warnings: ArrayBuffer[Diagnostic]
    Attributes
    protected
    Definition Classes
    TranslationPhase
  41. object ExpressionVisitor extends TesslaSyntaxBaseVisitor[Expression] with TesslaVisitor[Expression]
  42. object StatementVisitor extends TesslaSyntaxBaseVisitor[Statement] with TesslaVisitor[Statement]
  43. object TypeVisitor extends TesslaSyntaxBaseVisitor[Type] with TesslaVisitor[Type]

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AbstractTesslaParser[Statement, Specification]

Inherited from TranslationPhase[CharStream, Specification]

Inherited from AnyRef

Inherited from Any

Ungrouped