object TraceParser extends Parsers
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- TraceParser
- Parsers
- 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
- 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[TraceParser.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
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[TraceParser.Tokens.Token], Result]): Parser[Result]
- Definition Classes
- Parsers
-
def
matchTokenAlt[Result](description: Set[String], suggestions: ⇒ Set[Suggestion])(f: PartialFunction[WithLocation[TraceParser.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: TraceParser.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: TraceParser.Tokenizer.TokenIterator): Iterator[ParseResult[Result]]
- Definition Classes
- Parsers
- def parseTrace(tesslaSource: TesslaSource): Trace
-
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: de.uni_luebeck.isp.tessla.interpreter.TraceParser.tokenizer.TokenIterator): de.uni_luebeck.isp.tessla.interpreter.TraceParser.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 <: TraceParser.Tokens.Token](tok: T): Parser[WithLocation[T]]
- Definition Classes
- Parsers
-
def
token[T <: TraceParser.Tokens.Token](tok: T, docString: String): Parser[WithLocation[T]]
- Definition Classes
- Parsers
-
val
tokenizer: Tokenizer.type
- Definition Classes
- TraceParser → Parsers
-
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
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