ConForM.CoopnTools.CoKer.CoopnMgr
Class CoopnRealInheritance

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnMgr.CoopnRealInheritance
All Implemented Interfaces:
java.lang.Cloneable

public class CoopnRealInheritance
extends java.lang.Object
implements java.lang.Cloneable

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

CoopnRealInheritance

public CoopnRealInheritance(CoopnModuleName origin,
                            CoopnModuleName destination)
Simple constructor.
Parameters:
origin - name of the original module (to be inherited)
destination - name of the destination (extending) module
Method Detail

addRedefine

public void addRedefine(CoopnName source)
Adds a redefine.
Parameters:
source - the name of the symbol to redefine

addUndefine

public void addUndefine(CoopnName source)
Adds a undefine.
Parameters:
source - the name of the symbol to undefine

addRename

public void addRename(CoopnName source,
                      CoopnName target)
Adds a rename to the real inheritance.
Parameters:
source - the old name
target - the new name

addTransformation

public void addTransformation(CoopnSymbol source,
                              CoopnSymbol target)
Adds a transformation to the real inheritance.
Parameters:
source - the old symbol
target - the new symbol

transformWithoutDeletes

public CoopnSymbol transformWithoutDeletes(CoopnSymbol symbol,
                                           CoopnTypeRelation rel)
                                    throws CoopnStaticSemanticsException
Transforms a symbol according to the real morphism.
Parameters:
symbol - the symbol to transform
Returns:
the transformed symbol.

transform

public CoopnSymbol transform(CoopnSymbol symbol,
                             CoopnTypeRelation rel)
                      throws CoopnStaticSemanticsException
Transforms a symbol according to the real morphism.
Parameters:
symbol - the symbol to transform
Returns:
the transformed symbol.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object