o

de.uni_luebeck.isp.tessla

TesslaParser

object TesslaParser extends TranslationPhase[TesslaSource, Spec] with Parsers

Linear Supertypes
Parsers, TranslationPhase[TesslaSource, Spec], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TesslaParser
  2. Parsers
  3. TranslationPhase
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Failure extends ParseResult[Nothing] with Product with Serializable
    Definition Classes
    Parsers
  2. abstract class ParseResult[+Result] extends AnyRef
    Definition Classes
    Parsers
  3. trait Parser[+Result] extends AnyRef
    Definition Classes
    Parsers
  4. case class Success[Result] extends ParseResult[Result] with Product with Serializable
    Definition Classes
    Parsers
  5. case class Suggestion extends Product with Serializable
    Definition Classes
    Parsers

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 additiveExpr: Parser[Expr]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def bitAndExpr: Parser[Expr]
  7. def bitOrExpr: Parser[Expr]
  8. def bitShiftExpr: Parser[Expr]
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. def comparison: Parser[Expr]
  11. val completionTokenDelimiter: String
    Definition Classes
    Parsers
  12. def conjunction: Parser[Expr]
  13. def defOrMacroDef: Parser[Def]
  14. def define: Parser[Any]
  15. def describeAs[Result](description: String)(parser: Parser[Result]): Parser[Result]
    Definition Classes
    Parsers
  16. def eof: Parser[Some[TesslaParser.Tokens.EOF.type]]
    Definition Classes
    Parsers
  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  19. def error(error: TesslaError): Unit
    Definition Classes
    TranslationPhase
  20. val errors: ArrayBuffer[TesslaError]
    Definition Classes
    TranslationPhase
  21. def expr: Parser[Expr]
  22. def exprAppArg: Parser[AppArg]
  23. def exprAppArgs: Parser[Seq[AppArg]]
  24. def exprAtomic: Parser[Expr]
  25. def exprBlock: Parser[ExprBlock]
  26. def exprBoolLit: Parser[ExprBoolLit]
  27. def exprGroup: Parser[Expr]
  28. def exprIntLit: Parser[Expr]
  29. def exprLit: Parser[Expr]
  30. def exprNameOrApp: Parser[Expr]
  31. def exprStringLit: Parser[ExprStringLit]
  32. def fail: Parser[Nothing]
    Definition Classes
    Parsers
  33. def fail(expected: String): Parser[Nothing]
    Definition Classes
    Parsers
  34. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  35. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  36. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  37. def identifier: Parser[Identifier]
  38. def ifThenElse: Parser[ExprApp]
  39. def infixExpr: Parser[Expr]
  40. def infixOp(loc: compacom.Location, lhs: Expr, rhss: Seq[(WithLocation[TesslaParser.Tokens.Token], Expr)]): Expr
  41. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  42. def macroArg: Parser[MacroArg]
  43. def macroArgs: Parser[Seq[MacroArg]]
  44. def matchToken[Result](description: String, suggestions: ⇒ Set[Suggestion])(f: PartialFunction[WithLocation[TesslaParser.Tokens.Token], Result]): Parser[Result]
    Definition Classes
    Parsers
  45. def matchTokenAlt[Result](description: Set[String], suggestions: ⇒ Set[Suggestion])(f: PartialFunction[WithLocation[TesslaParser.Tokens.Token], Result]): Parser[Result]
    Definition Classes
    Parsers
  46. def multiplicativeExpr: Parser[Expr]
  47. def namedArgAssignmentOperator: Parser[Any]
  48. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  49. final def notify(): Unit
    Definition Classes
    AnyRef
  50. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  51. def outstatement: Parser[Statement]
  52. def parseAll[Result](p: ⇒ Parser[Result], s: String): ParseResult[Result]
    Definition Classes
    Parsers
  53. def parseAll[Result](p: ⇒ Parser[Result], s: Source): ParseResult[Result]
    Definition Classes
    Parsers
  54. def parseAll[Result](p: ⇒ Parser[Result], s: LookaheadSource): ParseResult[Result]
    Definition Classes
    Parsers
  55. def parseAll[Result](p: ⇒ Parser[Result], tokenIterator: TesslaParser.Tokenizer.TokenIterator): ParseResult[Result]
    Definition Classes
    Parsers
  56. def parseMany[Result](p: ⇒ Parser[Result], s: Source): Iterator[ParseResult[Result]]
    Definition Classes
    Parsers
  57. def parseMany[Result](p: ⇒ Parser[Result], input: TesslaParser.Tokenizer.TokenIterator): Iterator[ParseResult[Result]]
    Definition Classes
    Parsers
  58. def rep1sep[T](rep: Parser[T], sep: Parser[Any]): Parser[Seq[T]]
    Definition Classes
    Parsers
  59. def repsep[T](rep: Parser[T], sep: Parser[Any]): Parser[Seq[T]]
    Definition Classes
    Parsers
  60. def spec: Parser[Spec]
  61. def statement: Parser[Statement]
  62. 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
  63. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  64. def timeUnit: Parser[TimeUnit]
  65. def toString(): String
    Definition Classes
    AnyRef → Any
  66. implicit def token[T <: TesslaParser.Tokens.Token](tok: T): Parser[WithLocation[T]]
    Definition Classes
    Parsers
  67. def token[T <: TesslaParser.Tokens.Token](tok: T, docString: String): Parser[WithLocation[T]]
    Definition Classes
    Parsers
  68. val tokenizer: Tokenizer.type
    Definition Classes
    TesslaParser → Parsers
  69. def translate(spec: TesslaSource): Result[Spec]
    Definition Classes
    TranslationPhase
  70. def translateSpec(source: TesslaSource): Spec
    Definition Classes
    TesslaParserTranslationPhase
  71. def tryWithDefault[R](default: ⇒ R)(body: ⇒ R): R
    Definition Classes
    TranslationPhase
  72. def type: Parser[Type]
  73. def typeAppArgs: Parser[Seq[Type]]
  74. def typeAscr: Parser[Type]
  75. def typeNameOrApp: Parser[Type]
  76. def typedExpression: Parser[Expr]
  77. def unaryExpr: Parser[Expr]
  78. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  79. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  80. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  81. def warn(loc: Location, message: String): Unit
    Definition Classes
    TranslationPhase
  82. def warn(diagnostic: Diagnostic): Unit
    Definition Classes
    TranslationPhase
  83. val warnings: ArrayBuffer[Diagnostic]
    Definition Classes
    TranslationPhase
  84. def when[T](condition: Boolean)(thenParser: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  85. object Suggestion extends Serializable
    Definition Classes
    Parsers
  86. object Tokenizer extends SimpleTokenizer
  87. object Tokens extends SimpleTokens

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped