SemanticAnalysisTooling

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 checkTypes(expression: Expression, signatures: Seq[TypeSignature]): SemanticCheck

   

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. def declareVariable(v: LogicalVariable, typeGen: TypeGenerator, positions: Set[InputPosition] = Set.empty, overriding: Boolean = false): (SemanticState) ⇒ Either[SemanticError, SemanticState]

   
   overriding

   if true then a previous occurrence of that variable is overridden. if false then a previous occurrence of that variable leads to an error

8. def declareVariable(v: LogicalVariable, possibleTypes: TypeSpec): (SemanticState) ⇒ Either[SemanticError, SemanticState]

   

9. def ensureDefined(v: LogicalVariable): (SemanticState) ⇒ Either[SemanticError, SemanticState]

   

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

    

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

12. def error(msg: String, position: InputPosition)(state: SemanticState): SemanticCheckResult

    

13. def expectType(possibleTypes: ⇒ TypeSpec, expression: Expression, messageGen: (String, String) ⇒ String = DefaultTypeMismatchMessageGenerator): SemanticCheck

    

14. def expectType(possibleTypes: ⇒ TypeSpec)(ctx: SemanticContext, expr: Expression): SemanticCheck

    

15. def expectType[Exp <: Expression](possibleTypes: TypeSpec, expressions: Traversable[Exp]): SemanticCheck

    

16. def expectType(typeGen: TypeGenerator, expression: Expression, messageGen: (String, String) ⇒ String): SemanticCheck

    

17. def expectType(possibleTypes: TypeSpec, opt: Option[Expression]): SemanticCheck

    

18. def expectType(typeGen: TypeGenerator, expression: Expression): SemanticCheck

    

19. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

21. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

22. def implicitVariable(v: LogicalVariable, possibleType: CypherType): (SemanticState) ⇒ Either[SemanticError, SemanticState]

    

23. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

24. def leastUpperBoundsOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator

    

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

    

    Definition Classes

    AnyRef

26. final def notify(): Unit

    

    Definition Classes

    AnyRef

27. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

28. val popStateScope: SemanticCheck

    

29. def possibleTypes(expression: Expression): TypeGenerator

    

30. val pushStateScope: SemanticCheck

    

31. def requireCypher10Support(msg: String, position: InputPosition): SemanticCheck

    

32. def requireMultigraphSupport(msg: String, position: InputPosition): SemanticCheck

    

33. def semanticCheck[A <: SemanticCheckable](traversable: TraversableOnce[A]): SemanticCheck

    

34. def semanticCheckFold[A](traversable: Traversable[A])(f: (A) ⇒ SemanticCheck): SemanticCheck

    

35. def specifyType(possibleTypes: ⇒ TypeSpec, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]

    

36. def specifyType(typeGen: TypeGenerator, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]

    

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

    

    Definition Classes

    AnyRef

38. def toString(): String

    

    Definition Classes

    AnyRef → Any

39. def typeSwitch(expr: Expression)(choice: (TypeSpec) ⇒ SemanticCheck): SemanticCheck

    

40. def types(expression: Expression): TypeGenerator

    

41. def unionOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator

    

42. def unless(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck

    

43. def validNumber(double: DoubleLiteral): Boolean

    

44. def validNumber(long: IntegerLiteral): Boolean

    

45. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48. def when(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck

    

49. def withScopedState(check: ⇒ SemanticCheck): SemanticCheck