|
|||||||||
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.Match
agg.xt_basis.SubMatch
public class SubMatch
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 |
SubMatch(Match supermatch,
SubRule subrule,
SubGraph subimage)
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. |
void |
dispose()
Deprecated. Remove all graph object mappings and all relations to its source and target graphs. |
Graph |
getImage()
Deprecated. Return its target graph. |
Graph |
getOriginal()
Deprecated. Return its source graph. |
Match |
getSuperMatch()
Deprecated. |
protected void |
removeAttrMapping(AttrInstance o)
Deprecated. |
void |
removeMapping(GraphObject o)
Deprecated. Remove the mapping of a given GraphObject. |
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 SubMatch(Match supermatch, SubRule subrule, SubGraph subimage)
Method Detail |
---|
public void dispose()
Match
dispose
in interface Disposable
dispose
in class Match
Change_ObservableGone
public final Match getSuperMatch()
public final Graph getOriginal()
OrdinaryMorphism
getOriginal
in interface Morphism
getOriginal
in class OrdinaryMorphism
public final Graph getImage()
OrdinaryMorphism
getImage
in interface Morphism
getImage
in class OrdinaryMorphism
public final 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 final void removeMapping(GraphObject o)
OrdinaryMorphism
Pre:
Pre: getImage(o) != null
*
removeMapping
in class OrdinaryMorphism
protected final void addAttrMapping(AttrInstance o, AttrInstance i)
addAttrMapping
in class OrdinaryMorphism
protected final void removeAttrMapping(AttrInstance o)
removeAttrMapping
in class OrdinaryMorphism
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |