|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.xt_basis.BaseFactory
public class BaseFactory
A factory class for Graphs, Morphisms, Rules, Matches.
Field Summary | |
---|---|
protected static BaseFactory |
theBaseFactory
|
Constructor Summary | |
---|---|
BaseFactory()
|
Method Summary | |
---|---|
Graph |
cloneGraph(Graph graph)
Returns a clone of the graph. |
Rule |
cloneRule(Rule rule)
Returns a clone of the rule. |
Rule |
cloneRule(Rule rule,
TypeSet types)
Returns a clone of the rule using specified types. |
Pair<Rule,Pair<OrdinaryMorphism,OrdinaryMorphism>> |
constructIsomorphicRule(OrdinaryMorphism h)
Construct a rule r out of the given morphism h. |
Pair<Rule,Pair<OrdinaryMorphism,OrdinaryMorphism>> |
constructIsomorphicRule(OrdinaryMorphism h,
boolean replaceExpressionByVar,
boolean replaceConstantByVar)
Construct a rule r out of the given morphism h. |
Rule |
constructRule(OrdinaryMorphism h)
Construct a new rule from the given morphism h. |
Rule |
constructRuleFromMorph(OrdinaryMorphism h)
Construct a new rule from the given morphism h. |
AtomConstraint |
createAtomic(TypeSet types,
java.lang.String name)
Create an parent atomic to construct an atomic graph constraint. |
GraGra |
createGraGra()
Create a new gragra with its own type set and a host graph inclusive. |
GraGra |
createGraGra(boolean withGraph)
Create a new gragra with its own type set and a host graph optionally. |
Graph |
createGraph()
|
Graph |
createGraph(TypeSet types)
|
GraTra |
createGraTra()
Create a new graphtransformation unit GraTra |
Match |
createMatch(Rule rule,
Graph graph)
Create an empty match morphism between the left side of the given rule and my start graph. |
Match |
createMatch(Rule rule,
Graph graph,
boolean implicit)
Create an empty match between the left side of the given rule and a start graph. |
Match |
createMatch(Rule rule,
Graph graph,
boolean implicit,
java.lang.String helpMarkOfVars)
Create an empty match between the left side of the given rule and a start graph. |
OrdinaryMorphism |
createMatchfromMorph(OrdinaryMorphism base,
AttrContext base_context)
|
boolean |
createMatchfromMorph(OrdinaryMorphism baseMorph,
OrdinaryMorphism targetMatch,
AttrContext base_context)
|
OrdinaryMorphism |
createMorphfromMorph(OrdinaryMorphism base,
AttrContext base_context)
|
OrdinaryMorphism |
createMorphism(Graph orig,
Graph img)
Create an ordinary morphism. |
OrdinaryMorphism |
createMorphism(Graph orig,
Graph img,
boolean implicit)
Create an ordinary morphism. |
OrdinaryMorphism |
createMorphism(Graph orig,
Graph img,
boolean implicit,
java.lang.String helpMarkOfVars)
Create an ordinary morphism. |
TypeSet |
createTypeSet()
|
VarMember |
declareVariable(AttrHandler attrHandler,
java.lang.String typeName,
java.lang.String name,
VarTuple tuple)
|
void |
declareVariable(Graph g,
VarTuple tuple)
Adds nondeclared variable of attributes to the specified variable tuple. |
void |
destroyGraGra(GraGra gg)
Dispose the specified gragra and remove from the gragra list. |
void |
destroyGraph(Graph graph)
Dispose the specified graph. |
void |
destroyMatch(OrdinaryMorphism match)
Dispose the specified match morphism. |
void |
destroyMorphism(OrdinaryMorphism morph)
Dispose the specified morphism. |
void |
extendAttrContextVariableByPrefix(Rule rule,
java.lang.String prefix,
java.lang.String oppositePrefix)
|
OrdinaryMorphism |
extendGraphByGraph(Graph gToExtend,
Graph g)
|
protected OrdinaryMorphism |
extendLeftGraphByNAC(OrdinaryMorphism isoLeft,
OrdinaryMorphism nac)
|
Pair<OrdinaryMorphism,OrdinaryMorphism> |
extendLeftGraphByNAC(Rule r,
OrdinaryMorphism nac)
|
Pair<OrdinaryMorphism,OrdinaryMorphism> |
extendRightGraphByNAC(Rule r,
OrdinaryMorphism nacL)
|
int |
getCountOfGraGras()
|
java.util.Enumeration<GraGra> |
getGraGras()
|
Pair<Rule,Pair<OrdinaryMorphism,OrdinaryMorphism>> |
makeAbstractInverseRule(Rule r)
Make abstract inverse rule : R -> L That means: - copy RHS to LHS of the result rule, - copy LHS to RHS of the result rule, - convert rule morphism, - replace attr. expression of RHS by variable, - attr. conditions will be ignored, - NACs will be ignored. |
Pair<Rule,Pair<OrdinaryMorphism,OrdinaryMorphism>> |
makeInverseRule(Rule r)
Make abstract inverse rule : R -> L. |
Match |
makeMatch(Rule rule,
OrdinaryMorphism morph)
Makes a match for a rule and a morphism from the left hand side to a graph. |
Match |
makeMatch(Rule rule,
OrdinaryMorphism morph,
java.lang.String helpMarkOfVars)
Makes a match for a rule and a morphism from the left hand side of a rule to the target graph of a morphism. |
void |
notify(GraGra gg)
|
void |
removeGraGra(GraGra gg)
Remove the specified gragra from the gragra list. |
void |
renameSimilarVariable(OrdinaryMorphism m1,
OrdinaryMorphism m2)
Rename variable in the attribute context of the OrdinaryMorphism m2, if a similar variable is already used in the attribute context of the OrdinaryMorphism m1. |
void |
renameSimilarVariable(Rule r1,
Rule r2)
Rename variable in the attribute context of the Rule r2, if a similar variable is already used in the attribute context of the Rule r1. |
void |
renameVariableOfCondition(CondTuple conds,
java.lang.String from,
java.lang.String to)
|
void |
renameVariableOfExpression(ValueTuple value,
java.lang.String from,
java.lang.String to)
|
static BaseFactory |
theFactory()
|
void |
trimAttrContextVariableByPrefix(Rule rule,
java.lang.String prefix,
java.lang.String oppositePrefix)
|
void |
unsetAllTransientAttrValuesOfRule(Rule r)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static BaseFactory theBaseFactory
Constructor Detail |
---|
public BaseFactory()
Method Detail |
---|
public static BaseFactory theFactory()
public GraGra createGraGra()
public GraGra createGraGra(boolean withGraph)
public void destroyGraGra(GraGra gg)
public void removeGraGra(GraGra gg)
public java.util.Enumeration<GraGra> getGraGras()
public int getCountOfGraGras()
public void notify(GraGra gg)
public GraTra createGraTra()
public final Graph createGraph()
public final Graph createGraph(TypeSet types)
public final TypeSet createTypeSet()
public final void destroyGraph(Graph graph)
public Rule constructRuleFromMorph(OrdinaryMorphism h)
public Pair<Rule,Pair<OrdinaryMorphism,OrdinaryMorphism>> constructIsomorphicRule(OrdinaryMorphism h)
public Pair<Rule,Pair<OrdinaryMorphism,OrdinaryMorphism>> constructIsomorphicRule(OrdinaryMorphism h, boolean replaceExpressionByVar, boolean replaceConstantByVar)
public Rule constructRule(OrdinaryMorphism h)
public Pair<Rule,Pair<OrdinaryMorphism,OrdinaryMorphism>> makeAbstractInverseRule(Rule r)
public Pair<Rule,Pair<OrdinaryMorphism,OrdinaryMorphism>> makeInverseRule(Rule r)
public Pair<OrdinaryMorphism,OrdinaryMorphism> extendRightGraphByNAC(Rule r, OrdinaryMorphism nacL)
public Pair<OrdinaryMorphism,OrdinaryMorphism> extendLeftGraphByNAC(Rule r, OrdinaryMorphism nac)
protected OrdinaryMorphism extendLeftGraphByNAC(OrdinaryMorphism isoLeft, OrdinaryMorphism nac)
public void unsetAllTransientAttrValuesOfRule(Rule r)
public Graph cloneGraph(Graph graph)
public Rule cloneRule(Rule rule)
public Rule cloneRule(Rule rule, TypeSet types)
public OrdinaryMorphism extendGraphByGraph(Graph gToExtend, Graph g) throws java.lang.Exception
java.lang.Exception
public final AtomConstraint createAtomic(TypeSet types, java.lang.String name)
public final OrdinaryMorphism createMorphism(Graph orig, Graph img)
public final OrdinaryMorphism createMorphism(Graph orig, Graph img, boolean implicit)
orig
- The original graph.img
- The image graph.implicit
- If true, all unset attributes of the target graph will get a
variable as value.
public final OrdinaryMorphism createMorphism(Graph orig, Graph img, boolean implicit, java.lang.String helpMarkOfVars)
orig
- The original graph.img
- The image graph.implicit
- If true, all unset attributes of the target graph will get a
variable as value.helpMarkOfVars
- The help name of the implicitly set variables.
public VarMember declareVariable(AttrHandler attrHandler, java.lang.String typeName, java.lang.String name, VarTuple tuple)
public void declareVariable(Graph g, VarTuple tuple)
g
- graph which nodes and edges are searched for nondeclared variablestuple
- variable tuple to declare new variablespublic final OrdinaryMorphism createMatchfromMorph(OrdinaryMorphism base, AttrContext base_context)
public final boolean createMatchfromMorph(OrdinaryMorphism baseMorph, OrdinaryMorphism targetMatch, AttrContext base_context)
public final OrdinaryMorphism createMorphfromMorph(OrdinaryMorphism base, AttrContext base_context)
public final void destroyMorphism(OrdinaryMorphism morph)
public final Match createMatch(Rule rule, Graph graph)
rule
- The rule.graph
- The graph.
public final Match createMatch(Rule rule, Graph graph, boolean implicit)
rule
- The rule.graph
- The graph.
public final Match createMatch(Rule rule, Graph graph, boolean implicit, java.lang.String helpMarkOfVars)
rule
- The rule.graph
- The graph.
public Match makeMatch(Rule rule, OrdinaryMorphism morph)
rule
- The rule.morph
- The morphism.
public Match makeMatch(Rule rule, OrdinaryMorphism morph, java.lang.String helpMarkOfVars)
rule
- The rule.morph
- The morphism.
public final void destroyMatch(OrdinaryMorphism match)
public void extendAttrContextVariableByPrefix(Rule rule, java.lang.String prefix, java.lang.String oppositePrefix)
public void trimAttrContextVariableByPrefix(Rule rule, java.lang.String prefix, java.lang.String oppositePrefix)
public void renameSimilarVariable(Rule r1, Rule r2)
public void renameSimilarVariable(OrdinaryMorphism m1, OrdinaryMorphism m2)
public void renameVariableOfCondition(CondTuple conds, java.lang.String from, java.lang.String to)
public void renameVariableOfExpression(ValueTuple value, java.lang.String from, java.lang.String to)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |