Object

org.opencypher.v9_0.ast.semantics

SemanticFunctionCheck

Related Doc: package semantics

Permalink

object SemanticFunctionCheck extends SemanticAnalysisTooling

Linear Supertypes
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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def check(ctx: SemanticContext, invocation: FunctionInvocation): SemanticCheck

    Permalink
  6. def checkArgs(invocation: FunctionInvocation, n: Int): Option[SemanticError]

    Permalink
    Attributes
    protected
  7. def checkMaxArgs(invocation: FunctionInvocation, n: Int): Option[SemanticError]

    Permalink
    Attributes
    protected
  8. def checkMinArgs(invocation: FunctionInvocation, n: Int): Option[SemanticError]

    Permalink
    Attributes
    protected
  9. def checkPercentileRange(expression: Expression): SemanticCheck

    Permalink
  10. def checkPointMap(expression: Expression): SemanticCheck

    Permalink
    Attributes
    protected
  11. def checkTypeSignatures(ctx: SemanticContext, f: TypeSignatures, invocation: FunctionInvocation): SemanticCheck

    Permalink

    Check that invocation align with one of the functions type signatures

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

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  13. def clone(): AnyRef

    Permalink
    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]

    Permalink

    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]

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  16. def ensureDefined(v: LogicalVariable): (SemanticState) ⇒ Either[SemanticError, SemanticState]

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  17. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  19. def error(msg: String, position: InputPosition)(state: SemanticState): SemanticCheckResult

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  20. def expectType(possibleTypes: ⇒ TypeSpec, expression: Expression, messageGen: (String, String) ⇒ String = DefaultTypeMismatchMessageGenerator): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  21. def expectType(possibleTypes: ⇒ TypeSpec)(ctx: SemanticContext, expr: Expression): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  22. def expectType[Exp <: Expression](possibleTypes: TypeSpec, expressions: Traversable[Exp]): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  23. def expectType(typeGen: TypeGenerator, expression: Expression, messageGen: (String, String) ⇒ String): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  24. def expectType(possibleTypes: TypeSpec, opt: Option[Expression]): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  25. def expectType(typeGen: TypeGenerator, expression: Expression): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  26. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  27. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  28. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  29. def implicitVariable(v: LogicalVariable, possibleType: CypherType): (SemanticState) ⇒ Either[SemanticError, SemanticState]

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  30. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  31. def leastUpperBoundsOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  32. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  33. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  34. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  35. val popStateScope: SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  36. def possibleTypes(expression: Expression): TypeGenerator

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  37. val pushStateScope: SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  38. def requireCypher10Support(msg: String, position: InputPosition): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  39. def requireMultigraphSupport(msg: String, position: InputPosition): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  40. def semanticCheck(ctx: SemanticContext, invocation: FunctionInvocation): SemanticCheck

    Permalink
    Attributes
    protected
  41. def semanticCheck[A <: SemanticCheckable](traversable: TraversableOnce[A]): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  42. def semanticCheckFold[A](traversable: Traversable[A])(f: (A) ⇒ SemanticCheck): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  43. def specifyType(possibleTypes: ⇒ TypeSpec, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  44. def specifyType(typeGen: TypeGenerator, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  45. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  46. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  47. def typeSwitch(expr: Expression)(choice: (TypeSpec) ⇒ SemanticCheck): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  48. def types(expression: Expression): TypeGenerator

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  49. def unionOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  50. def unless(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  51. def validNumber(double: DoubleLiteral): Boolean

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  52. def validNumber(long: IntegerLiteral): Boolean

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  53. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  56. def when(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling
  57. def withScopedState(check: ⇒ SemanticCheck): SemanticCheck

    Permalink
    Definition Classes
    SemanticAnalysisTooling

Inherited from SemanticAnalysisTooling

Inherited from AnyRef

Inherited from Any

Ungrouped