Parser

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

6. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. def check(current: Token, exp: TokenKind): Unit

   Attributes

   protected

   Definition Classes

   ParserCommon

8. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. def eat(expected: Token): Token

   Attributes

   protected

   Definition Classes

   ParserCommon

10. def eat(expected: TokenKind): Token

    Attributes

    protected

    Definition Classes

    ParserCommon

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

    Definition Classes

    AnyRef

12. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

13. def expected(found: Token, expected: TokenKind*): Nothing

    Attributes

    protected

    Definition Classes

    ParserCommon

14. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

16. def getPeekToken: Token

    Attributes

    protected

    Definition Classes

    ParserCommon

17. def hashCode(): Int

    Definition Classes

    AnyRef → Any

18. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

19. val lexer: Lexer

    Definition Classes

    Parser → ParserCommon

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

    Definition Classes

    AnyRef

21. def nextToken(): Token

    Attributes

    protected

    Definition Classes

    ParserCommon

22. final def notify(): Unit

    Definition Classes

    AnyRef

23. final def notifyAll(): Unit

    Definition Classes

    AnyRef

24. def parseAsIdentifier: QualifiedIdentifier

    Definition Classes

    ParserCommon

25. def parseAttribute: Attribute

    Definition Classes

    ParserCommon

26. def parseAttributeValue: AttributeValue

    Definition Classes

    ParserCommon

27. def parseBefore[A](endKind: TokenKind)(parseFun: () ⇒ A): A

    Attributes

    protected

    Definition Classes

    ParserCommon

28. def parseBinary: SBinary

    Definition Classes

    ParserCommon

29. def parseBool: Boolean

    Definition Classes

    ParserCommands

30. def parseCheckSatResponse: CheckSatResponse

    Definition Classes

    ParserCommandsResponses

31. def parseCommand: Command

    Definition Classes

    ParserCommands

32. def parseCommandWithoutParens: Command

    Attributes

    protected

    Definition Classes

    ParserCommands

33. def parseConstructor: Constructor

    Definition Classes

    ParserCommands

34. def parseDatatypes: (SSymbol, Seq[Constructor])

    Definition Classes

    ParserCommands

35. def parseDecimal: SDecimal

    Definition Classes

    ParserCommon

36. def parseEchoResponse: EchoResponse

    Definition Classes

    ParserCommandsResponses

37. def parseFunDec: FunDec

    Definition Classes

    ParserCommands

38. def parseFunDef: FunDef

    Definition Classes

    ParserCommands

39. def parseGenResponse: GenResponse

    Definition Classes

    ParserCommandsResponses

40. def parseGetAssertionsResponse: GetAssertionsResponse

    Definition Classes

    ParserCommandsResponses

41. def parseGetAssignmentResponse: GetAssignmentResponse

    Definition Classes

    ParserCommandsResponses

42. def parseGetInfoResponse: GetInfoResponse

    Definition Classes

    ParserCommandsResponses

43. def parseGetModelResponse: GetModelResponse

    Definition Classes

    ParserCommandsResponses

44. def parseGetOptionResponse: GetOptionResponse

    Definition Classes

    ParserCommandsResponses

45. def parseGetProofResponse: GetProofResponse

    Definition Classes

    ParserCommandsResponses

46. def parseGetUnsatAssumptionsResponse: GetUnsatAssumptionsResponse

    Definition Classes

    ParserCommandsResponses

47. def parseGetUnsatCoreResponse: GetUnsatCoreResponse

    Definition Classes

    ParserCommandsResponses

48. def parseGetValueResponse: GetValueResponse

    Definition Classes

    ParserCommandsResponses

49. def parseHexadecimal: SHexadecimal

    Definition Classes

    ParserCommon

50. def parseIdentifier: Identifier

    Definition Classes

    ParserCommon

51. def parseIndex: Index

    Definition Classes

    ParserCommon

52. def parseInfoFlag: InfoFlag

    Definition Classes

    ParserCommands

53. def parseInfoResponse: InfoResponse

    Definition Classes

    ParserCommandsResponses

54. def parseKeyword: SKeyword

    Definition Classes

    ParserCommon

55. def parseMany[A](parseFun: () ⇒ A): Seq[A]

    Attributes

    protected

    Definition Classes

    ParserCommon

56. def parseNumeral: SNumeral

    Definition Classes

    ParserCommon

57. def parseOneOrMore[A](parseFun: () ⇒ A): (A, Seq[A])

    Attributes

    protected

    Definition Classes

    ParserCommon

58. def parseOption: SMTOption

    Definition Classes

    ParserCommands

59. def parsePropLit: PropLiteral

    Definition Classes

    ParserCommands

60. def parseSExpr: SExpr

    Definition Classes

    ParserCommon

    Note

    This is slighly inconsistent with the fact that Command and Term inherit from SExpr, in the sense that this will never return a Command or Term but rather returns the equivalent SList representation. So no

    SetLogic(QF_LIA)

61. def parseSList: SList

    Definition Classes

    ParserCommon

62. def parseScript: Script

    Definition Classes

    ParserCommands

63. def parseSort: Sort

    Definition Classes

    ParserCommon

64. def parseSortedVar: SortedVar

    Definition Classes

    ParserTerms

65. def parseString: SString

    Definition Classes

    ParserCommon

66. def parseSymbol: SSymbol

    Definition Classes

    ParserCommon

67. def parseTerm: Term

    Definition Classes

    ParserTerms

68. def parseTermWithoutParens: Term

    Attributes

    protected

    Definition Classes

    ParserTerms

69. def parseUnderscoreIdentifier: Identifier

    Definition Classes

    ParserCommon

70. def parseUntil[A](endKind: TokenKind, eatEnd: Boolean = true)(parseFun: () ⇒ A): Seq[A]

    Attributes

    protected

    Definition Classes

    ParserCommon

71. def parseVarBinding: VarBinding

    Definition Classes

    ParserTerms

72. def parseWithin[A](startKind: TokenKind, endKind: TokenKind)(parseFun: () ⇒ A): A

    Attributes

    protected

    Definition Classes

    ParserCommon

73. def peekToken: Token

    Attributes

    protected

    Definition Classes

    ParserCommon

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

    Definition Classes

    AnyRef

75. def toString(): String

    Definition Classes

    AnyRef → Any

76. def tryParseAttributeValue: Option[AttributeValue]

    Definition Classes

    ParserCommon

77. def tryParseConstant: Option[Constant]

    Definition Classes

    ParserTerms

78. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )