class TesslaSyntaxToTessla extends Translator[Specification] with CanParseConstantString
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- TesslaSyntaxToTessla
- CanParseConstantString
- Translator
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new TesslaSyntaxToTessla(spec: Seq[ParseResult])
Type Members
- class StatementVisitor extends TesslaSyntaxBaseVisitor[Statement] with TesslaVisitor[Statement]
- trait TesslaVisitor[T] extends TesslaSyntaxBaseVisitor[T]
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def abort(): Nothing
- Attributes
- protected
- Definition Classes
- Translator
- def abortOnError(): Unit
- Attributes
- protected
- Definition Classes
- Translator
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def checkForDuplicates(identifiers: Seq[Identifier]): Unit
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def error(error: TesslaError): Unit
- Attributes
- protected
- Definition Classes
- Translator
- val errors: ArrayBuffer[TesslaError]
- Attributes
- protected
- Definition Classes
- Translator
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def getConstantString(stringLit: StringLitContext): String
- Definition Classes
- CanParseConstantString
- def getTypeDefID(stat: Statement): Option[Identifier]
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def mkID(id: TerminalNode): Identifier
- def mkID(id: Token): Identifier
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def parseEscapeSequence(sequence: String, loc: Location): String
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def translate(): Result[Specification]
- Definition Classes
- Translator
- def translateAnnotation(annotation: AnnotationContext): Annotation
- def translateBody(body: BodyContext): Body
- def translateConstantExpression(exp: ConstantExpressionContext): ConstantExpression
- def translateDefinition(definition: DefContext): Definition
- def translateEvalType(evTyp: EvalTypeContext): (Option[RuntimeEvaluation], Type)
- def translateExpression(exp: ExpressionContext): Expression
- def translateParameter(parameter: ParamContext): (Option[RuntimeEvaluation], Parameter)
- def translateSpec(): Specification
- Definition Classes
- TesslaSyntaxToTessla → Translator
- def translateStatement(stat: StatementContext, tokens: CommonTokenStream): Statement
- def translateType(typ: TypeContext): Type
- def tryWithDefault[R](default: => R)(body: => R): R
- Attributes
- protected
- Definition Classes
- Translator
- def tupleToObject[T <: HasLoc](elems: Seq[T]): Map[Identifier, T]
- def unwrapResult[T](result: Result[T]): T
- Attributes
- protected
- Definition Classes
- Translator
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def warn(loc: Location, message: String): Unit
- Attributes
- protected
- Definition Classes
- Translator
- def warn(diagnostic: Diagnostic): Unit
- Attributes
- protected
- Definition Classes
- Translator
- val warnings: ArrayBuffer[Diagnostic]
- Attributes
- protected
- Definition Classes
- Translator
- object ExpressionVisitor extends TesslaSyntaxBaseVisitor[Expression] with TesslaVisitor[Expression]
- object TypeVisitor extends TesslaSyntaxBaseVisitor[Type] with TesslaVisitor[Type]
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
- Deprecated
(Since version ) see corresponding Javadoc for more information.