|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectstory.scheherazade.misc.SCHVariableTypeSet
public class SCHVariableTypeSet
A set of SCHVariableTypes.
Field Summary | |
---|---|
static SCHVariableTypeSet |
ALL_TYPES
|
Method Summary | |
---|---|
void |
add(SCHVariableType type)
Add a new type. |
boolean |
containsAllTypes()
Check if the set contains all types. |
boolean |
containsOnly(SCHVariableType type)
Check if the set contains only some type. |
SCHVariableType |
getFirstType()
Get the first type. |
boolean |
isMember(SCHVariableType type)
Check if a type is in the set. |
SCHVariableTypeSet |
makeCopy()
Make a copy. |
static SCHVariableTypeSet |
merge(SCHVariableTypeSet s1,
SCHVariableTypeSet s2)
Merge two sets. |
int |
numMembers()
Number of members. |
java.lang.StringBuffer |
render()
Render the set of types. |
int |
size()
Return the size of the set. |
boolean |
subsumes(SCHVariableTypeSet other)
Determine if this set subsumes, or contains all the present elements of, another set |
java.lang.StringBuffer |
toSourceCommand()
Return a Prologuer source command for reconstructing this set. |
java.lang.String |
verbalizeFirstType()
Verbalize the first type. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final SCHVariableTypeSet ALL_TYPES
Constructor Detail |
---|
public SCHVariableTypeSet()
public SCHVariableTypeSet(SCHVariableType type0)
public SCHVariableTypeSet(SCHVariableType type0, SCHVariableType type1)
public SCHVariableTypeSet(SCHVariableType type0, SCHVariableType type1, SCHVariableType type2)
public SCHVariableTypeSet(SCHVariableType type0, SCHVariableType type1, SCHVariableType type2, SCHVariableType type3)
public SCHVariableTypeSet(SCHVariableType type0, SCHVariableType type1, SCHVariableType type2, SCHVariableType type3, SCHVariableType type4)
public SCHVariableTypeSet(SCHVariableType type0, SCHVariableType type1, SCHVariableType type2, SCHVariableType type3, SCHVariableType type4, SCHVariableType type5)
public SCHVariableTypeSet(SCHVariableType type0, SCHVariableType type1, SCHVariableType type2, SCHVariableType type3, SCHVariableType type4, SCHVariableType type5, SCHVariableType type6)
public SCHVariableTypeSet(SCHVariableType type0, SCHVariableType type1, SCHVariableType type2, SCHVariableType type3, SCHVariableType type4, SCHVariableType type5, SCHVariableType type6, SCHVariableType type7)
public SCHVariableTypeSet(SCHVariableType type0, SCHVariableType type1, SCHVariableType type2, SCHVariableType type3, SCHVariableType type4, SCHVariableType type5, SCHVariableType type6, SCHVariableType type7, SCHVariableType type8)
Method Detail |
---|
public void add(SCHVariableType type)
public boolean isMember(SCHVariableType type) throws Scheherexception
Scheherexception
public boolean containsOnly(SCHVariableType type)
public boolean containsAllTypes()
public SCHVariableType getFirstType()
public java.lang.String verbalizeFirstType() throws java.lang.Exception
java.lang.Exception
public SCHVariableTypeSet makeCopy()
public int numMembers()
public java.lang.StringBuffer render()
render
in interface RenderableObject
public static SCHVariableTypeSet merge(SCHVariableTypeSet s1, SCHVariableTypeSet s2)
public boolean subsumes(SCHVariableTypeSet other)
public int size()
public java.lang.StringBuffer toSourceCommand()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |