agg.xt_basis
Class OrdinarySubMorphism

java.lang.Object
  extended by java.util.Observable
      extended by agg.util.ExtObservable
          extended by agg.xt_basis.OrdinaryMorphism
              extended by agg.xt_basis.OrdinarySubMorphism
All Implemented Interfaces:
Disposable, Morphism

Deprecated. not more supported

public class OrdinarySubMorphism
extends OrdinaryMorphism

An implementation of a submorphism. Original and image graphs of the submorphism are allowed to be arbitrary subgraphs of the respective graphs of the supermorphism. The definition of a submorphism demands that the submorphism's embedding diagram is strongly commutative, i.e. whenever an object x is mapped to an object y by the supermorphism and x is element of the submorphism's original graph, it is mapped to y by the submorphism as well. The implementation automatically maintains consistency to this definition.


Field Summary
 
Fields inherited from class agg.xt_basis.OrdinaryMorphism
cKeepContext, comment, enabled, errorMsg, errors, itsAttrContext, itsAttrManager, itsAttrMappings, itsCodomObjects, itsCoMorph, itsCompleter, itsDomObjects, itsImag, itsInteractiveFlag, itsName, itsOrig, itsTouchedFlag, partialMorphCompletion, removeAttrMapping, typeObjectsMapChanged
 
Constructor Summary
protected OrdinarySubMorphism(OrdinaryMorphism supermorph)
          Deprecated.  
  OrdinarySubMorphism(OrdinaryMorphism supermorph, SubGraph orig, SubGraph img)
          Deprecated.  
 
Method Summary
protected  void addAttrMapping(AttrInstance o, AttrInstance i)
          Deprecated.  
 void addMapping(GraphObject o, GraphObject i)
          Deprecated. Map an object of source graph to an object of target graph.
 java.util.Enumeration<GraphObject> getCodomain()
          Deprecated. Return the objects of my target graph which are actually taking part in the current morphism mappings.
 java.util.Enumeration<GraphObject> getDomain()
          Deprecated. Return the objects of my source graph which are actually taking part in the current morphism mappings.
 Graph getImage()
          Deprecated. Return the ALR graph which is the target graph of the morphism.
 GraphObject getImage(GraphObject o)
          Deprecated. Return the image of the specified object.
 java.util.Enumeration<GraphObject> getInverseImage(GraphObject o)
          Deprecated. Return an Enumeration of the inverse images of the specified object. * Enumeration will be empty when the object is not in codomain. * Enumeration elements are of type GraphObject.
 Graph getOriginal()
          Deprecated. Return the ALR graph which is the source graph of the morphism.
 OrdinaryMorphism getSuperMorphism()
          Deprecated.  
protected  void removeAttrMapping(AttrInstance o)
          Deprecated.  
 void removeMapping(GraphObject o)
          Deprecated. Remove the mapping of a given GraphObject.
 
Methods inherited from class agg.xt_basis.OrdinaryMorphism
adaptAttrContextValues, addChild2ParentMapping, addErrorMsg, addMapping, addMapping, addPlainMapping, addToAttrContext, addToAttrContext, addToAttrContext, canComplete, canMatch, checkAll, checkConstants, checkCreateMapping, checkCreateMapping, checkEdgeSourceTargetCompatibility, checkType, checkVariables, clear, clearErrorMsg, compareTo, completeDiagram, completeDiagram, compose, copyAttrContext, deleteTransientContextVariables, disableUnusedAttrCondition, dispose, dispose, doCompose, doComposeInherit, enableUnusedAttrCondition, fillUpAttrContext, fillUpImageAttrs, fillUpOriginalAttrs, getAttrContext, getAttrManager, getCodomainObjects, getCoMorphism, getCompletionStrategy, getDomainObjects, getElementsToCreate, getElementsToDelete, getErrorMsg, getInverseImageList, getName, getOverlappings, getOverlappings, getOverlappingsVector, getOverlappingsVector, getSize, getSource, getTarget, getTextualComment, getUsageOfInputParameters, getUsedTypes, getVariableDeclarations, intersectCoDomains, invert, isBijective, isClassName, isCommutative, isEmpty, isEnabled, isInjective, isIsomorphicTo, isIsomorphicTo, isMappingChanged, isNotificationRequired, isPartial, isPartialIsomorphicTo, isPartialMorphismCompletion, isSurjective, isTotal, isTypeObjectsMapChanged, makeAttributeContext, makeDiagram, makeDiagram, makeFullDiagram, makeFullDiagram, makeMatch, makeWeakDiagram, makeWeakDiagram, morphcopy, nextCompletion, nextCompletion, nextCompletionWithConstantsAndVariablesChecking, nextCompletionWithConstantsAndVariablesChecking, nextCompletionWithConstantsChecking, nextCompletionWithConstantsChecking, nonMappedImages, nonMappedOriginals, propagateChange, readMorphism, removeAllMappings, removeAttrMappings, removeMapping, removeMapping, removeUnusedVariableOfAttrContext, removeVariableValue, resetCSPVariableDomainOf, setAttrContext, setChanged, setCoMorphism, setCompletionStrategy, setCompletionStrategy, setEnabled, setName, setPartialMorphismCompletion, setSource, setTarget, setTextualComment, setTypeObjectsMapChanged, simplecopy, unsetCompletionStrategy, unsetOriginalAttrsIfExpression, updateAttrMappings, writeMorphism
 
Methods inherited from class agg.util.ExtObservable
finalize
 
Methods inherited from class java.util.Observable
addObserver, clearChanged, countObservers, deleteObserver, deleteObservers, hasChanged, notifyObservers, notifyObservers
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OrdinarySubMorphism

protected OrdinarySubMorphism(OrdinaryMorphism supermorph)
Deprecated. 

OrdinarySubMorphism

public OrdinarySubMorphism(OrdinaryMorphism supermorph,
                           SubGraph orig,
                           SubGraph img)
Deprecated. 
Method Detail

getSuperMorphism

public final OrdinaryMorphism getSuperMorphism()
Deprecated. 

getOriginal

public Graph getOriginal()
Deprecated. 
Return the ALR graph which is the source graph of the morphism.

Post: r.isGraph(), where r is the return value.

Specified by:
getOriginal in interface Morphism
Overrides:
getOriginal in class OrdinaryMorphism

getImage

public Graph getImage()
Deprecated. 
Return the ALR graph which is the target graph of the morphism.

Post: r.isGraph(), where r is the return value.

Specified by:
getImage in interface Morphism
Overrides:
getImage in class OrdinaryMorphism

getDomain

public java.util.Enumeration<GraphObject> getDomain()
Deprecated. 
Description copied from class: OrdinaryMorphism
Return the objects of my source graph which are actually taking part in the current morphism mappings.

Specified by:
getDomain in interface Morphism
Overrides:
getDomain in class OrdinaryMorphism
See Also:
GraphObject

getCodomain

public java.util.Enumeration<GraphObject> getCodomain()
Deprecated. 
Description copied from class: OrdinaryMorphism
Return the objects of my target graph which are actually taking part in the current morphism mappings.

Specified by:
getCodomain in interface Morphism
Overrides:
getCodomain in class OrdinaryMorphism
See Also:
GraphObject

getImage

public GraphObject getImage(GraphObject o)
Deprecated. 
Description copied from class: OrdinaryMorphism
Return the image of the specified object.

Specified by:
getImage in interface Morphism
Overrides:
getImage in class OrdinaryMorphism
Returns:
null if the object is not in domain.*

getInverseImage

public java.util.Enumeration<GraphObject> getInverseImage(GraphObject o)
Deprecated. 
Description copied from class: OrdinaryMorphism
Return an Enumeration of the inverse images of the specified object. * Enumeration will be empty when the object is not in codomain. * Enumeration elements are of type GraphObject.

Specified by:
getInverseImage in interface Morphism
Overrides:
getInverseImage in class OrdinaryMorphism
See Also:
GraphObject

addMapping

public void addMapping(GraphObject o,
                       GraphObject i)
                throws BadMappingException
Deprecated. 
Description copied from class: OrdinaryMorphism
Map an object of source graph to an object of target graph. The original and image objects have to belong to the same morphism. *

Pre:

    *
  1. o is an element of getOriginal(). *
  2. i is an element of getImage(). *
*

Overrides:
addMapping in class OrdinaryMorphism
Parameters:
o - the source object of the mapping. *
i - the target object of the mapping. *
Throws:
BadMappingException - if the given mapping violates morphism properties. *

removeMapping

public void removeMapping(GraphObject o)
Deprecated. 
Description copied from class: OrdinaryMorphism
Remove the mapping of a given GraphObject. Any mappings * of incoming or outgoing arcs will be removed as well.

Pre:

    Pre: getImage(o) != null *

    Overrides:
    removeMapping in class OrdinaryMorphism

addAttrMapping

protected void addAttrMapping(AttrInstance o,
                              AttrInstance i)
Deprecated. 
Overrides:
addAttrMapping in class OrdinaryMorphism

removeAttrMapping

protected void removeAttrMapping(AttrInstance o)
Deprecated. 
Overrides:
removeAttrMapping in class OrdinaryMorphism