semantics

Type Members

final class ChainableSemanticCheck extends AnyVal
final case class ExpressionTypeInfo(specified: TypeSpec, expected: Option[TypeSpec] = None) extends Product with Serializable
final case class FeatureError(msg: String, position: InputPosition) extends UnsupportedOpenCypher with Product with Serializable
final class OptionSemanticChecking[A] extends AnyVal
implicit final class RichSemanticCheck extends AnyVal
final case class Scope(symbolTable: Map[String, Symbol], children: Seq[Scope]) extends TreeElem[Scope] with Product with Serializable
trait SemanticAnalysisTooling extends AnyRef

This class holds methods for performing semantic analysis.
type SemanticCheck = (SemanticState) ⇒ SemanticCheckResult
case class SemanticCheckResult(state: SemanticState, errors: Seq[SemanticErrorDef]) extends Product with Serializable
trait SemanticCheckable extends AnyRef
trait SemanticCheckableExpression extends AnyRef
final class SemanticCheckableOption[A <: SemanticCheckable] extends AnyVal
final class SemanticCheckableTraversableOnce[A <: SemanticCheckable] extends AnyVal
final case class SemanticError(msg: String, position: InputPosition, references: InputPosition*) extends SemanticErrorDef with Product with Serializable
sealed trait SemanticErrorDef extends AnyRef
sealed trait SemanticFeature extends AnyRef
case class SemanticState(currentScope: ScopeLocation, typeTable: ASTAnnotationMap[Expression, ExpressionTypeInfo], recordedScopes: ASTAnnotationMap[ASTNode, Scope], notifications: Set[InternalNotification] = Set.empty, features: Set[SemanticFeature] = Set.empty, initialWith: Boolean = false, declareVariablesToSuppressDuplicateErrors: Boolean = true) extends Product with Serializable
class SemanticTable extends Cloneable
final case class Symbol(name: String, positions: Set[InputPosition], types: TypeSpec, generated: Boolean = false) extends Product with Serializable
final case class SymbolUse(name: String, position: InputPosition) extends Product with Serializable
class SyntaxExceptionCreator extends (String, InputPosition) ⇒ CypherException
final class TraversableOnceSemanticChecking[A] extends AnyVal
type TypeGenerator = (SemanticState) ⇒ TypeSpec
sealed trait UnsupportedOpenCypher extends SemanticErrorDef

Value Members

object Scope extends Serializable
object ScopeTreeVerifier
object SemanticCheckResult extends Serializable
object SemanticChecker
object SemanticExpressionCheck extends SemanticAnalysisTooling
object SemanticFeature
object SemanticFunctionCheck extends SemanticAnalysisTooling
object SemanticPatternCheck extends SemanticAnalysisTooling
object SemanticState extends Serializable
object SemanticTable
object SymbolUse extends Serializable
object SyntaxExceptionCreator
implicit def chainableSemanticCheck(check: SemanticCheck): ChainableSemanticCheck
implicit def chainableSemanticEitherFunc(func: (SemanticState) ⇒ Either[SemanticErrorDef, SemanticState]): ChainableSemanticCheck
implicit def chainableSemanticErrorDefsFunc(func: (SemanticState) ⇒ Seq[SemanticErrorDef]): ChainableSemanticCheck
implicit def chainableSemanticOptionFunc(func: (SemanticState) ⇒ Option[SemanticErrorDef]): ChainableSemanticCheck
object checkNoParamMapsWhenMatching
implicit def liftSemanticEitherFunc(func: (SemanticState) ⇒ Either[SemanticErrorDef, SemanticState]): SemanticCheck
implicit def liftSemanticErrorDef(error: SemanticErrorDef): SemanticCheck
implicit def liftSemanticErrorDefAndChain(error: SemanticErrorDef): ChainableSemanticCheck
implicit def liftSemanticErrorDefFunc(func: (SemanticState) ⇒ Option[SemanticErrorDef]): SemanticCheck
implicit def liftSemanticErrorDefOption(error: Option[SemanticErrorDef]): SemanticCheck
implicit def liftSemanticErrorDefOptionAndChain(error: Option[SemanticErrorDef]): ChainableSemanticCheck
implicit def liftSemanticErrorDefs(errors: Seq[SemanticErrorDef]): SemanticCheck
implicit def liftSemanticErrorDefsAndChain(errors: Seq[SemanticErrorDef]): ChainableSemanticCheck
implicit def liftSemanticErrorDefsFunc(func: (SemanticState) ⇒ Seq[SemanticErrorDef]): SemanticCheck
implicit def optionSemanticChecking[A](option: Option[A]): OptionSemanticChecking[A]
implicit def semanticCheckableOption[A <: SemanticCheckable](option: Option[A]): SemanticCheckableOption[A]
implicit def semanticCheckableTraversableOnce[A <: SemanticCheckable](traversable: TraversableOnce[A]): SemanticCheckableTraversableOnce[A]
implicit def traversableOnceSemanticChecking[A](traversable: TraversableOnce[A]): TraversableOnceSemanticChecking[A]

