public TuplePattern(Type tupleType, Pattern<IValue, Type>[] children) {
if (tupleType != null && !tupleType.isList()) {
throw new IllegalArgumentException("Type should be tuple");
}
this.type = tupleType;
if (children != null) {
this.children = children.clone();
boolean tmp = true;
for (Pattern<IValue, Type> c : children) {
tmp &= c.subTreeOnly();
}
subTreeOnly = tmp;
} else {
this.children = null;
subTreeOnly = true;
}
}
