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 checkTypes(expression: Expression, signatures: Seq[TypeSignature]): SemanticCheck
6.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

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

8.  def declareVariable(v: LogicalVariable, possibleTypes: TypeSpec): (SemanticState) ⇒ Either[SemanticError, SemanticState]
9.  def ensureDefined(v: LogicalVariable): (SemanticState) ⇒ Either[SemanticError, SemanticState]
10.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

11.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

12.  def error(msg: String, position: InputPosition)(state: SemanticState): SemanticCheckResult
13.  def expectType(possibleTypes: ⇒ TypeSpec, expression: Expression, messageGen: (String, String) ⇒ String = DefaultTypeMismatchMessageGenerator): SemanticCheck
14.  def expectType(possibleTypes: ⇒ TypeSpec)(ctx: SemanticContext, expr: Expression): SemanticCheck
15.  def expectType[Exp <: Expression](possibleTypes: TypeSpec, expressions: Traversable[Exp]): SemanticCheck
16.  def expectType(typeGen: TypeGenerator, expression: Expression, messageGen: (String, String) ⇒ String): SemanticCheck
17.  def expectType(possibleTypes: TypeSpec, opt: Option[Expression]): SemanticCheck
18.  def expectType(typeGen: TypeGenerator, expression: Expression): SemanticCheck
19.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

20.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

21.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

22.  def implicitVariable(v: LogicalVariable, possibleType: CypherType): (SemanticState) ⇒ Either[SemanticError, SemanticState]
23.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

24.  def leastUpperBoundsOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator
25.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

26.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

27.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

28.  val popStateScope: SemanticCheck
29.  def possibleTypes(expression: Expression): TypeGenerator
30.  val pushStateScope: SemanticCheck
31.  def requireCypher10Support(msg: String, position: InputPosition): SemanticCheck
32.  def requireMultigraphSupport(msg: String, position: InputPosition): SemanticCheck
33.  def semanticCheck[A <: SemanticCheckable](traversable: TraversableOnce[A]): SemanticCheck
34.  def semanticCheckFold[A](traversable: Traversable[A])(f: (A) ⇒ SemanticCheck): SemanticCheck
35.  def specifyType(possibleTypes: ⇒ TypeSpec, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]
36.  def specifyType(typeGen: TypeGenerator, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]
37.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

38.  def toString(): String

    Definition Classes

    AnyRef → Any

39.  def typeSwitch(expr: Expression)(choice: (TypeSpec) ⇒ SemanticCheck): SemanticCheck
40.  def types(expression: Expression): TypeGenerator
41.  def unionOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator
42.  def unless(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck
43.  def validNumber(double: DoubleLiteral): Boolean
44.  def validNumber(long: IntegerLiteral): Boolean
45.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

47.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

48.  def when(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck
49.  def withScopedState(check: ⇒ SemanticCheck): SemanticCheck