|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.Observable
agg.util.ExtObservable
agg.xt_basis.OrdinaryMorphism
agg.xt_basis.OrdinarySubMorphism
public class OrdinarySubMorphism
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.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 |
---|
protected OrdinarySubMorphism(OrdinaryMorphism supermorph)
public OrdinarySubMorphism(OrdinaryMorphism supermorph, SubGraph orig, SubGraph img)
Method Detail |
---|
public final OrdinaryMorphism getSuperMorphism()
public Graph getOriginal()
Post: r.isGraph()
, where r
is the
return value.
getOriginal
in interface Morphism
getOriginal
in class OrdinaryMorphism
public Graph getImage()
Post: r.isGraph()
, where r
is the
return value.
getImage
in interface Morphism
getImage
in class OrdinaryMorphism
public java.util.Enumeration<GraphObject> getDomain()
OrdinaryMorphism
getDomain
in interface Morphism
getDomain
in class OrdinaryMorphism
GraphObject
public java.util.Enumeration<GraphObject> getCodomain()
OrdinaryMorphism
getCodomain
in interface Morphism
getCodomain
in class OrdinaryMorphism
GraphObject
public GraphObject getImage(GraphObject o)
OrdinaryMorphism
getImage
in interface Morphism
getImage
in class OrdinaryMorphism
null
if the object is not in domain.*public java.util.Enumeration<GraphObject> getInverseImage(GraphObject o)
OrdinaryMorphism
GraphObject
.
getInverseImage
in interface Morphism
getInverseImage
in class OrdinaryMorphism
GraphObject
public void addMapping(GraphObject o, GraphObject i) throws BadMappingException
OrdinaryMorphism
Pre:
o
is an element of getOriginal()
. *
i
is an element of getImage()
. *
addMapping
in class OrdinaryMorphism
o
- the source object of the mapping. *i
- the target object of the mapping. *
BadMappingException
- if the given mapping violates morphism properties. *public void removeMapping(GraphObject o)
OrdinaryMorphism
Pre:
Pre: getImage(o) != null
*
removeMapping
in class OrdinaryMorphism
protected void addAttrMapping(AttrInstance o, AttrInstance i)
addAttrMapping
in class OrdinaryMorphism
protected void removeAttrMapping(AttrInstance o)
removeAttrMapping
in class OrdinaryMorphism
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |