agg.xt_basis
Class PACStarMorphism

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

public class PACStarMorphism
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 pacstar morphism.


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
PACStarMorphism(Graph orig, Graph imag, AttrContext ac)
           
PACStarMorphism(Graph orig, Graph imag, AttrContext ac, OrdinaryMorphism relatedMatch)
           
 
Method Summary
 void clear()
          Remove all mappings and unset all variables of its attribute context.
 OrdinaryMorphism getRelatedMatch()
           
 AttrContext getRelatedMatchContext()
           
 boolean nextCompletion()
          Compute next completion: * Invoke this method successively to get all completions.
 boolean nextCompletionWithConstantsAndVariablesChecking()
          Compute next completion: * Invoke this method successively to get all completions
 boolean nextCompletionWithConstantsChecking()
          Compute next completion: * Invoke this method successively to get all completions
 void reinit(AttrContext ac)
           
 
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 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

PACStarMorphism

public PACStarMorphism(Graph orig,
                       Graph imag,
                       AttrContext ac)

PACStarMorphism

public PACStarMorphism(Graph orig,
                       Graph imag,
                       AttrContext ac,
                       OrdinaryMorphism relatedMatch)
Method Detail

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)