|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttudresden.ocl.check.types.xmifacade.ModelClass
Nested Class Summary |
Nested classes inherited from class tudresden.ocl.check.types.Any |
Any.VoidAny |
Field Summary | |
private HashSet |
allSupertypes
|
private HashMap |
attributes
Maps attribute/relation partner names to the attributes with this name. |
private HashSet |
directSupertypes
|
private String |
fullName
Fully qualified name. |
private String |
implicitRoleName
|
private Model |
model
|
private HashMap |
operations
Maps operation names to collections of operations with this name. |
private String |
shortName
This name is unique in the package only. |
Fields inherited from interface tudresden.ocl.check.types.Any |
VOID |
Constructor Summary | |
ModelClass(List packagePath,
String name)
|
Method Summary | |
void |
addAttribute(ModelAttribute attr)
Adds an attribute/role name to the class. |
void |
addDirectSupertype(ModelClass s)
|
void |
addOperation(ModelOperation oper)
Adds an operation to a class. |
private void |
addOperationLesser(ModelOperation oper)
This operation ist used internally only be method flatten(). |
Map |
attributes()
|
int |
compareTo(Object o)
|
boolean |
conformsTo(Type t)
|
boolean |
containsOperation(ModelOperation oper)
|
void |
determineAllSupertypes()
This methode will be called instead of flatten if the underlying model is rough. |
boolean |
equals(Object o)
Does object identity comparision. |
void |
flatten()
Flattens inheritance. |
String |
generalizationRoot()
|
ModelOperation |
getEqualOperation(ModelOperation oper)
|
String |
getFullName()
|
String |
getImplicitRoleName()
OCL specification 5.4.1: if role name is missing, use class name starting with lowercase letter. |
ModelOperation |
getMatchingOperation(String name,
Type[] params)
|
Model |
getModel()
|
String |
getShortName()
|
boolean |
hasState(String name)
States are not supported. |
boolean |
hasSupertypes()
|
boolean |
isDirectSupertype(ModelClass s)
|
boolean |
isSupertype(ModelClass s)
Return true, if and only if this is a (possibly indirect) generalization of this. |
Type |
navigateParameterized(String name,
Type[] params)
Assumes, that all methods are queried using this method, even method with empty parameter list. |
Type |
navigateQualified(String name,
Type[] qualifiers)
navigate to the association end or attribute name, possibly with qualifier types; unnamed association ends must by made available by implementing methods with the name of the association end's type, but beginning with a lower case character (see OCL specification for more details) |
Map |
operations()
|
void |
printData(PrintStream o)
Useful for debugging. |
void |
setModel(Model model)
|
String |
toString()
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface tudresden.ocl.check.types.Type |
hashCode |
Field Detail |
private String fullName
private String shortName
private HashSet directSupertypes
private HashSet allSupertypes
private final HashMap attributes
private final HashMap operations
private String implicitRoleName
private Model model
Constructor Detail |
public ModelClass(List packagePath, String name)
Method Detail |
public String getFullName()
public String getShortName()
public String getImplicitRoleName()
public void setModel(Model model)
public Model getModel()
public void addDirectSupertype(ModelClass s)
public boolean isSupertype(ModelClass s)
public void addAttribute(ModelAttribute attr)
public boolean containsOperation(ModelOperation oper)
public ModelOperation getEqualOperation(ModelOperation oper)
public ModelOperation getMatchingOperation(String name, Type[] params)
public void addOperation(ModelOperation oper)
addOperationLesser(ModelOperation)
private void addOperationLesser(ModelOperation oper)
flatten()
public void flatten()
public void printData(PrintStream o)
public Type navigateQualified(String name, Type[] qualifiers) throws OclTypeException
Type
navigateQualified
in interface Type
qualifiers
- the qualifier types; may (and will in most cases) be
null
, but never an array with length 0
OclTypeException
public Type navigateParameterized(String name, Type[] params) throws OclTypeException
navigateParameterized
in interface Type
params
- the actual argument types
OclTypeException
public boolean hasState(String name)
hasState
in interface Type
public boolean conformsTo(Type t)
conformsTo
in interface Type
public boolean equals(Object o)
equals
in interface Type
public String toString()
toString
in interface Type
public int compareTo(Object o)
compareTo
in interface Comparable
public void determineAllSupertypes()
public boolean hasSupertypes()
public String generalizationRoot() throws IllegalStateException
IllegalStateException
- if more than one generalization root existspublic Map attributes()
public Map operations()
public boolean isDirectSupertype(ModelClass s)
|
Dresden OCL Toolkit | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |