AnmlTypeParser

Instance Constructors

new AnmlTypeParser(initialModel: Model)

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
val actionKW: Opaque[Unit, Char, String]

Definition Classes
AnmlParser
val argList: fastparse.noApi.Parser[Seq[(String, Type)]]

Parses a sequence of args necessarily enclosed in parenthesis if non empty Example of valid inputs "", "()", "(Type1 arg1)", "(Type1 arg1, Type2 arg2)"
Parses a sequence of args necessarily enclosed in parenthesis if non empty Example of valid inputs "", "()", "(Type1 arg1)", "(Type1 arg1, Type2 arg2)"

Attributes
protected
Definition Classes
AnmlParser
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val constantFunc: fastparse.noApi.Parser[ConstantTemplate]

Definition Classes
AnmlParser
val constantKW: Opaque[Unit, Char, String]

Definition Classes
AnmlParser
var ctx: Ctx

Denotes the current context of this AnmlParser.
Denotes the current context of this AnmlParser. It is used by many suparsers to find the variable/fluent/type associated to an identifier. Over the course of Parsing, the current context is likely to change (i.e. ctx will point to a new context since Ctx is immutable.

Attributes
protected
Definition Classes
AnmlParser
val declaredType: fastparse.noApi.Parser[Type]

Definition Classes
AnmlParser
val definedTP: fastparse.noApi.Parser[TPRef]

Attributes
protected
Definition Classes
AnmlParser
val delay: fastparse.noApi.Parser[Delay]

Definition Classes
AnmlParser
val durationKW: Opaque[Unit, Char, String]

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

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

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
val fluent: fastparse.noApi.Parser[FluentTemplate]

Definition Classes
AnmlParser
val fluentKW: Opaque[Unit, Char, String]

Definition Classes
AnmlParser
val freeIdent: fastparse.noApi.Parser[String]

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

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
val ident: fastparse.noApi.Parser[String]

Definition Classes
AnmlParser
val initialContext: Ctx

Definition Classes
AnmlParser
val initialModel: Model
val instanceKW: Opaque[Unit, Char, String]

Definition Classes
AnmlParser
val int: fastparse.noApi.Parser[Int]

Definition Classes
AnmlParser
val interval: fastparse.noApi.Parser[Interval]

Definition Classes
AnmlParser
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val keywords: Set[String]

Definition Classes
AnmlParser
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
val nonIdent: Set[String]

Definition Classes
AnmlParser
val nonTypeToken: fastparse.noApi.Parser[String]
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def parse(input: String): Parsed[Model, Char, String]
val partiallyAppliedFunction: fastparse.noApi.Parser[(FunctionTemplate, Var)]

Parses a fluent in the object oriented notation.
Parses a fluent in the object oriented notation. "x.f" where x is a variable of type T and f is a fluent declared in type T or in a supertype of T. Returns the fluent T.f and x which is to be the first argument of T.f

Definition Classes
AnmlParser
val reservedTypeNames: Set[Nothing]

Definition Classes
AnmlParser
val simpleIdent: fastparse.noApi.Parser[String]

Definition Classes
AnmlParser
val staticAssertion: fastparse.noApi.Parser[StaticAssertion]

Definition Classes
AnmlParser
val staticSymExpr: fastparse.noApi.Parser[StaticSymExpr]

Definition Classes
AnmlParser
val symExpr: fastparse.noApi.Parser[SymExpr]

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

Definition Classes
AnyRef
val temporalConstraint: fastparse.noApi.Parser[Seq[TBefore]]

Definition Classes
AnmlParser
val temporallyQualifiedAssertion: fastparse.noApi.Parser[Seq[TemporallyQualifiedAssertion]]

Definition Classes
AnmlParser
val timedAssertion: fastparse.noApi.Parser[TimedAssertion]

Definition Classes
AnmlParser
val timedSymExpr: fastparse.noApi.Parser[TimedSymExpr]

Definition Classes
AnmlParser
val timepoint: fastparse.noApi.Parser[TPRef]

Definition Classes
AnmlParser
val timepointDeclaration: fastparse.noApi.Parser[TimepointDeclaration]

Definition Classes
AnmlParser
val timepointKW: Opaque[Unit, Char, String]

Definition Classes
AnmlParser
def toString(): String

Definition Classes
AnyRef → Any
val typeDeclaration: Parser[TypeDeclaration, Char, String]
val typeKW: Opaque[Unit, Char, String]

Definition Classes
AnmlParser
val typeName: fastparse.noApi.Parser[String]

Definition Classes
AnmlParser
def updateContext(newContext: Ctx): Unit

Attributes
protected
Definition Classes
AnmlParser
val variable: fastparse.noApi.Parser[Var]

Definition Classes
AnmlParser
val variableName: Opaque[String, Char, String]

Definition Classes
AnmlParser
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( ... )
val withKW: Opaque[Unit, Char, String]

Definition Classes
AnmlParser
val word: fastparse.noApi.Parser[String]

Definition Classes
AnmlParser

Related Doc: package anml

class AnmlTypeParser extends AnmlParser

Instance Constructors

new AnmlTypeParser(initialModel: Model)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val actionKW: Opaque[Unit, Char, String]

val argList: fastparse.noApi.Parser[Seq[(String, Type)]]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val constantFunc: fastparse.noApi.Parser[ConstantTemplate]

val constantKW: Opaque[Unit, Char, String]

var ctx: Ctx

val declaredType: fastparse.noApi.Parser[Type]

val definedTP: fastparse.noApi.Parser[TPRef]

val delay: fastparse.noApi.Parser[Delay]

val durationKW: Opaque[Unit, Char, String]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

val fluent: fastparse.noApi.Parser[FluentTemplate]

val fluentKW: Opaque[Unit, Char, String]

val freeIdent: fastparse.noApi.Parser[String]

final def getClass(): Class[_]

def hashCode(): Int

val ident: fastparse.noApi.Parser[String]

val initialContext: Ctx

val initialModel: Model

val instanceKW: Opaque[Unit, Char, String]

val int: fastparse.noApi.Parser[Int]

val interval: fastparse.noApi.Parser[Interval]

final def isInstanceOf[T0]: Boolean

val keywords: Set[String]

final def ne(arg0: AnyRef): Boolean

val nonIdent: Set[String]

val nonTypeToken: fastparse.noApi.Parser[String]

final def notify(): Unit

final def notifyAll(): Unit

def parse(input: String): Parsed[Model, Char, String]

val partiallyAppliedFunction: fastparse.noApi.Parser[(FunctionTemplate, Var)]

val reservedTypeNames: Set[Nothing]

val simpleIdent: fastparse.noApi.Parser[String]

val staticAssertion: fastparse.noApi.Parser[StaticAssertion]

val staticSymExpr: fastparse.noApi.Parser[StaticSymExpr]

val symExpr: fastparse.noApi.Parser[SymExpr]

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

val temporalConstraint: fastparse.noApi.Parser[Seq[TBefore]]

val temporallyQualifiedAssertion: fastparse.noApi.Parser[Seq[TemporallyQualifiedAssertion]]

val timedAssertion: fastparse.noApi.Parser[TimedAssertion]

val timedSymExpr: fastparse.noApi.Parser[TimedSymExpr]

val timepoint: fastparse.noApi.Parser[TPRef]

val timepointDeclaration: fastparse.noApi.Parser[TimepointDeclaration]

val timepointKW: Opaque[Unit, Char, String]

def toString(): String

val typeDeclaration: Parser[TypeDeclaration, Char, String]

val typeKW: Opaque[Unit, Char, String]

val typeName: fastparse.noApi.Parser[String]

def updateContext(newContext: Ctx): Unit

val variable: fastparse.noApi.Parser[Var]

val variableName: Opaque[String, Char, String]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

val withKW: Opaque[Unit, Char, String]

val word: fastparse.noApi.Parser[String]

Inherited from AnmlParser

Inherited from AnyRef

Inherited from Any

Ungrouped