agg.xt_basis
Class NACStarMorphism
java.lang.Object
java.util.Observable
agg.util.ExtObservable
agg.xt_basis.OrdinaryMorphism
agg.xt_basis.NACStarMorphism
- All Implemented Interfaces:
- Disposable, Morphism
public class NACStarMorphism
- extends OrdinaryMorphism
This class is just a workaround for lacking AttrContext functionality. In
class Completion_CSP, we need a purified copy of a morphism's AttrContext. At
the moment, we can only create a new one, immitating the way the morphism's
original AttrContext was created. Therefore, we need the parent context which
was used for the context's creation; this is what getRelatedMatchContext()
provides for the special case of a nacstar morphism.
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 |
Methods inherited from class agg.xt_basis.OrdinaryMorphism |
adaptAttrContextValues, addAttrMapping, addChild2ParentMapping, addErrorMsg, addMapping, addMapping, addMapping, addPlainMapping, addToAttrContext, addToAttrContext, addToAttrContext, canComplete, canMatch, checkAll, checkConstants, checkCreateMapping, checkCreateMapping, checkEdgeSourceTargetCompatibility, checkType, checkVariables, clearErrorMsg, compareTo, completeDiagram, completeDiagram, compose, copyAttrContext, deleteTransientContextVariables, disableUnusedAttrCondition, dispose, dispose, doCompose, doComposeInherit, enableUnusedAttrCondition, fillUpAttrContext, fillUpImageAttrs, fillUpOriginalAttrs, getAttrContext, getAttrManager, getCodomain, getCodomainObjects, getCoMorphism, getCompletionStrategy, getDomain, getDomainObjects, getElementsToCreate, getElementsToDelete, getErrorMsg, getImage, getImage, getInverseImage, getInverseImageList, getName, getOriginal, 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, nextCompletionWithConstantsAndVariablesChecking, nextCompletionWithConstantsChecking, nonMappedImages, nonMappedOriginals, propagateChange, readMorphism, removeAllMappings, removeAttrMapping, removeAttrMappings, removeMapping, 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 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 |
NACStarMorphism
public NACStarMorphism(Graph orig,
Graph imag,
AttrContext ac)
NACStarMorphism
public NACStarMorphism(Graph orig,
Graph imag,
AttrContext ac,
OrdinaryMorphism relatedMatch)
getRelatedMatchContext
public AttrContext getRelatedMatchContext()
getRelatedMatch
public OrdinaryMorphism getRelatedMatch()
nextCompletion
public boolean nextCompletion()
- Description copied from class:
OrdinaryMorphism
- Compute next completion: * Invoke this method successively to get all
completions.
- Overrides:
nextCompletion
in class OrdinaryMorphism
- Returns:
false
if there are no more completions.*
nextCompletionWithConstantsAndVariablesChecking
public boolean nextCompletionWithConstantsAndVariablesChecking()
- Description copied from class:
OrdinaryMorphism
- Compute next completion: * Invoke this method successively to get all
completions. *
- Overrides:
nextCompletionWithConstantsAndVariablesChecking
in class OrdinaryMorphism
- Returns:
false
if there are no more completions.
nextCompletionWithConstantsChecking
public boolean nextCompletionWithConstantsChecking()
- Description copied from class:
OrdinaryMorphism
- Compute next completion: * Invoke this method successively to get all
completions. *
- Overrides:
nextCompletionWithConstantsChecking
in class OrdinaryMorphism
- Returns:
false
if there are no more completions.
clear
public void clear()
- Description copied from class:
OrdinaryMorphism
- Remove all mappings and unset all variables of its attribute context.
- Overrides:
clear
in class OrdinaryMorphism
reinit
public void reinit(AttrContext ac)