|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.parser.ExcludePairHelper
public final class ExcludePairHelper
Constructor Summary | |
---|---|
ExcludePairHelper()
|
Method Summary | |
---|---|
protected void |
doReplaceConstantByInputParam(VarTuple vars,
java.util.Enumeration<?> en,
OrdinaryMorphism nac,
java.util.Hashtable<ValueMember,java.lang.String> var2const)
|
protected static java.util.Vector<ValueMember> |
findMemberWhichUsesVariable(java.lang.String variablenName,
GraphObject obj)
Searches in a graph object for a given variable name of the attributes. |
protected static java.util.Vector<ValueMember> |
getChangedAttributeMember(Rule r,
GraphObject leftObj)
Returns a set of all changed attribute members for a given graph object from the left-hand side of a rule. |
protected static java.util.Vector<Type> |
getForbiddenTypesRule2(Rule rule2,
java.util.Hashtable<ValueMember,Pair<java.lang.String,java.lang.String>> attrMember2Constant)
|
protected static Type |
getTypeWhenDifferentAttrValue(OrdinaryMorphism morph,
GraphObject imageObj,
java.util.Hashtable<ValueMember,Pair<java.lang.String,java.lang.String>> attrMember2Constant)
Returns the Type of the GraphObject imageObj if 1) it has not any inverse image of Morphism morph, or 2) it has an inverse image and an attr. member of it is in the Hashtable attrMember2Constant. |
protected static boolean |
graphSatisfiesTypeMaxMultiplicity(OrdinaryMorphism morph)
|
protected static boolean |
hasConstantValueOfAttribute(OrdinaryMorphism morph)
|
protected static boolean |
hasVariableInContext(OrdinaryMorphism morph)
|
protected static boolean |
isAttributeRestricted(Rule r,
GraphObject obj)
Returns true if the GraphObject obj has an attribute member with constant value or a variable which is used as an input parameter. |
protected static boolean |
isAttrMemberChangedFromLeftToRight(Rule rule1,
Rule rule2,
ValueMember changedLeftMemberOfRule1,
GraphObject lhsRule1Object,
GraphObject lhsRule2Object,
OrdinaryMorphism nacInsideOverlapGraph,
GraphObject overlapObject)
|
protected static boolean |
isAttrMemberChangedFromNACRule2ToRight(Rule rule1,
Rule rule2,
Pair<OrdinaryMorphism,OrdinaryMorphism> overlapping,
OrdinaryMorphism nacInsideOverlapGraph,
java.util.List<GraphObject> changedAttributesR1,
java.util.List<Type> forbiddenTypesR2,
java.util.Hashtable<ValueMember,Pair<java.lang.String,java.lang.String>> attrMember2Constant)
|
protected static boolean |
isAttrMemberChangedFromPACRule2ToRight(Rule rule1,
Rule rule2,
GraphObject l1Object,
GraphObject overlapObject,
Pair<OrdinaryMorphism,OrdinaryMorphism> helpPair)
|
static void |
renameContextVariableOfOverlapping(Rule r1,
Rule r2,
Pair<Pair<OrdinaryMorphism,OrdinaryMorphism>,Pair<OrdinaryMorphism,OrdinaryMorphism>> pair,
java.lang.String prefix1,
java.lang.String prefix2)
|
protected java.util.Hashtable<ValueMember,java.lang.String> |
replaceConstantByInputParam(Rule r,
java.util.Hashtable<ValueMember,java.lang.String> var2const)
|
protected void |
replaceInputParamByConstant(Rule r,
java.util.Hashtable<ValueMember,java.lang.String> var2const)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ExcludePairHelper()
Method Detail |
---|
protected static boolean graphSatisfiesTypeMaxMultiplicity(OrdinaryMorphism morph)
protected static boolean isAttrMemberChangedFromLeftToRight(Rule rule1, Rule rule2, ValueMember changedLeftMemberOfRule1, GraphObject lhsRule1Object, GraphObject lhsRule2Object, OrdinaryMorphism nacInsideOverlapGraph, GraphObject overlapObject)
protected static boolean isAttrMemberChangedFromPACRule2ToRight(Rule rule1, Rule rule2, GraphObject l1Object, GraphObject overlapObject, Pair<OrdinaryMorphism,OrdinaryMorphism> helpPair)
protected static boolean isAttrMemberChangedFromNACRule2ToRight(Rule rule1, Rule rule2, Pair<OrdinaryMorphism,OrdinaryMorphism> overlapping, OrdinaryMorphism nacInsideOverlapGraph, java.util.List<GraphObject> changedAttributesR1, java.util.List<Type> forbiddenTypesR2, java.util.Hashtable<ValueMember,Pair<java.lang.String,java.lang.String>> attrMember2Constant)
public static void renameContextVariableOfOverlapping(Rule r1, Rule r2, Pair<Pair<OrdinaryMorphism,OrdinaryMorphism>,Pair<OrdinaryMorphism,OrdinaryMorphism>> pair, java.lang.String prefix1, java.lang.String prefix2)
protected static java.util.Vector<ValueMember> findMemberWhichUsesVariable(java.lang.String variablenName, GraphObject obj)
name
- The name of the variablegrob
- The graph object to search in.
protected static java.util.Vector<Type> getForbiddenTypesRule2(Rule rule2, java.util.Hashtable<ValueMember,Pair<java.lang.String,java.lang.String>> attrMember2Constant)
protected static Type getTypeWhenDifferentAttrValue(OrdinaryMorphism morph, GraphObject imageObj, java.util.Hashtable<ValueMember,Pair<java.lang.String,java.lang.String>> attrMember2Constant)
morph
- OrdinaryMorphism to searchimageObj
- GraphObject to checkattrMember2Constant
- it contains Pairsprotected static java.util.Vector<ValueMember> getChangedAttributeMember(Rule r, GraphObject leftObj)
r
- The rule.goLeft
- A graph object of the rule which may contain attributes which
will be changed.
protected static boolean isAttributeRestricted(Rule r, GraphObject obj)
r
- obj
-
protected static boolean hasVariableInContext(OrdinaryMorphism morph)
protected static boolean hasConstantValueOfAttribute(OrdinaryMorphism morph)
protected java.util.Hashtable<ValueMember,java.lang.String> replaceConstantByInputParam(Rule r, java.util.Hashtable<ValueMember,java.lang.String> var2const)
protected void doReplaceConstantByInputParam(VarTuple vars, java.util.Enumeration<?> en, OrdinaryMorphism nac, java.util.Hashtable<ValueMember,java.lang.String> var2const)
protected void replaceInputParamByConstant(Rule r, java.util.Hashtable<ValueMember,java.lang.String> var2const)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |