| Package | Description |
|---|---|
| xtc.type |
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<java.lang.String,TupleT> |
AST.tuples
The map from tuple names to tuple types.
|
| Modifier and Type | Method and Description |
|---|---|
TupleT |
TupleT.copy() |
TupleT |
TupleT.toTuple() |
TupleT |
Type.toTuple()
Get this type as an tuple.
|
TupleT |
AST.toTuple(java.lang.String name)
Get the tuple type with the specified name.
|
TupleT |
AST.toTuple(VariantT variant)
Get the polymorphic tuple for the specified variant.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.List<TupleT> |
VariantT.getTuples()
Get this variant's tuples.
|
| Modifier and Type | Method and Description |
|---|---|
void |
AST.add(TupleT tuple,
VariantT variant)
Add the specified tuple type to the specified variant type.
|
Type |
AST.combine(TupleT tuple1,
TupleT tuple2,
boolean flatten,
boolean strict)
Combine the specified tuple types into a consistent type.
|
Type |
AST.flatten(TupleT tuple,
boolean strict)
Flatten the specified tuple type.
|
java.util.List<VariantT> |
AST.toVariants(TupleT tuple)
Get the specified tuple's variants.
|
void |
TypePrinter.visit(TupleT t)
Print the specified tuple type.
|
| Modifier and Type | Method and Description |
|---|---|
void |
VariantT.setTuples(java.util.List<TupleT> tuples)
Set this variant's tuples.
|
| Constructor and Description |
|---|
VariantT(java.lang.String name,
boolean polymorphic,
java.util.List<TupleT> tuples)
Create a new variant type.
|
VariantT(java.lang.String name,
java.util.List<TupleT> tuples)
Create a new variant type.
|
VariantT(Type template,
java.lang.String name,
boolean polymorphic,
java.util.List<TupleT> tuples)
Create a new variant type.
|
Copyright © 2014. All Rights Reserved.