| Package | Description |
|---|---|
| xtc.parser | |
| xtc.type |
| Modifier and Type | Method and Description |
|---|---|
protected Type |
VariantSorter.merge(VariantT v1,
VariantT v2,
Production p)
Merge the two variants.
|
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<java.lang.String,java.util.List<VariantT>> |
AST.tupleVariants
The map from tuple names to variants containing the tuples.
|
protected java.util.Map<java.lang.String,VariantT> |
AST.variants
The map from variant names to variant types.
|
| Modifier and Type | Method and Description |
|---|---|
VariantT |
VariantT.copy() |
VariantT |
Type.toVariant()
Get this type as an variant.
|
VariantT |
VariantT.toVariant() |
VariantT |
AST.toVariant(java.lang.String name,
boolean poly)
Get the variant type with the specified name.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.List<VariantT> |
AST.toVariants(TupleT tuple)
Get the specified tuple's variants.
|
| Modifier and Type | Method and Description |
|---|---|
void |
AST.add(TupleT tuple,
VariantT variant)
Add the specified tuple type to the specified variant type.
|
void |
AST.concretizeTuples(VariantT variant,
Type concrete)
Concretize the specified variant type's tuples.
|
AST.MetaData |
AST.getMetaData(VariantT variant)
Determine the metadata for the specified variant.
|
boolean |
AST.overlap(VariantT v1,
VariantT v2)
Determine whether the specified variants overlap.
|
java.lang.String |
AST.toOriginal(VariantT variant)
Get the original name for the specified variant.
|
TupleT |
AST.toTuple(VariantT variant)
Get the polymorphic tuple for the specified variant.
|
protected Type |
AST.unify(VariantT v1,
VariantT v2)
Unify the specified statically typed nodes.
|
void |
TypePrinter.visit(VariantT t)
Print the specified variant typee.
|
Copyright © 2014. All Rights Reserved.