AnmlParser

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. val actionKW: Opaque[Unit, Char, String]

   

5. 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

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

8. val constantFunc: fastparse.noApi.Parser[ConstantTemplate]

   

9. val constantKW: Opaque[Unit, Char, String]

   

10. 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

11. val declaredType: fastparse.noApi.Parser[Type]

    

12. val definedTP: fastparse.noApi.Parser[TPRef]

    

    Attributes

    protected

13. val delay: fastparse.noApi.Parser[Delay]

    

14. val durationKW: Opaque[Unit, Char, String]

    

15. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

18. val fluent: fastparse.noApi.Parser[FluentTemplate]

    

19. val fluentKW: Opaque[Unit, Char, String]

    

20. val freeIdent: fastparse.noApi.Parser[String]

    

21. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

22. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

23. val ident: fastparse.noApi.Parser[String]

    

24. val initialContext: Ctx

    

25. val instanceKW: Opaque[Unit, Char, String]

    

26. val int: fastparse.noApi.Parser[Int]

    

27. val interval: fastparse.noApi.Parser[Interval]

    

28. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

29. val keywords: Set[String]

    

30. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

31. val nonIdent: Set[String]

    

32. final def notify(): Unit

    

    Definition Classes

    AnyRef

33. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

34. 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

35. val reservedTypeNames: Set[Nothing]

    

36. val simpleIdent: fastparse.noApi.Parser[String]

    

37. val staticAssertion: fastparse.noApi.Parser[StaticAssertion]

    

38. val staticSymExpr: fastparse.noApi.Parser[StaticSymExpr]

    

39. val symExpr: fastparse.noApi.Parser[SymExpr]

    

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

    

    Definition Classes

    AnyRef

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

    

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

    

43. val timedAssertion: fastparse.noApi.Parser[TimedAssertion]

    

44. val timedSymExpr: fastparse.noApi.Parser[TimedSymExpr]

    

45. val timepoint: fastparse.noApi.Parser[TPRef]

    

46. val timepointDeclaration: fastparse.noApi.Parser[TimepointDeclaration]

    

47. val timepointKW: Opaque[Unit, Char, String]

    

48. def toString(): String

    

    Definition Classes

    AnyRef → Any

49. val typeKW: Opaque[Unit, Char, String]

    

50. val typeName: fastparse.noApi.Parser[String]

    

51. def updateContext(newContext: Ctx): Unit

    

    Attributes

    protected

52. val variable: fastparse.noApi.Parser[Var]

    

53. val variableName: Opaque[String, Char, String]

    

54. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

56. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

57. val withKW: Opaque[Unit, Char, String]

    

58. val word: fastparse.noApi.Parser[String]