|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ForgeType
The type of a Forge expression.
Nested Class Summary | |
---|---|
static interface |
ForgeType.Tuple
A type that is a tuple of classes. |
static interface |
ForgeType.Unary
A type that is a set of classes. |
Nested classes/interfaces inherited from interface forge.program.ForgeExpression |
---|
ForgeExpression.Leaf, ForgeExpression.Modifiable |
Method Summary | |
---|---|
ForgeType |
difference(ForgeType type)
|
ForgeType.Unary |
domain()
|
ForgeType |
intersection(ForgeType type)
|
boolean |
isDomain()
|
boolean |
isEmpty()
|
ForgeType |
join(ForgeType type)
|
ForgeType |
product(ForgeType type)
|
ForgeType |
projectType(int... columns)
|
ForgeType.Unary |
range()
|
boolean |
subtypeOf(ForgeType type)
|
java.util.Set<? extends ForgeType.Tuple> |
tupleTypes()
|
ForgeType |
union(ForgeType type)
|
Methods inherited from interface forge.program.ForgeExpression |
---|
accept, and, apply, arity, bitAnd, bitNot, bitOr, bitXor, bool, closure, compose, comprehension, difference, divide, eq, forAll, forSome, gt, gte, iden, iff, implies, in, intersection, isUnary, join, lone, lt, lte, minus, modulo, neg, no, not, one, or, override, plus, product, projection, quantify, shiftLeft, shiftRight, size, some, sum, summation, thenElse, times, type, union, unsignedShiftRight, xor |
Methods inherited from interface forge.program.ProgramElement |
---|
program |
Method Detail |
---|
boolean isDomain()
boolean isEmpty()
boolean subtypeOf(ForgeType type)
java.util.Set<? extends ForgeType.Tuple> tupleTypes()
ForgeType.Unary domain()
domain
in interface ForgeExpression
ForgeType.Unary range()
range
in interface ForgeExpression
ForgeType projectType(int... columns)
ForgeType union(ForgeType type)
ForgeType difference(ForgeType type)
ForgeType intersection(ForgeType type)
ForgeType product(ForgeType type)
ForgeType join(ForgeType type)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |