object TesslaParser extends TranslationPhase[TesslaSource, Spec] with Parsers
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- TesslaParser
- Parsers
- TranslationPhase
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
case class
Failure extends ParseResult[Nothing] with Product with Serializable
- Definition Classes
- Parsers
-
abstract
class
ParseResult[+Result] extends AnyRef
- Definition Classes
- Parsers
-
trait
Parser[+Result] extends AnyRef
- Definition Classes
- Parsers
-
case class
Success[Result] extends ParseResult[Result] with Product with Serializable
- Definition Classes
- Parsers
-
case class
Suggestion extends Product with Serializable
- Definition Classes
- Parsers
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 additiveExpr: Parser[Expr]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def bitAndExpr: Parser[Expr]
- def bitOrExpr: Parser[Expr]
- def bitShiftExpr: Parser[Expr]
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- def comparison: Parser[Expr]
-
val
completionTokenDelimiter: String
- Definition Classes
- Parsers
- def conjunction: Parser[Expr]
- def defOrMacroDef: Parser[Def]
- def define: Parser[Any]
-
def
describeAs[Result](description: String)(parser: Parser[Result]): Parser[Result]
- Definition Classes
- Parsers
-
def
eof: Parser[Some[TesslaParser.Tokens.EOF.type]]
- Definition Classes
- Parsers
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
error(error: TesslaError): Unit
- Definition Classes
- TranslationPhase
-
val
errors: ArrayBuffer[TesslaError]
- Definition Classes
- TranslationPhase
- def expr: Parser[Expr]
- def exprAppArg: Parser[AppArg]
- def exprAppArgs: Parser[Seq[AppArg]]
- def exprAtomic: Parser[Expr]
- def exprBlock: Parser[ExprBlock]
- def exprBoolLit: Parser[ExprBoolLit]
- def exprGroup: Parser[Expr]
- def exprIntLit: Parser[Expr]
- def exprLit: Parser[Expr]
- def exprNameOrApp: Parser[Expr]
- def exprStringLit: Parser[ExprStringLit]
-
def
fail: Parser[Nothing]
- Definition Classes
- Parsers
-
def
fail(expected: String): Parser[Nothing]
- Definition Classes
- Parsers
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- def identifier: Parser[Identifier]
- def ifThenElse: Parser[ExprApp]
- def infixExpr: Parser[Expr]
- def infixOp(loc: compacom.Location, lhs: Expr, rhss: Seq[(WithLocation[TesslaParser.Tokens.Token], Expr)]): Expr
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def macroArg: Parser[MacroArg]
- def macroArgs: Parser[Seq[MacroArg]]
-
def
matchToken[Result](description: String, suggestions: ⇒ Set[Suggestion])(f: PartialFunction[WithLocation[TesslaParser.Tokens.Token], Result]): Parser[Result]
- Definition Classes
- Parsers
-
def
matchTokenAlt[Result](description: Set[String], suggestions: ⇒ Set[Suggestion])(f: PartialFunction[WithLocation[TesslaParser.Tokens.Token], Result]): Parser[Result]
- Definition Classes
- Parsers
- def multiplicativeExpr: Parser[Expr]
- def namedArgAssignmentOperator: Parser[Any]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- def outstatement: Parser[Statement]
-
def
parseAll[Result](p: ⇒ Parser[Result], s: String): ParseResult[Result]
- Definition Classes
- Parsers
-
def
parseAll[Result](p: ⇒ Parser[Result], s: Source): ParseResult[Result]
- Definition Classes
- Parsers
-
def
parseAll[Result](p: ⇒ Parser[Result], s: LookaheadSource): ParseResult[Result]
- Definition Classes
- Parsers
-
def
parseAll[Result](p: ⇒ Parser[Result], tokenIterator: TesslaParser.Tokenizer.TokenIterator): ParseResult[Result]
- Definition Classes
- Parsers
-
def
parseMany[Result](p: ⇒ Parser[Result], s: Source): Iterator[ParseResult[Result]]
- Definition Classes
- Parsers
-
def
parseMany[Result](p: ⇒ Parser[Result], input: TesslaParser.Tokenizer.TokenIterator): Iterator[ParseResult[Result]]
- Definition Classes
- Parsers
-
def
rep1sep[T](rep: Parser[T], sep: Parser[Any]): Parser[Seq[T]]
- Definition Classes
- Parsers
-
def
repsep[T](rep: Parser[T], sep: Parser[Any]): Parser[Seq[T]]
- Definition Classes
- Parsers
- def spec: Parser[Spec]
- def statement: Parser[Statement]
-
def
success[Result](result: ⇒ Result): Parser[Result] { def parse(input: de.uni_luebeck.isp.tessla.TesslaParser.tokenizer.TokenIterator): de.uni_luebeck.isp.tessla.TesslaParser.Success[Result] }
- Definition Classes
- Parsers
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def timeUnit: Parser[TimeUnit]
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
implicit
def
token[T <: TesslaParser.Tokens.Token](tok: T): Parser[WithLocation[T]]
- Definition Classes
- Parsers
-
def
token[T <: TesslaParser.Tokens.Token](tok: T, docString: String): Parser[WithLocation[T]]
- Definition Classes
- Parsers
-
val
tokenizer: Tokenizer.type
- Definition Classes
- TesslaParser → Parsers
-
def
translate(spec: TesslaSource): Result[Spec]
- Definition Classes
- TranslationPhase
-
def
translateSpec(source: TesslaSource): Spec
- Definition Classes
- TesslaParser → TranslationPhase
-
def
tryWithDefault[R](default: ⇒ R)(body: ⇒ R): R
- Definition Classes
- TranslationPhase
- def type: Parser[Type]
- def typeAppArgs: Parser[Seq[Type]]
- def typeAscr: Parser[Type]
- def typeNameOrApp: Parser[Type]
- def typedExpression: Parser[Expr]
- def unaryExpr: Parser[Expr]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
warn(loc: Location, message: String): Unit
- Definition Classes
- TranslationPhase
-
def
warn(diagnostic: Diagnostic): Unit
- Definition Classes
- TranslationPhase
-
val
warnings: ArrayBuffer[Diagnostic]
- Definition Classes
- TranslationPhase
-
def
when[T](condition: Boolean)(thenParser: ⇒ Parser[T]): Parser[T]
- Definition Classes
- Parsers
-
object
Suggestion extends Serializable
- Definition Classes
- Parsers
- object Tokenizer extends SimpleTokenizer
- object Tokens extends SimpleTokens