|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnRealInheritance
real inheritance. A real inheritance is an actual inheritance morphism. It allows to transform and discard symbols, according to the associate inheritance section.
Constructor Summary | |
CoopnRealInheritance(CoopnModuleName origin,
CoopnModuleName destination)
Simple constructor. |
Method Summary | |
void |
addRedefine(CoopnName source)
Adds a redefine. |
void |
addRename(CoopnName source,
CoopnName target)
Adds a rename to the real inheritance. |
void |
addTransformation(CoopnSymbol source,
CoopnSymbol target)
Adds a transformation to the real inheritance. |
void |
addUndefine(CoopnName source)
Adds a undefine. |
java.lang.Object |
clone()
|
CoopnSymbol |
transform(CoopnSymbol symbol,
CoopnTypeRelation rel)
Transforms a symbol according to the real morphism. |
CoopnSymbol |
transformWithoutDeletes(CoopnSymbol symbol,
CoopnTypeRelation rel)
Transforms a symbol according to the real morphism. |
java.lang.Object |
unmodifiableCopy()
|
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public CoopnRealInheritance(CoopnModuleName origin, CoopnModuleName destination)
origin
- name of the original module (to be inherited)destination
- name of the destination (extending) moduleMethod Detail |
public void addRedefine(CoopnName source)
source
- the name of the symbol to redefinepublic void addUndefine(CoopnName source)
source
- the name of the symbol to undefinepublic void addRename(CoopnName source, CoopnName target)
source
- the old nametarget
- the new namepublic void addTransformation(CoopnSymbol source, CoopnSymbol target)
source
- the old symboltarget
- the new symbolpublic CoopnSymbol transformWithoutDeletes(CoopnSymbol symbol, CoopnTypeRelation rel) throws CoopnStaticSemanticsException
symbol
- the symbol to transformpublic CoopnSymbol transform(CoopnSymbol symbol, CoopnTypeRelation rel) throws CoopnStaticSemanticsException
symbol
- the symbol to transformpublic java.lang.Object unmodifiableCopy()
public java.lang.Object clone()
clone
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |