agg.parser
Class DependencyPairContainer

java.lang.Object
  extended by agg.parser.ExcludePairContainer
      extended by agg.parser.DependencyPairContainer
All Implemented Interfaces:
PairContainer, XMLObject, java.lang.Runnable
Direct Known Subclasses:
LayeredDependencyPairContainer, PriorityDependencyPairContainer

public class DependencyPairContainer
extends ExcludePairContainer

This Container contains only conflict free and dependency relations.


Nested Class Summary
 
Nested classes/interfaces inherited from class agg.parser.ExcludePairContainer
ExcludePairContainer.Entry
 
Field Summary
protected  boolean completeConcurrency
           
protected  java.util.List<ConcurrentRule> concurrentRules
           
protected  boolean makeConcurrentRules
           
protected  boolean switchDependency
           
 
Fields inherited from class agg.parser.ExcludePairContainer
asymmetrically, calculateParallel, commonContainer, complete, conflictFreeContainer, conflictKind, consistent, equalVariableNameOfAttrMapping, excludeContainer, excludeContainerForTestGraph, excludePair, grammar, ignoreIdenticalRules, isAlive, isComputed, isComputedLocal, isEmpty, listener, reduce, reduceSameMatch, rules, stop, strategy, strongAttrCheck, testGraph, useHostGraph, withNACs, withPACs
 
Constructor Summary
DependencyPairContainer(GraGra gragra)
          Creates a new container for critical pairs.
 
Method Summary
protected  void computeCritical(Rule r1, Rule r2)
          Computes if the second rule depends of the first rule.
 void enableProduceConcurrentRule(boolean b)
           
 void enableSwitchDependency(boolean b)
           
 java.util.List<ConcurrentRule> getConcurrentRules()
           
 DependencyPair getCurrentDependencyPair()
           
 java.util.Hashtable<Rule,java.util.Hashtable<Rule,Pair<java.lang.Boolean,java.util.Vector<Pair<Pair<OrdinaryMorphism,OrdinaryMorphism>,Pair<OrdinaryMorphism,OrdinaryMorphism>>>>>> getDependencyContainer()
           
protected  Pair<OrdinaryMorphism,OrdinaryMorphism> readOldOverlappingMorphisms(XMLHelper h, Rule r1, Rule r2, java.lang.String firstName, Graph overlapGraph)
           
 void setCompleteConcurrency(boolean b)
           
 java.lang.String toString()
          Provides a human readable text of the critical pairs.
 void XreadObject(XMLHelper h)
          Reads the contents of a xml file to restore this object.
 void XwriteObject(XMLHelper h)
          Writes the contents of this object to a file in a xml format.
 
Methods inherited from class agg.parser.ExcludePairContainer
addEntry, addPairEventListener, addQuadruple, checkConsistency, checkCritical, clear, clearEntry, computeCritical, enableComplete, enableConsistent, enableEqualVariableNameOfAttrMapping, enableIgnoreIdenticalRules, enableNACs, enablePACs, enableReduce, enableReduceSameMatch, enableStrongAttrCheck, enableUseHostGraph, enableUseHostGraph, fillContainers, fillContainers, fillContainers, firePairEvent, getActiveExcludePair, getConflictContainer, getConflictFreeContainer, getContainer, getContainer, getContainer, getCritical, getCritical, getCriticalForGraph, getCriticalForGraph, getCriticalPair, getCriticalPair, getCriticalPair, getCriticalPairAtGraph, getCriticalSet, getEntry, getEntry, getExcludeContainer, getExcludeContainerForTestGraph, getGrammar, getKindOfConflict, getLayer, getLHSoverlappings, getMorphCompletionStrategy, getNumberOfContainers, getRules, getState, initAllContainer, isAlive, isComputed, isEmpty, moveEntryFromExcludeToConflictFreeContainer, readOverlappingMorphisms, reduceCriticalPairs, removeEntryFromExcludeContainer, removePairEventListener, run, scheduleForComputing, setComputeAsymetrically, setEntryRelationVisible, setEntryRuleVisible, setGrammar, setMorphCompletionStrategy, setRules, setStop, stop, useHostGraphEnabled, wasStopped, writeOverlapMorphisms
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

switchDependency

protected boolean switchDependency

makeConcurrentRules

protected boolean makeConcurrentRules

completeConcurrency

protected boolean completeConcurrency

concurrentRules

protected java.util.List<ConcurrentRule> concurrentRules
Constructor Detail

DependencyPairContainer

public DependencyPairContainer(GraGra gragra)
Creates a new container for critical pairs.

Parameters:
gragra - The graph grammar.
Method Detail

getDependencyContainer

public java.util.Hashtable<Rule,java.util.Hashtable<Rule,Pair<java.lang.Boolean,java.util.Vector<Pair<Pair<OrdinaryMorphism,OrdinaryMorphism>,Pair<OrdinaryMorphism,OrdinaryMorphism>>>>>> getDependencyContainer()

enableSwitchDependency

public void enableSwitchDependency(boolean b)

enableProduceConcurrentRule

public void enableProduceConcurrentRule(boolean b)

setCompleteConcurrency

public void setCompleteConcurrency(boolean b)

getConcurrentRules

public java.util.List<ConcurrentRule> getConcurrentRules()

getCurrentDependencyPair

public DependencyPair getCurrentDependencyPair()

computeCritical

protected void computeCritical(Rule r1,
                               Rule r2)
Computes if the second rule depends of the first rule. The result is added to the container.

Overrides:
computeCritical in class ExcludePairContainer
Parameters:
r1 - The first rule.
r2 - The second rule.

readOldOverlappingMorphisms

protected Pair<OrdinaryMorphism,OrdinaryMorphism> readOldOverlappingMorphisms(XMLHelper h,
                                                                              Rule r1,
                                                                              Rule r2,
                                                                              java.lang.String firstName,
                                                                              Graph overlapGraph)
Overrides:
readOldOverlappingMorphisms in class ExcludePairContainer

XwriteObject

public void XwriteObject(XMLHelper h)
Writes the contents of this object to a file in a xml format.

Specified by:
XwriteObject in interface XMLObject
Overrides:
XwriteObject in class ExcludePairContainer
Parameters:
h - A helper object for storing.

XreadObject

public void XreadObject(XMLHelper h)
Reads the contents of a xml file to restore this object.

Specified by:
XreadObject in interface XMLObject
Overrides:
XreadObject in class ExcludePairContainer
Parameters:
h - A helper object for loading.

toString

public java.lang.String toString()
Provides a human readable text of the critical pairs.

Overrides:
toString in class ExcludePairContainer
Returns:
The text.