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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
// Copyright 2015 The Bazel Authors. 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.collect.ImmutableList;
import com.google.devtools.build.lib.events.Location;
import com.google.devtools.build.lib.skylarkinterface.SkylarkModule;
import com.google.devtools.build.lib.skylarkinterface.SkylarkPrinter;
import com.google.devtools.build.lib.skylarkinterface.SkylarkValue;
import com.google.devtools.build.lib.util.Preconditions;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
/**
* An attribute value consisting of a concatenation of native types and selects, e.g:
*
* <pre>
* rule(
* name = 'myrule',
* deps =
* [':defaultdep']
* + select({
* 'a': [':adep'],
* 'b': [':bdep'],})
* + select({
* 'c': [':cdep'],
* 'd': [':ddep'],})
* )
* </pre>
*/
@SkylarkModule(name = "select",
doc = "A selector between configuration-dependent entities.",
documented = false)
public final class SelectorList implements SkylarkValue {
// TODO(build-team): Selectors are currently split between .packages and .syntax . They should
// really all be in .packages, but then we'd need to figure out a way how to extend binary
// operators, which is a non-trivial problem.
private final Class<?> type;
private final List<Object> elements;
private SelectorList(Class<?> type, List<Object> elements) {
this.type = type;
this.elements = elements;
}
/**
* Returns an ordered list of the elements in this expression. Each element may be a
* native type or a select.
*/
public List<Object> getElements() {
return elements;
}
/**
* Returns the native type contained by this expression.
*/
public Class<?> getType() {
return type;
}
/**
* Creates a "wrapper" list that consists of a single select.
*/
public static SelectorList of(SelectorValue selector) {
return new SelectorList(selector.getType(), ImmutableList.of(selector));
}
/**
* Creates a list that concatenates two values, where each value may be either a native
* type or a select over that type.
*
* @throws EvalException if the values don't have the same underlying type
*/
public static SelectorList concat(Location location, Object value1, Object value2)
throws EvalException {
ImmutableList.Builder<Object> builder = ImmutableList.builder();
Class<?> type1 = addValue(value1, builder);
Class<?> type2 = addValue(value2, builder);
if (!canConcatenate(type1, type2)) {
throw new EvalException(
location,
String.format(
"'+' operator applied to incompatible types (%s, %s)",
EvalUtils.getDataTypeName(value1, true),
EvalUtils.getDataTypeName(value2, true)));
}
return new SelectorList(type1, builder.build());
}
/**
* Creates a list consisting of the given selects.
*/
public static SelectorList of(List<SelectorValue> selectors) throws EvalException {
Preconditions.checkArgument(!selectors.isEmpty());
Iterator<SelectorValue> it = selectors.iterator();
SelectorList list = SelectorList.of(it.next());
while (it.hasNext()) {
list = SelectorList.concat(null, list, it.next());
}
return list;
}
// TODO(bazel-team): match on the List interface, not the actual implementation. For now,
// we verify this is the right class through test coverage.
private static final Class<?> NATIVE_LIST_TYPE = ArrayList.class;
private static Class<?> addValue(Object value, ImmutableList.Builder<Object> builder) {
if (value instanceof SelectorList) {
SelectorList selectorList = (SelectorList) value;
builder.addAll(selectorList.getElements());
return selectorList.getType();
} else if (value instanceof SelectorValue) {
builder.add(value);
return ((SelectorValue) value).getType();
} else {
builder.add(value);
return value.getClass();
}
}
private static boolean isListType(Class<?> type) {
return type == NATIVE_LIST_TYPE
|| type.getSuperclass() == SkylarkList.class
|| type == GlobList.class;
}
private static boolean canConcatenate(Class<?> type1, Class<?> type2) {
if (type1 == type2) {
return true;
} else if (isListType(type1) && isListType(type2)) {
return true;
} else {
return false;
}
}
@Override
public String toString() {
return Printer.repr(this);
}
@Override
public void repr(SkylarkPrinter printer) {
printer.printList(elements, "", " + ", "", null);
}
}
|
