Parser

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. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

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

   

   Attributes

   protected

   Definition Classes

   ParserUtils

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. def eat(expected: Token): Unit

   

   Attributes

   protected

   Definition Classes

   ParserUtils

8. def eat(expected: TokenKind): Unit

   

   Attributes

   protected

   Definition Classes

   ParserUtils

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

   

   Definition Classes

   AnyRef

10. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

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

    

    Attributes

    protected

    Definition Classes

    ParserUtils

12. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

14. def getPeekToken: Token

    

    Attributes

    protected

    Definition Classes

    ParserUtils

15. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

16. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

17. val lexer: Lexer

    

    Definition Classes

    Parser → ParserUtils

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

    

    Definition Classes

    AnyRef

19. def nextToken(): Token

    

    Attributes

    protected

    Definition Classes

    ParserUtils

20. final def notify(): Unit

    

    Definition Classes

    AnyRef

21. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

22. def parseAsIdentifier: QualifiedIdentifier

    

    Definition Classes

    ParserTerms

23. def parseAttribute: Attribute

    

    Definition Classes

    ParserTerms

24. def parseAttributeValue: AttributeValue

    

    Definition Classes

    ParserTerms

25. def parseBinary: SBinary

    

    Definition Classes

    ParserTerms

26. def parseBool: Boolean

    

    Definition Classes

    ParserTerms

27. def parseCheckSatResponse: CheckSatResponse

    

    Definition Classes

    ParserCommandsResponses

28. def parseCommand: Command

    

    Definition Classes

    ParserCommands

29. def parseConstructor: Constructor

    

    Definition Classes

    ParserCommands

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

    

    Definition Classes

    ParserCommands

31. def parseDecimal: SDecimal

    

    Definition Classes

    ParserTerms

32. def parseEchoResponse: EchoResponse

    

    Definition Classes

    ParserCommandsResponses

33. def parseFunDec: FunDec

    

    Definition Classes

    ParserCommands

34. def parseFunDef: FunDef

    

    Definition Classes

    ParserCommands

35. def parseGenResponse: GenResponse

    

    Definition Classes

    ParserCommandsResponses

36. def parseGetAssertionsResponse: GetAssertionsResponse

    

    Definition Classes

    ParserCommandsResponses

37. def parseGetAssignmentResponse: GetAssignmentResponse

    

    Definition Classes

    ParserCommandsResponses

38. def parseGetInfoResponse: GetInfoResponse

    

    Definition Classes

    ParserCommandsResponses

39. def parseGetModelResponse: GetModelResponse

    

    Definition Classes

    ParserCommandsResponses

40. def parseGetOptionResponse: GetOptionResponse

    

    Definition Classes

    ParserCommandsResponses

41. def parseGetProofResponse: GetProofResponse

    

    Definition Classes

    ParserCommandsResponses

42. def parseGetUnsatAssumptionsResponse: GetUnsatAssumptionsResponse

    

    Definition Classes

    ParserCommandsResponses

43. def parseGetUnsatCoreResponse: GetUnsatCoreResponse

    

    Definition Classes

    ParserCommandsResponses

44. def parseGetValueResponse: GetValueResponse

    

    Definition Classes

    ParserCommandsResponses

45. def parseHexadecimal: SHexadecimal

    

    Definition Classes

    ParserTerms

46. def parseIdentifier: Identifier

    

    Definition Classes

    ParserTerms

47. def parseIndex: Index

    

    Definition Classes

    ParserTerms

48. def parseInfoFlag: InfoFlag

    

    Definition Classes

    ParserCommands

49. def parseInfoResponse: InfoResponse

    

    Definition Classes

    ParserCommandsResponses

50. def parseKeyword: SKeyword

    

    Definition Classes

    ParserTerms

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

    

    Attributes

    protected

    Definition Classes

    ParserUtils

52. def parseNumeral: SNumeral

    

    Definition Classes

    ParserTerms

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

    

    Attributes

    protected

    Definition Classes

    ParserUtils

54. def parseOption: SMTOption

    

    Definition Classes

    ParserCommands

55. def parsePropLit: PropLiteral

    

    Definition Classes

    ParserCommands

56. def parseQualifiedIdentifier: QualifiedIdentifier

    

    Definition Classes

    ParserTerms

57. def parseSExpr: SExpr

    
    Definition Classes

    ParserTerms

    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)

58. def parseSList: SList

    

    Definition Classes

    ParserTerms

59. def parseSListContent: SList

    

    Attributes

    protected

    Definition Classes

    ParserTerms

60. def parseScript: Script

    

    Definition Classes

    ParserCommands

61. def parseSort: Sort

    

    Definition Classes

    ParserTerms

62. def parseSortedVar: SortedVar

    

    Definition Classes

    ParserTerms

63. def parseString: SString

    

    Definition Classes

    ParserTerms

64. def parseSymbol: SSymbol

    

    Definition Classes

    ParserTerms

65. def parseTerm: Term

    

    Definition Classes

    ParserTerms

66. def parseUnderscoreIdentifier: Identifier

    

    Definition Classes

    ParserTerms

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

    

    Attributes

    protected

    Definition Classes

    ParserUtils

68. def parseVarBinding: VarBinding

    

    Definition Classes

    ParserTerms

69. def peekToken: Token

    

    Attributes

    protected

    Definition Classes

    ParserUtils

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

    

    Definition Classes

    AnyRef

71. def toString(): String

    

    Definition Classes

    AnyRef → Any

72. def tryParseAttributeValue: Option[AttributeValue]

    

    Definition Classes

    ParserTerms

73. def tryParseConstant: Option[Constant]

    

    Definition Classes

    ParserTerms

74. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )