ASTSlicingPhrase

Abstract Value Members

abstract def expression: Expression
abstract def name: String

Concrete Value Members

final def !=(arg0: Any): Boolean

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

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

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

Definition Classes
Any
def checkTypes(expression: Expression, signatures: Seq[TypeSignature]): SemanticCheck

Definition Classes
SemanticAnalysisTooling
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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
def declareVariable(v: LogicalVariable, possibleTypes: TypeSpec): (SemanticState) ⇒ Either[SemanticError, SemanticState]

Definition Classes
SemanticAnalysisTooling
def dependencies: Set[LogicalVariable]
def ensureDefined(v: LogicalVariable): (SemanticState) ⇒ Either[SemanticError, SemanticState]

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

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

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

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

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

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

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

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

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

Definition Classes
SemanticAnalysisTooling
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
SemanticAnalysisTooling
final def isInstanceOf[T0]: Boolean

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

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val popStateScope: SemanticCheck

Definition Classes
SemanticAnalysisTooling
def possibleTypes(expression: Expression): TypeGenerator

Definition Classes
SemanticAnalysisTooling
val pushStateScope: SemanticCheck

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

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

Definition Classes
SemanticAnalysisTooling
def semanticCheck: SemanticCheck

Definition Classes
ASTSlicingPhrase → SemanticCheckable
def semanticCheck[A <: SemanticCheckable](traversable: TraversableOnce[A]): SemanticCheck

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

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

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

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

Definition Classes
AnyRef
def toString(): String

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

Definition Classes
SemanticAnalysisTooling
def types(expression: Expression): TypeGenerator

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

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

Definition Classes
SemanticAnalysisTooling
def validNumber(double: DoubleLiteral): Boolean

Definition Classes
SemanticAnalysisTooling
def validNumber(long: IntegerLiteral): Boolean

Definition Classes
SemanticAnalysisTooling
final def wait(): Unit

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

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

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

Definition Classes
SemanticAnalysisTooling
def withScopedState(check: ⇒ SemanticCheck): SemanticCheck

Definition Classes
SemanticAnalysisTooling

Related Doc: package ast

trait ASTSlicingPhrase extends SemanticCheckable with SemanticAnalysisTooling

Abstract Value Members

abstract def expression: Expression

abstract def name: String

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

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

def clone(): AnyRef

def declareVariable(v: LogicalVariable, typeGen: TypeGenerator, positions: Set[InputPosition] = Set.empty, overriding: Boolean = false): (SemanticState) ⇒ Either[SemanticError, SemanticState]

def declareVariable(v: LogicalVariable, possibleTypes: TypeSpec): (SemanticState) ⇒ Either[SemanticError, SemanticState]

def dependencies: Set[LogicalVariable]

def ensureDefined(v: LogicalVariable): (SemanticState) ⇒ Either[SemanticError, SemanticState]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def error(msg: String, position: InputPosition)(state: SemanticState): SemanticCheckResult

def expectType(possibleTypes: ⇒ TypeSpec, expression: Expression, messageGen: (String, String) ⇒ String = DefaultTypeMismatchMessageGenerator): SemanticCheck

def expectType(possibleTypes: ⇒ TypeSpec)(ctx: SemanticContext, expr: Expression): SemanticCheck

def expectType[Exp <: Expression](possibleTypes: TypeSpec, expressions: Traversable[Exp]): SemanticCheck

def expectType(typeGen: TypeGenerator, expression: Expression, messageGen: (String, String) ⇒ String): SemanticCheck

def expectType(possibleTypes: TypeSpec, opt: Option[Expression]): SemanticCheck

def expectType(typeGen: TypeGenerator, expression: Expression): SemanticCheck

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def implicitVariable(v: LogicalVariable, possibleType: CypherType): (SemanticState) ⇒ Either[SemanticError, SemanticState]

final def isInstanceOf[T0]: Boolean

def leastUpperBoundsOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val popStateScope: SemanticCheck

def possibleTypes(expression: Expression): TypeGenerator

val pushStateScope: SemanticCheck

def requireCypher10Support(msg: String, position: InputPosition): SemanticCheck

def requireMultigraphSupport(msg: String, position: InputPosition): SemanticCheck

def semanticCheck: SemanticCheck

def semanticCheck[A <: SemanticCheckable](traversable: TraversableOnce[A]): SemanticCheck

def semanticCheckFold[A](traversable: Traversable[A])(f: (A) ⇒ SemanticCheck): SemanticCheck

def specifyType(possibleTypes: ⇒ TypeSpec, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]

def specifyType(typeGen: TypeGenerator, expression: Expression): (SemanticState) ⇒ Either[SemanticError, SemanticState]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def typeSwitch(expr: Expression)(choice: (TypeSpec) ⇒ SemanticCheck): SemanticCheck

def types(expression: Expression): TypeGenerator

def unionOfTypes(traversable: TraversableOnce[Expression]): TypeGenerator

def unless(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck

def validNumber(double: DoubleLiteral): Boolean

def validNumber(long: IntegerLiteral): Boolean

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def when(condition: Boolean)(check: ⇒ SemanticCheck): SemanticCheck

def withScopedState(check: ⇒ SemanticCheck): SemanticCheck

Inherited from SemanticAnalysisTooling

Inherited from SemanticCheckable

Inherited from AnyRef

Inherited from Any

Ungrouped