ParserTerms

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 clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   AnyRef

7. def equals(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

8. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

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

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

   

   Definition Classes

   AnyRef → Any

10. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

11. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

13. final def notify(): Unit

    

    Definition Classes

    AnyRef

14. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

15. def parseAsIdentifier: QualifiedIdentifier

    

16. def parseAttribute: Attribute

    

17. def parseAttributeValue: AttributeValue

    

18. def parseBinary: SBinary

    

19. def parseBool: Boolean

    

20. def parseDecimal: SDecimal

    

21. def parseHexadecimal: SHexadecimal

    

22. def parseIdentifier: Identifier

    

23. def parseIndex: Index

    

24. def parseKeyword: SKeyword

    

25. def parseNumeral: SNumeral

    

26. def parseQualifiedIdentifier: QualifiedIdentifier

    

27. 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)

28. def parseSList: SList

    

29. def parseSListContent: SList

    

    Attributes

    protected

30. def parseSort: Sort

    

31. def parseSortedVar: SortedVar

    

32. def parseString: SString

    

33. def parseSymbol: SSymbol

    

34. def parseTerm: Term

    

35. def parseUnderscoreIdentifier: Identifier

    

36. def parseVarBinding: VarBinding

    

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

    

    Definition Classes

    AnyRef

38. def toString(): String

    

    Definition Classes

    AnyRef → Any

39. def tryParseAttributeValue: Option[AttributeValue]

    

40. def tryParseConstant: Option[Constant]

    

41. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )