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
97
|
// Copyright 2014 Google Inc. All rights reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package com.google.devtools.build.lib.syntax;
import com.google.common.base.Preconditions;
import com.google.common.collect.ImmutableList;
import com.google.common.collect.ImmutableMap;
import com.google.devtools.build.lib.syntax.SkylarkType.SkylarkFunctionType;
import java.util.Collection;
/**
* Syntax node for a function definition.
*/
public class FunctionDefStatement extends Statement {
private final Ident ident;
private final ImmutableList<Argument> args;
private final ImmutableList<Statement> statements;
public FunctionDefStatement(Ident ident, Collection<Argument> args,
Collection<Statement> statements) {
for (Argument arg : args) {
Preconditions.checkArgument(arg.isNamed());
}
this.ident = ident;
this.args = ImmutableList.copyOf(args);
this.statements = ImmutableList.copyOf(statements);
}
@Override
void exec(Environment env) throws EvalException, InterruptedException {
ImmutableMap.Builder<String, Object> defaultValues = ImmutableMap.builder();
for (Argument arg : args) {
if (arg.hasValue()) {
defaultValues.put(arg.getArgName(), arg.getValue().eval(env));
}
}
env.update(ident.getName(), new UserDefinedFunction(
ident, args, defaultValues.build(), statements, (SkylarkEnvironment) env));
}
@Override
public String toString() {
return "def " + ident + "(" + args + "):\n";
}
public Ident getIdent() {
return ident;
}
public ImmutableList<Statement> getStatements() {
return statements;
}
public ImmutableList<Argument> getArgs() {
return args;
}
@Override
public void accept(SyntaxTreeVisitor visitor) {
visitor.visit(this);
}
@Override
void validate(ValidationEnvironment env) throws EvalException {
SkylarkFunctionType type = SkylarkFunctionType.of(ident.getName());
ValidationEnvironment localEnv = new ValidationEnvironment(env, type);
for (Argument i : args) {
SkylarkType argType = SkylarkType.UNKNOWN;
if (i.hasValue()) {
argType = i.getValue().validate(env);
if (argType.equals(SkylarkType.NONE)) {
argType = SkylarkType.UNKNOWN;
}
}
localEnv.update(i.getArgName(), argType, getLocation());
}
for (Statement stmts : statements) {
stmts.validate(localEnv);
}
env.updateFunction(ident.getName(), type, getLocation());
// Register a dummy return value with an incompatible type if there was no return statement.
type.setReturnType(SkylarkType.NONE, getLocation());
}
}
|