class TesslaParser extends TranslationPhase[TesslaSource, Specification] with Parsers
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- TesslaParser
- Parsers
- TranslationPhase
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new TesslaParser()
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
- class Parsers extends AnyRef
-
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
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
val
completionTokenDelimiter: String
- Definition Classes
- Parsers
-
def
describeAs[Result](description: String)(parser: Parser[Result]): Parser[Result]
- Definition Classes
- Parsers
-
def
eof: Parser[Some[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
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
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
matchToken[Result](description: String, suggestions: ⇒ Set[Suggestion])(f: PartialFunction[WithLocation[Tokens.Token], Result]): Parser[Result]
- Definition Classes
- Parsers
-
def
matchTokenAlt[Result](description: Set[String], suggestions: ⇒ Set[Suggestion])(f: PartialFunction[WithLocation[Tokens.Token], Result]): Parser[Result]
- Definition Classes
- Parsers
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
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: 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: 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
success[Result](result: ⇒ Result): Parser[Result] { def parse(input: TesslaParser.this.tokenizer.TokenIterator): TesslaParser.this.Success[Result] }
- Definition Classes
- Parsers
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
implicit
def
token[T <: Tokens.Token](tok: T): Parser[WithLocation[T]]
- Definition Classes
- Parsers
-
def
token[T <: 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[Specification]
- Definition Classes
- TranslationPhase
-
def
translateSpec(source: TesslaSource): Specification
- Definition Classes
- TesslaParser → TranslationPhase
-
def
tryWithDefault[R](default: ⇒ R)(body: ⇒ R): R
- Definition Classes
- TranslationPhase
-
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