SemanticPatternCheck

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(ctx: SemanticContext, x: RelationshipPattern): SemanticCheck

   

6. def check(ctx: SemanticContext, element: PatternElement): SemanticCheck

   

7. def check(ctx: SemanticContext)(part: PatternPart): SemanticCheck

   

8. def check(ctx: SemanticContext, pattern: RelationshipsPattern): SemanticCheck

   

9. def check(ctx: SemanticContext, pattern: Pattern): SemanticCheck

   

10. def checkBaseVariable(ctx: SemanticContext, maybeBaseVar: Option[LogicalVariable], expectedType: CypherType): SemanticCheck

    

11. def checkNodeProperties(ctx: SemanticContext, properties: Option[Expression]): SemanticCheck

    

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

    

    Definition Classes

    SemanticAnalysisTooling

13. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

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

    

    Definition Classes

    SemanticAnalysisTooling

16. def declareVariables(ctx: SemanticContext, x: RelationshipPattern): SemanticCheck

    

17. def declareVariables(ctx: SemanticContext, element: PatternElement): SemanticCheck

    

18. def declareVariables(ctx: SemanticContext)(part: PatternPart): SemanticCheck

    

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    AnyRef

21. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

29. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

31. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    SemanticAnalysisTooling

33. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    AnyRef

36. final def notify(): Unit

    

    Definition Classes

    AnyRef

37. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

38. val popStateScope: SemanticCheck

    

    Definition Classes

    SemanticAnalysisTooling

39. def possibleTypes(expression: Expression): TypeGenerator

    

    Definition Classes

    SemanticAnalysisTooling

40. val pushStateScope: SemanticCheck

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    AnyRef

48. def toString(): String

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    SemanticAnalysisTooling

50. def types(expression: Expression): TypeGenerator

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling

53. def validNumber(double: DoubleLiteral): Boolean

    

    Definition Classes

    SemanticAnalysisTooling

54. def validNumber(long: IntegerLiteral): Boolean

    

    Definition Classes

    SemanticAnalysisTooling

55. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    SemanticAnalysisTooling

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

    

    Definition Classes

    SemanticAnalysisTooling