Damien Martin-Guillerez | f88f4d8 | 2015-09-25 13:56:55 +0000 | [diff] [blame] | 1 | // Copyright 2014 The Bazel Authors. All rights reserved. |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | package com.google.devtools.build.lib.syntax; |
| 15 | |
Klaas Boesche | 0ec13b9 | 2015-11-06 12:16:03 +0000 | [diff] [blame] | 16 | import com.google.common.base.Optional; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 17 | import com.google.common.collect.ImmutableList; |
Klaas Boesche | 0ec13b9 | 2015-11-06 12:16:03 +0000 | [diff] [blame] | 18 | import com.google.devtools.build.lib.syntax.compiler.DebugInfo; |
| 19 | import com.google.devtools.build.lib.syntax.compiler.LoopLabels; |
| 20 | import com.google.devtools.build.lib.syntax.compiler.VariableScope; |
| 21 | |
| 22 | import net.bytebuddy.implementation.bytecode.ByteCodeAppender; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 23 | |
Francois-Rene Rideau | 5dcdbf9 | 2015-02-19 18:36:17 +0000 | [diff] [blame] | 24 | import java.util.ArrayList; |
Francois-Rene Rideau | 5dcdbf9 | 2015-02-19 18:36:17 +0000 | [diff] [blame] | 25 | import java.util.List; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 26 | |
| 27 | /** |
| 28 | * Syntax node for a function definition. |
| 29 | */ |
| 30 | public class FunctionDefStatement extends Statement { |
| 31 | |
Florian Weikert | 6f864c3 | 2015-07-23 11:26:39 +0000 | [diff] [blame] | 32 | private final Identifier ident; |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 33 | private final FunctionSignature.WithValues<Expression, Expression> signature; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 34 | private final ImmutableList<Statement> statements; |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 35 | private final ImmutableList<Parameter<Expression, Expression>> parameters; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 36 | |
Florian Weikert | 6f864c3 | 2015-07-23 11:26:39 +0000 | [diff] [blame] | 37 | public FunctionDefStatement(Identifier ident, |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 38 | Iterable<Parameter<Expression, Expression>> parameters, |
| 39 | FunctionSignature.WithValues<Expression, Expression> signature, |
| 40 | Iterable<Statement> statements) { |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 41 | this.ident = ident; |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 42 | this.signature = signature; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 43 | this.statements = ImmutableList.copyOf(statements); |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 44 | this.parameters = ImmutableList.copyOf(parameters); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 45 | } |
| 46 | |
| 47 | @Override |
Florian Weikert | 90a1596 | 2015-09-11 13:43:10 +0000 | [diff] [blame] | 48 | void doExec(Environment env) throws EvalException, InterruptedException { |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 49 | List<Expression> defaultExpressions = signature.getDefaultValues(); |
Francois-Rene Rideau | 5dcdbf9 | 2015-02-19 18:36:17 +0000 | [diff] [blame] | 50 | ArrayList<Object> defaultValues = null; |
| 51 | ArrayList<SkylarkType> types = null; |
| 52 | |
| 53 | if (defaultExpressions != null) { |
Ulf Adams | 07dba94 | 2015-03-05 14:47:37 +0000 | [diff] [blame] | 54 | defaultValues = new ArrayList<>(defaultExpressions.size()); |
Francois-Rene Rideau | 5dcdbf9 | 2015-02-19 18:36:17 +0000 | [diff] [blame] | 55 | for (Expression expr : defaultExpressions) { |
| 56 | defaultValues.add(expr.eval(env)); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 57 | } |
| 58 | } |
Francois-Rene Rideau | 89312fb | 2015-09-10 18:53:03 +0000 | [diff] [blame] | 59 | env.update( |
| 60 | ident.getName(), |
| 61 | new UserDefinedFunction( |
| 62 | ident, |
| 63 | FunctionSignature.WithValues.<Object, SkylarkType>create( |
| 64 | signature.getSignature(), defaultValues, types), |
| 65 | statements, |
| 66 | env.getGlobals())); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 67 | } |
| 68 | |
| 69 | @Override |
| 70 | public String toString() { |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 71 | return "def " + ident + "(" + signature + "):\n"; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 72 | } |
| 73 | |
Florian Weikert | 6f864c3 | 2015-07-23 11:26:39 +0000 | [diff] [blame] | 74 | public Identifier getIdent() { |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 75 | return ident; |
| 76 | } |
| 77 | |
| 78 | public ImmutableList<Statement> getStatements() { |
| 79 | return statements; |
| 80 | } |
| 81 | |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 82 | public ImmutableList<Parameter<Expression, Expression>> getParameters() { |
| 83 | return parameters; |
| 84 | } |
| 85 | |
| 86 | public FunctionSignature.WithValues<Expression, Expression> getSignature() { |
| 87 | return signature; |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | @Override |
| 91 | public void accept(SyntaxTreeVisitor visitor) { |
| 92 | visitor.visit(this); |
| 93 | } |
| 94 | |
| 95 | @Override |
Francois-Rene Rideau | 5dcdbf9 | 2015-02-19 18:36:17 +0000 | [diff] [blame] | 96 | void validate(final ValidationEnvironment env) throws EvalException { |
Laurent Le Brun | 8d966f7 | 2015-04-15 18:47:34 +0000 | [diff] [blame] | 97 | ValidationEnvironment localEnv = new ValidationEnvironment(env); |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 98 | FunctionSignature sig = signature.getSignature(); |
Francois-Rene Rideau | 5dcdbf9 | 2015-02-19 18:36:17 +0000 | [diff] [blame] | 99 | FunctionSignature.Shape shape = sig.getShape(); |
| 100 | ImmutableList<String> names = sig.getNames(); |
Laurent Le Brun | 4baefdc | 2015-09-04 11:27:46 +0000 | [diff] [blame] | 101 | List<Expression> defaultExpressions = signature.getDefaultValues(); |
Francois-Rene Rideau | 5dcdbf9 | 2015-02-19 18:36:17 +0000 | [diff] [blame] | 102 | |
| 103 | int positionals = shape.getPositionals(); |
| 104 | int mandatoryPositionals = shape.getMandatoryPositionals(); |
| 105 | int namedOnly = shape.getNamedOnly(); |
| 106 | int mandatoryNamedOnly = shape.getMandatoryNamedOnly(); |
| 107 | boolean starArg = shape.hasStarArg(); |
Francois-Rene Rideau | 5dcdbf9 | 2015-02-19 18:36:17 +0000 | [diff] [blame] | 108 | boolean kwArg = shape.hasKwArg(); |
| 109 | int named = positionals + namedOnly; |
| 110 | int args = named + (starArg ? 1 : 0) + (kwArg ? 1 : 0); |
| 111 | int startOptionals = mandatoryPositionals; |
| 112 | int endOptionals = named - mandatoryNamedOnly; |
Francois-Rene Rideau | 5dcdbf9 | 2015-02-19 18:36:17 +0000 | [diff] [blame] | 113 | |
| 114 | int j = 0; // index for the defaultExpressions |
| 115 | for (int i = 0; i < args; i++) { |
| 116 | String name = names.get(i); |
Laurent Le Brun | 2e78d61 | 2015-04-15 09:06:46 +0000 | [diff] [blame] | 117 | if (startOptionals <= i && i < endOptionals) { |
| 118 | defaultExpressions.get(j++).validate(env); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 119 | } |
Laurent Le Brun | 964d8d5 | 2015-04-13 12:15:04 +0000 | [diff] [blame] | 120 | localEnv.declare(name, getLocation()); |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 121 | } |
| 122 | for (Statement stmts : statements) { |
| 123 | stmts.validate(localEnv); |
| 124 | } |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 125 | } |
Klaas Boesche | 0ec13b9 | 2015-11-06 12:16:03 +0000 | [diff] [blame] | 126 | |
| 127 | @Override |
| 128 | ByteCodeAppender compile( |
| 129 | VariableScope scope, Optional<LoopLabels> loopLabels, DebugInfo debugInfo) { |
| 130 | throw new UnsupportedOperationException( |
| 131 | "Skylark does not support nested function definitions" |
| 132 | + " and the current entry point for the compiler is UserDefinedFunction."); |
| 133 | } |
Han-Wen Nienhuys | d08b27f | 2015-02-25 16:45:20 +0100 | [diff] [blame] | 134 | } |