term.parser.package.ParserOldTRS

Ordering

Alphabetic
By inheritance

Inherited

Hide All
Show all

ParserOldTRS
Parser
RegexParsers
Parsers
AnyRef
Any

Visibility

Public
All

Type Members

type Elem = Char

Definition Classes
RegexParsers → Parsers
type Input = Reader[Elem]

Definition Classes
Parsers

Value Members

def != (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def != (arg0: Any): Boolean

Attributes
final
Definition Classes
Any
def ## (): Int

Attributes
final
Definition Classes
AnyRef → Any
def == (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def == (arg0: Any): Boolean

Attributes
final
Definition Classes
Any
def OnceParser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

Definition Classes
Parsers
def Parser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T]

Definition Classes
Parsers
def accept [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

Definition Classes
Parsers
def accept [ES] (es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

Definition Classes
Parsers
implicit def accept (e: Elem): Parser[Elem]

Attributes
implicit
Definition Classes
Parsers
def acceptIf (p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

Definition Classes
Parsers
def acceptMatch [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

Definition Classes
Parsers
def acceptSeq [ES] (es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

Definition Classes
Parsers
def asInstanceOf [T0] : T0

Attributes
final
Definition Classes
Any
def chainl1 [T, U] (first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

Definition Classes
Parsers
def chainl1 [T] (p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

Definition Classes
Parsers
def chainr1 [T, U] (p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

Definition Classes
Parsers
def clone (): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def commit [T] (p: ⇒ Parser[T]): Parser[T]

Definition Classes
Parsers
def elem (e: Elem): Parser[Elem]

Definition Classes
Parsers
def elem (kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

Definition Classes
Parsers
def eq (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def equals (arg0: Any): Boolean

Definition Classes
AnyRef → Any
def err (msg: String): Parser[Nothing]

Definition Classes
Parsers
def failure (msg: String): Parser[Nothing]

Definition Classes
Parsers
def finalize (): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def getClass (): java.lang.Class[_]

Attributes
final
Definition Classes
AnyRef → Any
def guard [T] (p: ⇒ Parser[T]): Parser[T]

Definition Classes
Parsers
def handleWhiteSpace (source: CharSequence, offset: Int): Int

Attributes
protected
Definition Classes
RegexParsers
def hashCode (): Int

Definition Classes
AnyRef → Any
def isInstanceOf [T0] : Boolean

Attributes
final
Definition Classes
Any
var lastNoSuccess : NoSuccess

Definition Classes
Parsers
implicit def literal (s: String): Parser[String]

Attributes
implicit
Definition Classes
RegexParsers
def log [T] (p: ⇒ Parser[T])(name: String): Parser[T]

Definition Classes
Parsers
def mkList [T] : (~[T, List[T]]) ⇒ List[T]

Definition Classes
Parsers
def ne (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def not [T] (p: ⇒ Parser[T]): Parser[Unit]

Definition Classes
Parsers
def notify (): Unit

Attributes
final
Definition Classes
AnyRef
def notifyAll (): Unit

Attributes
final
Definition Classes
AnyRef
def opt [T] (p: ⇒ Parser[T]): Parser[Option[T]]

Definition Classes
Parsers
def parse (file: String): ES

Returns the equational system parsed from file.
Returns the equational system parsed from file.

Definition Classes
ParserOldTRS → Parser
def parse [T] (p: Parser[T], in: Reader): ParseResult[T]

Definition Classes
RegexParsers
def parse [T] (p: Parser[T], in: CharSequence): ParseResult[T]

Definition Classes
RegexParsers
def parse [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

Definition Classes
RegexParsers
def parseAll [T] (p: Parser[T], in: CharSequence): ParseResult[T]

Definition Classes
RegexParsers
def parseAll [T] (p: Parser[T], in: Reader): ParseResult[T]

Definition Classes
RegexParsers
def parseAll [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

Definition Classes
RegexParsers
def parseInline (s: String): ES

Returns the equational system parsed from the string s.
def phrase [T] (p: Parser[T]): Parser[T]

Definition Classes
RegexParsers → Parsers
def positioned [T <: Positional] (p: ⇒ Parser[T]): Parser[T]

Definition Classes
RegexParsers → Parsers
implicit def regex (r: Regex): Parser[String]

Attributes
implicit
Definition Classes
RegexParsers
def rep [T] (p: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
def rep1 [T] (first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
Annotations
@migration
Migration
def rep1 [T] (p: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
def rep1sep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

Definition Classes
Parsers
def repN [T] (num: Int, p: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
def repsep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

Definition Classes
Parsers
def skipWhitespace : Boolean

Definition Classes
RegexParsers
def success [T] (v: T): Parser[T]

Definition Classes
Parsers
def synchronized [T0] (arg0: ⇒ T0): T0

Attributes
final
Definition Classes
AnyRef
def toOldString (rs: TRS): String

Returns a string representing the term rewrite system rs in the old trs format.
def toString (): String

Definition Classes
AnyRef → Any
var variables : List[V]

The list of variables used in this system.
def wait (): Unit

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()
def wait (arg0: Long, arg1: Int): Unit

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()
def wait (arg0: Long): Unit

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()
val whiteSpace : Regex

Attributes
protected
Definition Classes
RegexParsers

ParserOldTRS

object ParserOldTRS extends RegexParsers with Parser

Type Members

type Elem = Char

type Input = Reader[Elem]

Value Members

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

def ## (): Int

def == (arg0: AnyRef): Boolean

def == (arg0: Any): Boolean

def OnceParser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

def Parser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T]

def accept [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

def accept [ES] (es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

implicit def accept (e: Elem): Parser[Elem]

def acceptIf (p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

def acceptMatch [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

def acceptSeq [ES] (es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

def asInstanceOf [T0] : T0

def chainl1 [T, U] (first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

def chainl1 [T] (p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

def chainr1 [T, U] (p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

def clone (): AnyRef

def commit [T] (p: ⇒ Parser[T]): Parser[T]

def elem (e: Elem): Parser[Elem]

def elem (kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

def eq (arg0: AnyRef): Boolean

def equals (arg0: Any): Boolean

def err (msg: String): Parser[Nothing]

def failure (msg: String): Parser[Nothing]

def finalize (): Unit

def getClass (): java.lang.Class[_]

def guard [T] (p: ⇒ Parser[T]): Parser[T]

def handleWhiteSpace (source: CharSequence, offset: Int): Int

def hashCode (): Int

def isInstanceOf [T0] : Boolean

var lastNoSuccess : NoSuccess

implicit def literal (s: String): Parser[String]

def log [T] (p: ⇒ Parser[T])(name: String): Parser[T]

def mkList [T] : (~[T, List[T]]) ⇒ List[T]

def ne (arg0: AnyRef): Boolean

def not [T] (p: ⇒ Parser[T]): Parser[Unit]

def notify (): Unit

def notifyAll (): Unit

def opt [T] (p: ⇒ Parser[T]): Parser[Option[T]]

def parse (file: String): ES

def parse [T] (p: Parser[T], in: Reader): ParseResult[T]

def parse [T] (p: Parser[T], in: CharSequence): ParseResult[T]

def parse [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

def parseAll [T] (p: Parser[T], in: CharSequence): ParseResult[T]

def parseAll [T] (p: Parser[T], in: Reader): ParseResult[T]

def parseAll [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

def parseInline (s: String): ES

def phrase [T] (p: Parser[T]): Parser[T]

def positioned [T <: Positional] (p: ⇒ Parser[T]): Parser[T]

implicit def regex (r: Regex): Parser[String]

def rep [T] (p: ⇒ Parser[T]): Parser[List[T]]

def rep1 [T] (first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

def rep1 [T] (p: ⇒ Parser[T]): Parser[List[T]]

def rep1sep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

def repN [T] (num: Int, p: ⇒ Parser[T]): Parser[List[T]]

def repsep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

def skipWhitespace : Boolean

def success [T] (v: T): Parser[T]

def synchronized [T0] (arg0: ⇒ T0): T0

def toOldString (rs: TRS): String

def toString (): String

var variables : List[V]

def wait (): Unit

def wait (arg0: Long, arg1: Int): Unit

def wait (arg0: Long): Unit

val whiteSpace : Regex

Inherited from Parser

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any