agg.xt_basis
Class SubRule

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

Deprecated. not more supported

public class SubRule
extends Rule

Note: A lot of NAC problems remain unsolved with respect to subrules, even on the ALR level:


Field Summary
 
Fields inherited from class agg.xt_basis.Rule
applicable, atom_conditions, changedPreserved, constraintNamesSet, constraints, created, deleted, forbiden, generatePostConstraints, isChanging, isCreating, isDeleting, isReady, itsNACs, itsPACs, itsUsedAtomics, itsUsedFormulas, layer, parallelMatching, preserved, priority, triggerOfLayer, typesWhichNeedMultiplicityCheck
 
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 SubRule(Rule superrule)
          Deprecated.  
protected SubRule(Rule superrule, SubGraph left, SubGraph right)
          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.
 OrdinaryMorphism createNAC()
          Deprecated. Ueberschreibt die entsprechende Methode von Rule.
 void dispose()
          Deprecated. Remove all graph object mappings and all relations to its source and target graphs.
 Match getMatch()
          Deprecated. Returns my current match
 OrdinarySubMorphism getSubMorphism()
          Deprecated.  
 Rule getSuperRule()
          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.Rule
addConstraint, addNAC, addPAC, adjustAttrContextOfMatch, areNACsValid, arePACsValid, canMatch, checkInputParameterSet, checkInputParameterSet, checkMakeAbstract, checkType, clearConstraints, clearConstraints, clearConstraints, clearRule, compareConstantAttributeValue, compareConstantAttributeValueOfMappedObjects, compareTo, convertUsedFormulas, createPAC, destroyNAC, destroyObjectsOfType, destroyObjectsOfTypes, destroyPAC, enableInputParameter, enableNACs, enablePACs, finalize, getAtomApplConds, getClone, getConstraintNames, getConstraints, getElementsToChange, getElementsToCreate, getElementsToDelete, getElementsToPreserve, getErrorMsg, getInputParameters, getInputParametersOfGraphObject, getLayer, getLeft, getMorphism, getNAC, getNACs, getNACsList, getNACsVector, getNumberOfObjectsToCreate, getNumberOfObjectsToDelete, getObjectsToCreate, getObjectsToDelete, getPAC, getPACs, getPACsList, getPACsVector, getPriority, getRight, getTypeSet, getTypesWhichNeedMultiplicityCheck, getUsedAtomics, getUsedFormulas, getUsedTypes, hasNACs, hasPACs, invertComplex, invertSimplex, isApplicable, isApplicable, isApplicable, isArcDeleting, isChanging, isCreating, isDeleting, isElement, isEmptyRule, isLeftApplicable, isNACValid, isNodeDeleting, isPACValid, isParallelApplyEnabled, isReadyToTransform, isReadyToTransform, isTriggerOfLayer, isUsingType, prepareRuleInfo, removeApplConditions, removeAtomApplCond, removeConstraint, removeNAC, removePAC, removeUnusedVariableOfAttrContext, resetTargetOfMatch, restoreVariableDeclaration, setApplicable, setAtomApplConds, setInputParameters, setLayer, setMatch, setParallelMatchingEnabled, setPriority, setTriggerForLayer, setUsedFormulas, unsetInputParameter, XreadObject, XwriteObject
 
Methods inherited from class agg.xt_basis.OrdinaryMorphism
adaptAttrContextValues, addChild2ParentMapping, addErrorMsg, addMapping, addMapping, addPlainMapping, addToAttrContext, addToAttrContext, addToAttrContext, canComplete, checkAll, checkConstants, checkCreateMapping, checkCreateMapping, checkEdgeSourceTargetCompatibility, checkVariables, clear, clearErrorMsg, compareTo, completeDiagram, completeDiagram, compose, copyAttrContext, deleteTransientContextVariables, disableUnusedAttrCondition, dispose, doCompose, doComposeInherit, enableUnusedAttrCondition, fillUpAttrContext, fillUpImageAttrs, fillUpOriginalAttrs, getAttrContext, getAttrManager, getCodomain, getCodomainObjects, getCoMorphism, getCompletionStrategy, getDomain, getDomainObjects, getImage, getImage, getInverseImage, getInverseImageList, getName, getOriginal, getOverlappings, getOverlappings, getOverlappingsVector, getOverlappingsVector, getSize, getSource, getTarget, getTextualComment, getUsageOfInputParameters, 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, 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
 

Constructor Detail

SubRule

protected SubRule(Rule superrule)
Deprecated. 

SubRule

protected SubRule(Rule superrule,
                  SubGraph left,
                  SubGraph right)
Deprecated. 
Method Detail

dispose

public void dispose()
Deprecated. 
Description copied from class: OrdinaryMorphism
Remove all graph object mappings and all relations to its source and target graphs.

Specified by:
dispose in interface Disposable
Overrides:
dispose in class Rule
See Also:
Change_ObservableGone

getSubMorphism

public final OrdinarySubMorphism getSubMorphism()
Deprecated. 

getSuperRule

public final Rule getSuperRule()
Deprecated. 

createNAC

public OrdinaryMorphism createNAC()
Deprecated. 
Ueberschreibt die entsprechende Methode von Rule.

Overrides:
createNAC in class Rule
Returns:
an empty morphism nac with nac.getOriginal() == this.getOriginal().

getMatch

public Match getMatch()
Deprecated. 
Description copied from class: Rule
Returns my current match

Overrides:
getMatch in class Rule

addMapping

public final 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 final 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 final void addAttrMapping(AttrInstance o,
                                    AttrInstance i)
Deprecated. 
Overrides:
addAttrMapping in class OrdinaryMorphism

removeAttrMapping

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