smtlib.parser

ParserCommon

trait ParserCommon extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
Parser, Parser
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ParserCommon
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract val lexer: Lexer

Concrete 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

  8. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  9. def eat(expected: Token): Token

    Attributes
    protected

  10. def eat(expected: TokenKind): Token

    Attributes
    protected

  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

  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

  17. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    AnyRef

  20. def nextToken(): Token

    Attributes
    protected

  21. final def notify(): Unit

    Definition Classes
    AnyRef

  22. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  23. def parseAsIdentifier: QualifiedIdentifier

  24. def parseAttribute: Attribute

  25. def parseAttributeValue: AttributeValue

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

    Attributes
    protected

  27. def parseBinary: SBinary

  28. def parseDecimal: SDecimal

  29. def parseHexadecimal: SHexadecimal

  30. def parseIdentifier: Identifier

  31. def parseIndex: Index

  32. def parseKeyword: SKeyword

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

    Attributes
    protected

  34. def parseNumeral: SNumeral

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

    Attributes
    protected

  36. def parseSExpr: SExpr

    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)

  37. def parseSList: SList

  38. def parseSort: Sort

  39. def parseString: SString

  40. def parseSymbol: SSymbol

  41. def parseUnderscoreIdentifier: Identifier

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

    Attributes
    protected

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

    Attributes
    protected

  44. def peekToken: Token

    Attributes
    protected

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

    Definition Classes
    AnyRef

  46. def toString(): String

    Definition Classes
    AnyRef → Any

  47. def tryParseAttributeValue: Option[AttributeValue]

  48. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped