BasicExps

Type Members

case class Add(lhs: Exp, rhs: Exp) extends Exp with Product with Serializable
case class Const(value: Int) extends Exp with Product with Serializable
sealed abstract class Exp extends AnyRef
case class Fac(operand: Exp) extends Exp with Product with Serializable
case class Failure(loc: Location, expected: Set[String], found: Token, completions: Set[ICompletion]) extends ParseResult[Nothing] with Product with Serializable

Definition Classes
Parsers
case class ITE(cond: Exp, thenExp: Exp, elseExp: Exp) extends Exp with Product with Serializable
case class Mult(lhs: Exp, rhs: Exp) extends Exp with Product with Serializable
abstract class ParseResult[+Result] extends AnyRef

Definition Classes
Parsers
trait Parser[+Result] extends AnyRef

Definition Classes
Parsers
case class Success[Result](loc: Location, result: Result, completions: Set[ICompletion], expectedAfter: Set[String]) extends ParseResult[Result] with Product with Serializable

Definition Classes
Parsers
case class Suggestion(fullToken: String, replacementString: String, docString: Option[String]) extends Product with Serializable

Definition Classes
Parsers
case class Var(name: String) extends Exp with Product with Serializable

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
object Suggestion extends Serializable

Definition Classes
Parsers
def additiveExp: Parser[Exp]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val completionTokenDelimiter: String

Delimiter that is inserted before the completion when a completion creates a completely new token and no other delimiter is already present (and we're not at the beginning of the file).
Delimiter that is inserted before the completion when a completion creates a completely new token and no other delimiter is already present (and we're not at the beginning of the file).
The purpose of this is to make '"if", ctrl+space, select "myCond"' complete to "if myCond" rather than "ifmyCond" (in a language where "myCond" would be a valid token after "if").
If a space is not a suitable token delimiter in your language, override this to something that is.

Definition Classes
Parsers
def const: Parser[Const]
def describeAs[Result](description: String)(parser: Parser[Result]): Parser[Result]

Set a custom description for the given parser.
Set a custom description for the given parser. This will show up in "Expected X, but got Y" error messages instead of the token list generated by default.

Definition Classes
Parsers
def eof: Parser[Some[BasicExpTokens.EOF.type]]

Matches at the end of file.
Matches at the end of file. Using this rule instead of token(EOF) prevents an empty string from being added to the completions list.

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

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

Definition Classes
AnyRef → Any
def exp: Parser[Exp]
def fail: Parser[Nothing]

Parser that fails unconditionally.
Parser that fails unconditionally.
This is useful as a default when combining a possibly-empty list of parsers with | for example.

Definition Classes
Parsers
def fail(expected: String): Parser[Nothing]

Parser that fails unconditionally.
Parser that fails unconditionally.
This is useful as a default when combining a possibly-empty list of parsers with | for example.
expected
The message associated with this rule in "X expected, but Y found" error messages.

Definition Classes
Parsers
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def float: Parser[String]

Definition Classes
SimpleTokenParsers
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def ident: Parser[String]

Definition Classes
SimpleTokenParsers
def int: Parser[String]

Definition Classes
SimpleTokenParsers
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def main(args: Array[String]): Unit
def matchToken[Result](description: String, suggestions: ⇒ Set[Suggestion] = Set())(f: PartialFunction[WithLocation[BasicExpTokens.Token], Result]): Parser[Result]

This rule matches a token if the given function is defined for that function.
This rule matches a token if the given function is defined for that function. If so the result is a Success whose value is the return value of the function. Otherwise the rule fails.

Definition Classes
Parsers
def matchTokenAlt[Result](description: Set[String], suggestions: ⇒ Set[Suggestion] = Set())(f: PartialFunction[WithLocation[BasicExpTokens.Token], Result]): Parser[Result]

This rule matches a token if the given function is defined for that function.
This rule matches a token if the given function is defined for that function. If so the result is a Success whose value is the return value of the function. Otherwise the rule fails.

Definition Classes
Parsers
def multExp: Parser[Exp]
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: BasicExpTokenizer.TokenIterator): ParseResult[Result]

Definition Classes
Parsers
def primExp: Parser[Exp]
def rep1sep[T](rep: Parser[T], sep: Parser[Any]): Parser[List[T]]

Matches one or more occurrences of rep separated by sep and produces a list of the results if successful.
Matches one or more occurrences of rep separated by sep and produces a list of the results if successful.

Definition Classes
Parsers
def repsep[T](rep: Parser[T], sep: Parser[Any]): Parser[List[T]]

Matches zero or more occurrences of rep separated by sep and produces a list of the results.
Matches zero or more occurrences of rep separated by sep and produces a list of the results.

Definition Classes
Parsers
def string: Parser[String]

Definition Classes
SimpleTokenParsers
def success[Result](result: ⇒ Result): Parser[Result] { def parse(input: de.uni_luebeck.isp.compacom.examples.BasicExps.tokenizer.TokenIterator): de.uni_luebeck.isp.compacom.examples.BasicExps.Success[Result] }

Succeeds unconditionally and without consuming tokens.
Succeeds unconditionally and without consuming tokens. The resulitng Success object will contain result as its result value.

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

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
implicit def token[T <: BasicExpTokens.Token](tok: T): Parser[WithLocation[T]]

This rule matches the given token and fails on any other token.
This rule matches the given token and fails on any other token.

Definition Classes
Parsers
def token[T <: BasicExpTokens.Token](tok: T, docString: String): Parser[WithLocation[T]]

This rule matches the given token and fails on any other token.
This rule matches the given token and fails on any other token.
The given docstring will be used as the documentation for the completion produced for this token.

Definition Classes
Parsers
val tokenizer: BasicExpTokenizer.type

Definition Classes
BasicExps → SimpleTokenParsers → Parsers
def variable: Parser[Var]
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]

