-
Notifications
You must be signed in to change notification settings - Fork 2.3k
/
ResolvedFunctionInvocation.scala
96 lines (88 loc) · 4.03 KB
/
ResolvedFunctionInvocation.scala
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
/*
* Copyright (c) 2002-2016 "Neo Technology,"
* Network Engine for Objects in Lund AB [http://neotechnology.com]
*
* This file is part of Neo4j.
*
* Neo4j is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
package org.neo4j.cypher.internal.compiler.v3_1.ast
import org.neo4j.cypher.internal.compiler.v3_1.spi._
import org.neo4j.cypher.internal.frontend.v3_1.SemanticCheckResult._
import org.neo4j.cypher.internal.frontend.v3_1._
import org.neo4j.cypher.internal.frontend.v3_1.ast.Expression.SemanticContext
import org.neo4j.cypher.internal.frontend.v3_1.ast._
object ResolvedFunctionInvocation {
def apply(signatureLookup: QualifiedName => Option[UserDefinedFunctionSignature])(unresolved: FunctionInvocation): ResolvedFunctionInvocation = {
val position = unresolved.position
val name = QualifiedName(unresolved)
val signature = signatureLookup(name)
ResolvedFunctionInvocation(name, signature, unresolved.args)(position)
}
}
/**
* A ResolvedUserDefinedInvocation is a user-defined function where the signature
* has been resolve, i.e. verified that it exists in the database
*
* @param qualifiedName The qualified name of the function.
* @param fcnSignature Either `Some(signature)` if the signature was resolved, or
* `None` if the function didn't exist
* @param callArguments The argument list to the function
* @param position The position in the original query string.
*/
case class ResolvedFunctionInvocation(qualifiedName: QualifiedName,
fcnSignature: Option[UserDefinedFunctionSignature],
callArguments: IndexedSeq[Expression])
(val position: InputPosition)
extends Expression with UserDefined {
def coerceArguments: ResolvedFunctionInvocation = fcnSignature match {
case Some(signature) =>
val optInputFields = signature.inputSignature.map(Some(_)).toStream ++ Stream.continually(None)
val coercedArguments =
callArguments
.zip(optInputFields)
.map {
case (arg, optField) =>
optField.map { field => CoerceTo(arg, field.typ) }.getOrElse(arg)
}
copy(callArguments = coercedArguments)(position)
case None => this
}
override def semanticCheck(ctx: SemanticContext): SemanticCheck = fcnSignature match {
case None => SemanticError(s"Unknown function '$qualifiedName'", position)
case Some(signature) =>
val expectedNumArgs = signature.inputSignature.length
val usedDefaultArgs = signature.inputSignature.drop(callArguments.length).flatMap(_.default)
val actualNumArgs = callArguments.length + usedDefaultArgs.length
if (expectedNumArgs == actualNumArgs) {
//this zip is fine since it will only verify provided args in callArguments
//default values are checked at load time
signature.inputSignature.zip(callArguments).map {
case (field, arg) =>
arg.semanticCheck(SemanticContext.Results) chain arg.expectType(field.typ.covariant)
}.foldLeft(success)(_ chain _)
} else {
error(_: SemanticState,
SemanticError(s"Function call does not provide the required number of arguments ($expectedNumArgs)",
position))
}
}
override def containsNoUpdates = fcnSignature match {
case None => true
case Some(signature) => signature.accessMode match {
case _: ProcedureReadOnlyAccess => true
case _ => false
}
}
}