o

org.opencypher.v9_0.ast.semantics

SemanticExpressionCheck

object SemanticExpressionCheck extends SemanticAnalysisTooling

Linear Supertypes
SemanticAnalysisTooling, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SemanticExpressionCheck
  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, option: Option[Expression]): SemanticCheck
  6. def check(ctx: SemanticContext, traversable: Traversable[Expression]): SemanticCheck
  7. def check(ctx: SemanticContext, expression: Expression): SemanticCheck

    Build a semantic check for the given expression and context.

  8. def checkTypes(expression: Expression, signatures: Seq[TypeSignature]): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  10. val crashOnUnknownExpression: (SemanticContext, Expression) ⇒ SemanticCheck
  11. 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
  12. def declareVariable(v: LogicalVariable, possibleTypes: TypeSpec): (SemanticState) ⇒ Either[SemanticError, SemanticState]
    Definition Classes
    SemanticAnalysisTooling
  13. def ensureDefined(v: LogicalVariable): (SemanticState) ⇒ Either[SemanticError, SemanticState]
    Definition Classes
    SemanticAnalysisTooling
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  16. def error(msg: String, position: InputPosition)(state: SemanticState): SemanticCheckResult
    Definition Classes
    SemanticAnalysisTooling
  17. def expectType(possibleTypes: ⇒ TypeSpec, expression: Expression, messageGen: (String, String) ⇒ String = DefaultTypeMismatchMessageGenerator): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  18. def expectType(possibleTypes: ⇒ TypeSpec)(ctx: SemanticContext, expr: Expression): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  19. def expectType[Exp <: Expression](possibleTypes: TypeSpec, expressions: Traversable[Exp]): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  20. def expectType(typeGen: TypeGenerator, expression: Expression, messageGen: (String, String) ⇒ String): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  21. def expectType(possibleTypes: TypeSpec, opt: Option[Expression]): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  22. def expectType(typeGen: TypeGenerator, expression: Expression): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  23. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  24. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  25. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  26. def implicitVariable(v: LogicalVariable, possibleType: CypherType): (SemanticState) ⇒ Either[SemanticError, SemanticState]
    Definition Classes
    SemanticAnalysisTooling
  27. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  28. def leastUpperBoundsOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator
    Definition Classes
    SemanticAnalysisTooling
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. val popStateScope: SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  33. def possibleTypes(expression: Expression): TypeGenerator
    Definition Classes
    SemanticAnalysisTooling
  34. val pushStateScope: SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  35. def requireCypher10Support(msg: String, position: InputPosition): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  36. def requireMultigraphSupport(msg: String, position: InputPosition): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  37. def semanticCheck[A <: SemanticCheckable](traversable: TraversableOnce[A]): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  38. 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.

  39. def semanticCheckFold[A](traversable: Traversable[A])(f: (A) ⇒ SemanticCheck): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  40. def simple(option: Option[Expression]): SemanticCheck

    Build a semantic check over an optional expression.

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

    Build a semantic check over a traversable of expressions.

  42. def simple(expression: Expression): SemanticCheck

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

  43. def specifyType(possibleTypes: ⇒ TypeSpec, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]
    Definition Classes
    SemanticAnalysisTooling
  44. def specifyType(typeGen: TypeGenerator, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]
    Definition Classes
    SemanticAnalysisTooling
  45. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  46. def toString(): String
    Definition Classes
    AnyRef → Any
  47. def typeSwitch(expr: Expression)(choice: (TypeSpec) ⇒ SemanticCheck): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  48. def types(expression: Expression): TypeGenerator
    Definition Classes
    SemanticAnalysisTooling
  49. def unionOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator
    Definition Classes
    SemanticAnalysisTooling
  50. def unless(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  51. def validNumber(double: DoubleLiteral): Boolean
    Definition Classes
    SemanticAnalysisTooling
  52. def validNumber(long: IntegerLiteral): Boolean
    Definition Classes
    SemanticAnalysisTooling
  53. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  56. def when(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  57. def withScopedState(check: ⇒ SemanticCheck): SemanticCheck
    Definition Classes
    SemanticAnalysisTooling
  58. object FilteringExpressions

Inherited from SemanticAnalysisTooling

Inherited from AnyRef

Inherited from Any

Ungrouped