o

org.opencypher.v9_0.ast.semantics

SemanticPatternCheck

object SemanticPatternCheck extends SemanticAnalysisTooling

Linear Supertypes
SemanticAnalysisTooling, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SemanticPatternCheck
  2. SemanticAnalysisTooling
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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
    @native() @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
    Annotations
    @native()
  31. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  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
    Annotations
    @native()
  37. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  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
    @native() @throws( ... )
  58. def when(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  59. def withScopedState(check: ⇒ SemanticCheck): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling

Inherited from SemanticAnalysisTooling

Inherited from AnyRef

Inherited from Any

Ungrouped