agg.parser
Class DependencyPairContainer
java.lang.Object
agg.parser.ExcludePairContainer
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.
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 |
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 |
switchDependency
protected boolean switchDependency
makeConcurrentRules
protected boolean makeConcurrentRules
completeConcurrency
protected boolean completeConcurrency
concurrentRules
protected java.util.List<ConcurrentRule> concurrentRules
DependencyPairContainer
public DependencyPairContainer(GraGra gragra)
- Creates a new container for critical pairs.
- Parameters:
gragra
- The graph grammar.
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.