o

org.opencypher.v9_0.ast.semantics

SemanticFunctionCheck

object SemanticFunctionCheck extends SemanticAnalysisTooling

Linear Supertypes
SemanticAnalysisTooling, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SemanticFunctionCheck
  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, invocation: FunctionInvocation): SemanticCheck
  6. def checkArgs(invocation: FunctionInvocation, n: Int): Option[SemanticError]
    Attributes
    protected
  7. def checkMaxArgs(invocation: FunctionInvocation, n: Int): Option[SemanticError]
    Attributes
    protected
  8. def checkMinArgs(invocation: FunctionInvocation, n: Int): Option[SemanticError]
    Attributes
    protected
  9. def checkPercentileRange(expression: Expression): SemanticCheck
  10. def checkPointMap(expression: Expression): SemanticCheck
    Attributes
    protected
  11. def checkTypeSignatures(ctx: SemanticContext, f: TypeSignatures, invocation: FunctionInvocation): SemanticCheck

    Check that invocation align with one of the functions type signatures

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

Inherited from SemanticAnalysisTooling

Inherited from AnyRef

Inherited from Any

Ungrouped