Only use the given parser when the given condition is met.
Only use the given parser when the given condition is met. When the condition is not met, this parser fails unconditionally.

Definition Classes
Parsers

Related Doc: package examples

object BasicExps extends SimpleTokenParsers

Type Members

case class Add(lhs: Exp, rhs: Exp) extends Exp with Product with Serializable

case class Const(value: Int) extends Exp with Product with Serializable

sealed abstract class Exp extends AnyRef

case class Fac(operand: Exp) extends Exp with Product with Serializable

case class Failure(loc: Location, expected: Set[String], found: Token, completions: Set[ICompletion]) extends ParseResult[Nothing] with Product with Serializable

case class ITE(cond: Exp, thenExp: Exp, elseExp: Exp) extends Exp with Product with Serializable

case class Mult(lhs: Exp, rhs: Exp) extends Exp with Product with Serializable

abstract class ParseResult[+Result] extends AnyRef

trait Parser[+Result] extends AnyRef

case class Success[Result](loc: Location, result: Result, completions: Set[ICompletion], expectedAfter: Set[String]) extends ParseResult[Result] with Product with Serializable

case class Suggestion(fullToken: String, replacementString: String, docString: Option[String]) extends Product with Serializable

case class Var(name: String) extends Exp with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Suggestion extends Serializable

def additiveExp: Parser[Exp]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val completionTokenDelimiter: String

def const: Parser[Const]

def describeAs[Result](description: String)(parser: Parser[Result]): Parser[Result]

def eof: Parser[Some[BasicExpTokens.EOF.type]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def exp: Parser[Exp]

def fail: Parser[Nothing]

def fail(expected: String): Parser[Nothing]

def finalize(): Unit

def float: Parser[String]

final def getClass(): Class[_]

def hashCode(): Int

def ident: Parser[String]

def int: Parser[String]

final def isInstanceOf[T0]: Boolean

def main(args: Array[String]): Unit

def matchToken[Result](description: String, suggestions: ⇒ Set[Suggestion] = Set())(f: PartialFunction[WithLocation[BasicExpTokens.Token], Result]): Parser[Result]

def matchTokenAlt[Result](description: Set[String], suggestions: ⇒ Set[Suggestion] = Set())(f: PartialFunction[WithLocation[BasicExpTokens.Token], Result]): Parser[Result]

def multExp: Parser[Exp]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def parseAll[Result](p: ⇒ Parser[Result], s: String): ParseResult[Result]

def parseAll[Result](p: ⇒ Parser[Result], s: Source): ParseResult[Result]

def parseAll[Result](p: ⇒ Parser[Result], s: LookaheadSource): ParseResult[Result]

def parseAll[Result](p: ⇒ Parser[Result], TokenIterator: BasicExpTokenizer.TokenIterator): ParseResult[Result]

def primExp: Parser[Exp]

def rep1sep[T](rep: Parser[T], sep: Parser[Any]): Parser[List[T]]

def repsep[T](rep: Parser[T], sep: Parser[Any]): Parser[List[T]]

def string: Parser[String]

def success[Result](result: ⇒ Result): Parser[Result] { def parse(input: de.uni_luebeck.isp.compacom.examples.BasicExps.tokenizer.TokenIterator): de.uni_luebeck.isp.compacom.examples.BasicExps.Success[Result] }

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

def toString(): String

implicit def token[T <: BasicExpTokens.Token](tok: T): Parser[WithLocation[T]]

def token[T <: BasicExpTokens.Token](tok: T, docString: String): Parser[WithLocation[T]]

val tokenizer: BasicExpTokenizer.type

def variable: Parser[Var]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def when[T](condition: Boolean)(thenParser: ⇒ Parser[T]): Parser[T]

Inherited from SimpleTokenParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped