|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnRealMorphism
real morphism. A real morphism is an actual instantiation morphism. It allows to transform symbols, according to the so-called morphism (i.e. the morphism between the parameters of an instantiation, and according to renamings.
Constructor Summary | |
CoopnRealMorphism(CoopnModuleName origin,
CoopnModuleName destination)
Simple constructor. |
Method Summary | |
void |
addGenericUse(CoopnModuleName source,
CoopnModuleNameList target)
Adds a generic use. |
void |
addParameterMapping(CoopnModuleName source,
CoopnModuleName target)
Adds a mapping between a formal and an effective parameter module name. |
void |
addRename(CoopnName source,
CoopnName target)
Adds a rename to the real morphism. |
void |
addTransformation(CoopnSymbol source,
CoopnSymbol target)
Adds a transformation to the real morphism. |
java.lang.Object |
clone()
|
boolean |
containsParameterMapping(CoopnModuleName effective)
look if a module is memeber of the effective parameters. |
CoopnModuleName |
findParameterMapping(CoopnModuleName formal)
Get the name of the effective parameter module corresponding to a formal one. |
CoopnSymbol |
transform(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 CoopnRealMorphism(CoopnModuleName origin, CoopnModuleName destination)
origin
- name of the original module (to be instantiated)destination
- name of the destination (instantiated) moduleMethod Detail |
public void addParameterMapping(CoopnModuleName source, CoopnModuleName target)
source
- the name of the formal parameter moduletarget
- the name of the effective parameter modulepublic void addGenericUse(CoopnModuleName source, CoopnModuleNameList target)
source
- the name of the used generic moduletarget
- its formal parameterspublic 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 CoopnModuleName findParameterMapping(CoopnModuleName formal)
formal
- the name of the formal parameter modulepublic boolean containsParameterMapping(CoopnModuleName effective)
effective
- the name of the effective parameter modulepublic 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 |