SemanticExpressionCheck

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. object FilteringExpressions

   

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def check(ctx: SemanticContext, option: Option[Expression]): SemanticCheck

   

7. def check(ctx: SemanticContext, traversable: Traversable[Expression]): SemanticCheck

   

8. def check(ctx: SemanticContext, expression: Expression): SemanticCheck

   

   Build a semantic check for the given expression and context.

9. def checkTypes(expression: Expression, signatures: Seq[TypeSignature]): SemanticCheck

   

   Definition Classes

   SemanticAnalysisTooling

10. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11. val crashOnUnknownExpression: (SemanticContext, Expression) ⇒ SemanticCheck

    

12. 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

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

24. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

26. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    SemanticAnalysisTooling

28. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    AnyRef

31. final def notify(): Unit

    

    Definition Classes

    AnyRef

32. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

33. val popStateScope: SemanticCheck

    

    Definition Classes

    SemanticAnalysisTooling

34. def possibleTypes(expression: Expression): TypeGenerator

    

    Definition Classes

    SemanticAnalysisTooling

35. val pushStateScope: SemanticCheck

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

39. var semanticCheckFallback: (SemanticContext, Expression) ⇒ SemanticCheck

    

    This fallback allow for a testing backdoor to insert custom Expressions.

    This fallback allow for a testing backdoor to insert custom Expressions. Do not use in production.

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

    

    Definition Classes

    SemanticAnalysisTooling

41. def simple(option: Option[Expression]): SemanticCheck

    

    Build a semantic check over an optional expression.

42. def simple(traversable: Traversable[Expression]): SemanticCheck

    

    Build a semantic check over a traversable of expressions.

43. def simple(expression: Expression): SemanticCheck

    

    Build a semantic check for the given expression using the simple expression context.

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    AnyRef

47. def toString(): String

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    SemanticAnalysisTooling

49. def types(expression: Expression): TypeGenerator

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

52. def validNumber(double: DoubleLiteral): Boolean

    

    Definition Classes

    SemanticAnalysisTooling

53. def validNumber(long: IntegerLiteral): Boolean

    

    Definition Classes

    SemanticAnalysisTooling

54. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling