org
.
opencypher
.
v9_1
.
ast
.
semantics
SemanticPatternCheck
Related Doc:
package semantics
object
SemanticPatternCheck
extends
SemanticAnalysisTooling
Linear Supertypes
SemanticAnalysisTooling
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
SemanticPatternCheck
SemanticAnalysisTooling
AnyRef
Any
Hide All
Show All
Visibility
Public
All
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
check
(
ctx:
SemanticContext
,
x:
RelationshipPattern
)
:
SemanticCheck
def
check
(
ctx:
SemanticContext
,
element:
PatternElement
)
:
SemanticCheck
def
check
(
ctx:
SemanticContext
)
(
part:
PatternPart
)
:
SemanticCheck
def
check
(
ctx:
SemanticContext
,
pattern:
RelationshipsPattern
)
:
SemanticCheck
def
check
(
ctx:
SemanticContext
,
pattern:
Pattern
)
:
SemanticCheck
def
checkBaseVariable
(
ctx:
SemanticContext
,
maybeBaseVar:
Option
[
LogicalVariable
]
,
expectedType:
CypherType
)
:
SemanticCheck
def
checkNodeProperties
(
ctx:
SemanticContext
,
properties:
Option
[
Expression
]
)
:
SemanticCheck
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
)
: (
SemanticState
) ⇒
Either
[
SemanticError
,
SemanticState
]
Definition Classes
SemanticAnalysisTooling
def
declareVariable
(
v:
LogicalVariable
,
possibleTypes:
TypeSpec
)
: (
SemanticState
) ⇒
Either
[
SemanticError
,
SemanticState
]
Definition Classes
SemanticAnalysisTooling
def
declareVariables
(
ctx:
SemanticContext
,
x:
RelationshipPattern
)
:
SemanticCheck
def
declareVariables
(
ctx:
SemanticContext
,
element:
PatternElement
)
:
SemanticCheck
def
declareVariables
(
ctx:
SemanticContext
)
(
part:
PatternPart
)
:
SemanticCheck
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
[
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
Inherited from
SemanticAnalysisTooling
Inherited from
AnyRef
Inherited from
Any
Ungrouped