package semantics

Type Members

final class ChainableSemanticCheck extends AnyVal

final case class ExpressionTypeInfo(specified: TypeSpec, expected: Option[TypeSpec] = None) extends Product with Serializable

final case class FeatureError(msg: String, position: InputPosition) extends UnsupportedOpenCypher with Product with Serializable

final class OptionSemanticChecking[A] extends AnyVal

implicit final class RichSemanticCheck extends AnyVal

final case class Scope(symbolTable: Map[String, Symbol], children: Seq[Scope]) extends TreeElem[Scope] with Product with Serializable

trait SemanticAnalysisTooling extends AnyRef

type SemanticCheck = (SemanticState) ⇒ SemanticCheckResult

case class SemanticCheckResult(state: SemanticState, errors: Seq[SemanticErrorDef]) extends Product with Serializable

trait SemanticCheckable extends AnyRef

trait SemanticCheckableExpression extends AnyRef

final class SemanticCheckableOption[A <: SemanticCheckable] extends AnyVal

final class SemanticCheckableTraversableOnce[A <: SemanticCheckable] extends AnyVal

final case class SemanticError(msg: String, position: InputPosition, references: InputPosition*) extends SemanticErrorDef with Product with Serializable

sealed trait SemanticErrorDef extends AnyRef

sealed trait SemanticFeature extends AnyRef

class SemanticTable extends Cloneable

final case class Symbol(name: String, positions: Set[InputPosition], types: TypeSpec, generated: Boolean = false) extends Product with Serializable

final case class SymbolUse(name: String, position: InputPosition) extends Product with Serializable

class SyntaxExceptionCreator extends (String, InputPosition) ⇒ CypherException

final class TraversableOnceSemanticChecking[A] extends AnyVal

type TypeGenerator = (SemanticState) ⇒ TypeSpec

sealed trait UnsupportedOpenCypher extends SemanticErrorDef

Value Members

object Scope extends Serializable

object ScopeTreeVerifier

object SemanticCheckResult extends Serializable

object SemanticChecker

object SemanticExpressionCheck extends SemanticAnalysisTooling

object SemanticFeature

object SemanticFunctionCheck extends SemanticAnalysisTooling

object SemanticPatternCheck extends SemanticAnalysisTooling

object SemanticState extends Serializable

object SemanticTable

object SymbolUse extends Serializable

object SyntaxExceptionCreator

implicit def chainableSemanticCheck(check: SemanticCheck): ChainableSemanticCheck

implicit def chainableSemanticEitherFunc(func: (SemanticState) ⇒ Either[SemanticErrorDef, SemanticState]): ChainableSemanticCheck

implicit def chainableSemanticErrorDefsFunc(func: (SemanticState) ⇒ Seq[SemanticErrorDef]): ChainableSemanticCheck

implicit def chainableSemanticOptionFunc(func: (SemanticState) ⇒ Option[SemanticErrorDef]): ChainableSemanticCheck

object checkNoParamMapsWhenMatching

implicit def liftSemanticEitherFunc(func: (SemanticState) ⇒ Either[SemanticErrorDef, SemanticState]): SemanticCheck

implicit def liftSemanticErrorDef(error: SemanticErrorDef): SemanticCheck

implicit def liftSemanticErrorDefAndChain(error: SemanticErrorDef): ChainableSemanticCheck

implicit def liftSemanticErrorDefFunc(func: (SemanticState) ⇒ Option[SemanticErrorDef]): SemanticCheck

implicit def liftSemanticErrorDefOption(error: Option[SemanticErrorDef]): SemanticCheck

implicit def liftSemanticErrorDefOptionAndChain(error: Option[SemanticErrorDef]): ChainableSemanticCheck

implicit def liftSemanticErrorDefs(errors: Seq[SemanticErrorDef]): SemanticCheck

implicit def liftSemanticErrorDefsAndChain(errors: Seq[SemanticErrorDef]): ChainableSemanticCheck

implicit def liftSemanticErrorDefsFunc(func: (SemanticState) ⇒ Seq[SemanticErrorDef]): SemanticCheck

implicit def optionSemanticChecking[A](option: Option[A]): OptionSemanticChecking[A]

implicit def semanticCheckableOption[A <: SemanticCheckable](option: Option[A]): SemanticCheckableOption[A]

implicit def semanticCheckableTraversableOnce[A <: SemanticCheckable](traversable: TraversableOnce[A]): SemanticCheckableTraversableOnce[A]

implicit def traversableOnceSemanticChecking[A](traversable: TraversableOnce[A]): TraversableOnceSemanticChecking[A]

Inherited from AnyRef

Inherited from Any

Ungrouped