package semantics

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. semantics
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

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

    This class holds methods for performing semantic analysis.

  8. type SemanticCheck = (SemanticState) ⇒ SemanticCheckResult
  9. case class SemanticCheckResult(state: SemanticState, errors: Seq[SemanticErrorDef]) extends Product with Serializable
  10. trait SemanticCheckable extends AnyRef
  11. trait SemanticCheckableExpression extends AnyRef
  12. final class SemanticCheckableOption[A <: SemanticCheckable] extends AnyVal
  13. final class SemanticCheckableTraversableOnce[A <: SemanticCheckable] extends AnyVal
  14. final case class SemanticError(msg: String, position: InputPosition, references: InputPosition*) extends SemanticErrorDef with Product with Serializable
  15. sealed trait SemanticErrorDef extends AnyRef
  16. sealed trait SemanticFeature extends AnyRef
  17. 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, cypher9ComparabilitySemantics: Boolean = false) extends Product with Serializable
  18. class SemanticTable extends Cloneable
  19. final case class Symbol(name: String, positions: Set[InputPosition], types: TypeSpec, generated: Boolean = false) extends Product with Serializable
  20. final case class SymbolUse(name: String, position: InputPosition) extends Product with Serializable
  21. class SyntaxExceptionCreator extends (String, InputPosition) ⇒ CypherException
  22. final class TraversableOnceSemanticChecking[A] extends AnyVal
  23. type TypeGenerator = (SemanticState) ⇒ TypeSpec
  24. sealed trait UnsupportedOpenCypher extends SemanticErrorDef

Value Members

  1. implicit def chainableSemanticCheck(check: SemanticCheck): ChainableSemanticCheck
  2. implicit def chainableSemanticEitherFunc(func: (SemanticState) ⇒ Either[SemanticErrorDef, SemanticState]): ChainableSemanticCheck
  3. implicit def chainableSemanticErrorDefsFunc(func: (SemanticState) ⇒ Seq[SemanticErrorDef]): ChainableSemanticCheck
  4. implicit def chainableSemanticOptionFunc(func: (SemanticState) ⇒ Option[SemanticErrorDef]): ChainableSemanticCheck
  5. implicit def liftSemanticEitherFunc(func: (SemanticState) ⇒ Either[SemanticErrorDef, SemanticState]): SemanticCheck
  6. implicit def liftSemanticErrorDef(error: SemanticErrorDef): SemanticCheck
  7. implicit def liftSemanticErrorDefAndChain(error: SemanticErrorDef): ChainableSemanticCheck
  8. implicit def liftSemanticErrorDefFunc(func: (SemanticState) ⇒ Option[SemanticErrorDef]): SemanticCheck
  9. implicit def liftSemanticErrorDefOption(error: Option[SemanticErrorDef]): SemanticCheck
  10. implicit def liftSemanticErrorDefOptionAndChain(error: Option[SemanticErrorDef]): ChainableSemanticCheck
  11. implicit def liftSemanticErrorDefs(errors: Seq[SemanticErrorDef]): SemanticCheck
  12. implicit def liftSemanticErrorDefsAndChain(errors: Seq[SemanticErrorDef]): ChainableSemanticCheck
  13. implicit def liftSemanticErrorDefsFunc(func: (SemanticState) ⇒ Seq[SemanticErrorDef]): SemanticCheck
  14. implicit def optionSemanticChecking[A](option: Option[A]): OptionSemanticChecking[A]
  15. implicit def semanticCheckableOption[A <: SemanticCheckable](option: Option[A]): SemanticCheckableOption[A]
  16. implicit def semanticCheckableTraversableOnce[A <: SemanticCheckable](traversable: TraversableOnce[A]): SemanticCheckableTraversableOnce[A]
  17. implicit def traversableOnceSemanticChecking[A](traversable: TraversableOnce[A]): TraversableOnceSemanticChecking[A]
  18. object Scope extends Serializable
  19. object ScopeTreeVerifier
  20. object SemanticCheckResult extends Serializable
  21. object SemanticChecker
  22. object SemanticExpressionCheck extends SemanticAnalysisTooling
  23. object SemanticFeature
  24. object SemanticFunctionCheck extends SemanticAnalysisTooling
  25. object SemanticPatternCheck extends SemanticAnalysisTooling
  26. object SemanticState extends Serializable
  27. object SemanticTable
  28. object SymbolUse extends Serializable
  29. object SyntaxExceptionCreator
  30. object checkNoParamMapsWhenMatching

Inherited from AnyRef

Inherited from Any

Ungrouped