|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.xt_basis.GraGra
agg.xt_basis.SubGraGra
public class SubGraGra
Note: A lot of problems remain unsolved concerning the consistency maintenance of a subgragra:
Field Summary |
---|
Fields inherited from class agg.xt_basis.GraGra |
---|
comment, dirName, fileName, gratraOptions, itsAtomics, itsConstraints, itsGraph, itsGraphs, itsMatches, itsName, itsPackages, itsRules, itsStartGraph, ruleSequences, strategy, typeSet |
Constructor Summary | |
---|---|
protected |
SubGraGra(GraGra supergragra)
Deprecated. |
Method Summary | |
---|---|
void |
addMatch(SubMatch sm)
Deprecated. Pre: sm is submatch of a match of
getSuperGraGra() . |
void |
addRule(SubRule sr)
Deprecated. Pre: sr is subrule of a rule of
getSuperGraGra() . |
Match |
createMatch(Rule rule)
Deprecated. Create an empty match morphism between the left side of the given rule and my start graph. |
Rule |
createRule()
Deprecated. Create an empty rule. |
SubMatch |
createSubMatch(Rule subRule,
Match superMatch)
Deprecated. |
Type |
createType()
Deprecated. Create a new type for typing of GraphObjects. |
void |
destroyMatch(Match match)
Deprecated. Dispose the specified match. |
void |
destroyRule(Rule rule)
Deprecated. Dispose the specified rule. |
void |
destroyType(Type type)
Deprecated. Dispose the specified type. |
GraGra |
getSuperGraGra()
Deprecated. |
java.util.Enumeration<Type> |
getTypes()
Deprecated. Iterate through all of the types that may be assigned to GraphObjects. |
boolean |
removeMatch(Match sm)
Deprecated. |
boolean |
removeRule(Rule sr)
Deprecated. |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
protected SubGraGra(GraGra supergragra)
Method Detail |
---|
public final GraGra getSuperGraGra()
public Type createType()
GraGra
createType
in class GraGra
public java.util.Enumeration<Type> getTypes()
GraGra
Type
.
Type
public void destroyType(Type type) throws TypeException
GraGra
destroyType
in class GraGra
TypeException
public final Match createMatch(Rule rule)
GraGra
createMatch
in class GraGra
public final SubMatch createSubMatch(Rule subRule, Match superMatch)
public final void destroyMatch(Match match)
GraGra
destroyMatch
in class GraGra
public final Rule createRule()
GraGra
createRule
in class GraGra
public final void destroyRule(Rule rule)
GraGra
destroyRule
in class GraGra
public final void addMatch(SubMatch sm)
sm
is submatch of a match of
getSuperGraGra()
.
public final boolean removeMatch(Match sm)
public final void addRule(SubRule sr)
sr
is subrule of a rule of
getSuperGraGra()
.
public final boolean removeRule(Rule sr)
removeRule
in class GraGra
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |