|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.Observable
agg.util.ExtObservable
agg.xt_basis.OrdinaryMorphism
public class OrdinaryMorphism
Implementation of a graph morphism. Note: This implementation is guaranteed to keep morphism properties when objects are deleted/created/modified in the original or image graphs.
Field Summary | |
---|---|
protected static AttrContext |
cKeepContext
Use this constant as a parameter in my constructors or in the initialize() method to indicate that the attribute context
in question should not be altered. |
protected java.lang.String |
comment
|
protected boolean |
enabled
|
protected java.lang.String |
errorMsg
|
protected java.util.Vector<java.lang.String> |
errors
|
protected AttrContext |
itsAttrContext
|
protected AttrManager |
itsAttrManager
|
protected java.util.Dictionary<AttrInstance,AttrMapping> |
itsAttrMappings
|
protected java.util.Vector<GraphObject> |
itsCodomObjects
|
protected OrdinaryMorphism |
itsCoMorph
|
protected MorphCompletionStrategy |
itsCompleter
|
protected java.util.Vector<GraphObject> |
itsDomObjects
|
protected Graph |
itsImag
|
protected boolean |
itsInteractiveFlag
|
protected java.lang.String |
itsName
|
protected Graph |
itsOrig
|
protected boolean |
itsTouchedFlag
|
protected boolean |
partialMorphCompletion
|
protected boolean |
removeAttrMapping
|
protected boolean |
typeObjectsMapChanged
|
Constructor Summary | |
---|---|
protected |
OrdinaryMorphism()
|
protected |
OrdinaryMorphism(AttrContext ac)
|
protected |
OrdinaryMorphism(Graph orig,
Graph img)
|
|
OrdinaryMorphism(Graph orig,
Graph img,
AttrContext ac)
|
Method Summary | |
---|---|
void |
adaptAttrContextValues(AttrContext ac)
|
protected void |
addAttrMapping(AttrInstance o,
AttrInstance i)
|
void |
addChild2ParentMapping(GraphObject o,
GraphObject i)
Please note: This method is only for internal use of the critical pair analysis for grammars with node type inheritance. |
protected void |
addErrorMsg(java.lang.String msg)
|
void |
addMapping(GraphObject o,
GraphObject i)
Map an object of source graph to an object of target graph. |
void |
addMapping(GraphObject o,
GraphObject i,
boolean mappingPropagation)
Deprecated. please use addMapping(final GraphObject o, final GraphObject i) |
void |
addMapping(java.util.Vector<GraphObject> listOfGraphObjects)
This method tries to add morphism mapping between elements of my source graph and elements of the specified list. |
protected void |
addPlainMapping(GraphObject o,
GraphObject i)
|
void |
addToAttrContext(AttrContext ac)
|
void |
addToAttrContext(CondTuple conds)
|
void |
addToAttrContext(VarTuple vars)
|
boolean |
canComplete()
Return true if this morphism can be completed basically. |
boolean |
canMatch(Graph g,
MorphCompletionStrategy strategy)
Return true if my source graph can be a subgraph of the given graph g basically. |
protected boolean |
checkAll()
Check if the setting of the same attribute member of the original and image graph objects are equal. |
boolean |
checkConstants()
Check if the constant value of the same attribute member * of the original and image graphobjects are equal. |
TypeError |
checkCreateMapping(Arc src,
Arc tar)
Returns null if the source and target nodes of the specified edges are already mapped and the type compatibility of these two edges is satisfied, otherwise - an error. |
TypeError |
checkCreateMapping(Node src,
Node tar)
Returns an error if the type compatibility of the specified nodes failed, otherwise - null. |
protected void |
checkEdgeSourceTargetCompatibility(GraphObject orig,
GraphObject image)
|
protected boolean |
checkType(Type orig,
Type image)
|
boolean |
checkVariables()
Check if the variable of the same attribute member * of the original and image graphobjects are equal. |
void |
clear()
Remove all mappings and unset all variables of its attribute context. |
void |
clearErrorMsg()
|
boolean |
compareTo(OrdinaryMorphism morph)
|
OrdinaryMorphism |
completeDiagram(OrdinaryMorphism input)
Given an input morphism: starting at the original graph of the current morphism, a new morphism is created between both IMAGES such that the diagram commutes. |
boolean |
completeDiagram(OrdinaryMorphism input,
OrdinaryMorphism output)
Given an input morphism: starting at the original graph of this morphism and the output morphism between IMAGES of the input and this morphism. |
OrdinaryMorphism |
compose(OrdinaryMorphism input)
Construct the composition of the owner-morphism and the input morphism. |
void |
copyAttrContext(AttrContext other)
|
protected void |
deleteTransientContextVariables(Graph g)
|
void |
disableUnusedAttrCondition()
Disable an attr. condition a variable inside is not declared in the variable tuple of this morphism. |
void |
dispose()
Remove all graph object mappings and all relations to its source and target graphs. |
void |
dispose(boolean disposableSource,
boolean disposableTarget)
Remove all graph object mappings and all relations to its source and target graphs. |
boolean |
doCompose(OrdinaryMorphism morph1,
OrdinaryMorphism morph2)
Construct the composition of the morph1 and morph2 morphisms, where its source graph is the source graph of the morph1 and its target graph is the target graph of the morph2. |
boolean |
doComposeInherit(OrdinaryMorphism morph1,
OrdinaryMorphism morph2)
|
void |
enableUnusedAttrCondition()
|
void |
fillUpAttrContext(AttrContext other)
|
void |
fillUpImageAttrs()
Iff the value of an attribute member of the image graphobject is unset or is a variable, fill up the value of such attribute member with the value (it should be a constant value) of the same attribute member of the original graphobject. |
void |
fillUpOriginalAttrs()
If the value of an attribute member of the original graphobject is unset or is a variable, fill up such attribute value with the value (it should be a constant value) of the same attribute member of the image graphobject. |
AttrContext |
getAttrContext()
Return the attribute context that is used for attribute matching. |
AttrManager |
getAttrManager()
|
java.util.Enumeration<GraphObject> |
getCodomain()
Return the objects of my target graph which are actually taking part in the current morphism mappings. |
java.util.Vector<GraphObject> |
getCodomainObjects()
|
OrdinaryMorphism |
getCoMorphism()
|
MorphCompletionStrategy |
getCompletionStrategy()
|
java.util.Enumeration<GraphObject> |
getDomain()
Return the objects of my source graph which are actually taking part in the current morphism mappings. |
java.util.Vector<GraphObject> |
getDomainObjects()
|
java.util.Vector<GraphObject> |
getElementsToCreate()
|
java.util.Vector<GraphObject> |
getElementsToDelete()
|
java.lang.String |
getErrorMsg()
Return an error message if this morphism is failed, otherwise - empty message. |
Graph |
getImage()
Return its target graph. |
GraphObject |
getImage(GraphObject o)
Return the image of the specified object. |
java.util.Enumeration<GraphObject> |
getInverseImage(GraphObject o)
Return an Enumeration of the inverse images of the specified object. * Enumeration will be empty when the object is not in codomain. * Enumeration elements are of type GraphObject . |
java.util.List<GraphObject> |
getInverseImageList(GraphObject o)
|
java.lang.String |
getName()
Return my name. |
Graph |
getOriginal()
Return its source graph. |
java.util.Enumeration<Pair<OrdinaryMorphism,OrdinaryMorphism>> |
getOverlappings(java.lang.Object other,
boolean left,
boolean union)
Computes an overlapping set of the graphs: - this.source with other.source if other instance of OrdinaryMorphism and left is true, or - this.target with other.target if other instance of OrdinaryMorphism and left is false, or - this.sorce with other if other instance of Graph and left is true, or - this.target with other if other instance of Graph and left is false, or with respect of the rules if this and other are instances of Rule. |
java.util.Enumeration<Pair<OrdinaryMorphism,OrdinaryMorphism>> |
getOverlappings(java.lang.Object other,
boolean left,
int sizeOfInclusions,
boolean union)
Computes an overlapping set of the graphs: - this.source with other.source if other instance of OrdinaryMorphism and left is true, or - this.target with other.target if other instance of OrdinaryMorphism and left is false, or - this.sorce with other if other instance of Graph and left is true, or - this.target with other if other instance of Graph and left is false, or with respect of the rules if this and other are instances of Rule. |
java.util.Vector<Pair<OrdinaryMorphism,OrdinaryMorphism>> |
getOverlappingsVector(java.lang.Object other,
boolean left,
boolean union)
|
java.util.Vector<Pair<OrdinaryMorphism,OrdinaryMorphism>> |
getOverlappingsVector(java.lang.Object otherObj,
boolean left,
int sizeOfInclusions,
boolean union)
|
int |
getSize()
|
Graph |
getSource()
Return its source graph. |
Graph |
getTarget()
Return its target graph. |
java.lang.String |
getTextualComment()
Return textual comments of this morphism. |
java.util.Hashtable<VarMember,java.util.Vector<Pair<ValueMember,Type>>> |
getUsageOfInputParameters(AttrContext attrContext)
|
java.util.Vector<Type> |
getUsedTypes()
|
java.util.Vector<Pair<java.lang.String,java.lang.String>> |
getVariableDeclarations()
Returns a vector with variable declarations used in LHS and RHS of this graph morphism. |
java.util.Enumeration<GraphObject> |
intersectCoDomains(OrdinaryMorphism input)
|
OrdinaryMorphism |
invert()
swop domain and range <--->, if possible |
boolean |
isBijective()
|
java.lang.String |
isClassName(java.lang.String name)
|
boolean |
isCommutative(Morphism anOther)
|
boolean |
isEmpty()
Return true if its morphism mapping is empty, otherwise - false. |
boolean |
isEnabled()
Returns TRUE if this morphism is usable during transformation otherwise FALSE. |
boolean |
isInjective()
|
boolean |
isIsomorphicTo(OrdinaryMorphism h)
|
boolean |
isIsomorphicTo(OrdinaryMorphism h,
OrdinaryMorphism targetIso)
|
boolean |
isMappingChanged()
|
boolean |
isNotificationRequired()
|
boolean |
isPartial()
Return true if this is a partial morphism. |
boolean |
isPartialIsomorphicTo(OrdinaryMorphism h)
|
boolean |
isPartialMorphismCompletion()
|
boolean |
isSurjective()
|
boolean |
isTotal()
Return true if this is a total morphism. |
boolean |
isTypeObjectsMapChanged()
|
void |
makeAttributeContext()
|
boolean |
makeDiagram(OrdinaryMorphism theFirst,
OrdinaryMorphism theSecond)
The current (this) morphism takes two morphisms, such that: this.source == theFirst.target, this.target == theSecond.target as input and this morphism will be completed so that: theFirst o this = theSecond . |
boolean |
makeDiagram(OrdinaryMorphism theFirst,
OrdinaryMorphism theSecond,
OrdinaryMorphism theThird)
The current (this) morphism takes three morphisms, such that: this.source == theFirst.target, theSecond.source == theFirst.source, theThird.source == theSecond.target, this.target == theThird.target as input and this morphism will be completed so that the diagram comutes: theFirst o this == theSecond o theThird . |
boolean |
makeFullDiagram(OrdinaryMorphism theFirst,
OrdinaryMorphism theSecond)
makeFullDiagram: fuer DISAGG Der vorliegende Homomorphismus (this) nimmt zwei weitere (theFirst, theSecond) als Input und wird selbst so vervollstaendigt, dass theFirst o this = theSecond |
boolean |
makeFullDiagram(OrdinaryMorphism theFirst,
OrdinaryMorphism theSecond,
OrdinaryMorphism theThird)
makeFullDiagram: fuer DISAGG Der vorliegende Homomorphismus (this) nimmt drei weitere (theFirst, theSecond, theThird) als Input und wird selbst so vervollstaendigt, dass Diagramm kommutiert. |
Match |
makeMatch(Rule rule)
Construct a Match of the specified Rule from this morphism . |
boolean |
makeWeakDiagram(OrdinaryMorphism theFirst,
OrdinaryMorphism theSecond)
makeWeakDiagram: fuer DISAGG Der vorliegende Homomorphismus (this) nimmt zwei weitere (theFirst, theSecond) als Input und wird selbst so vervollstaendigt, dass theFirst o this <= theSecond |
boolean |
makeWeakDiagram(OrdinaryMorphism theFirst,
OrdinaryMorphism theSecond,
OrdinaryMorphism theThird)
makeWeakDiagram: fuer DISAGG Der vorliegende Homomorphismus (this) nimmt drei weitere (theFirst, theSecond, theThird) als Input und wird selbst so vervollstaendigt, dass Diagramm schwach kommutiert. |
OrdinaryMorphism |
morphcopy()
Make a copy of the source graph, copy of the target graph, and the homomorphism on both graphs. |
boolean |
nextCompletion()
Compute next completion: * Invoke this method successively to get all completions. |
boolean |
nextCompletion(java.util.Enumeration<Node> varnodes,
java.util.Enumeration<Arc> varedges)
Compute next completion: * Invoke this method successively to get all completions for the nodes and edges specified by the Vector varnodes and Vector varedges, only. |
boolean |
nextCompletionWithConstantsAndVariablesChecking()
Compute next completion: * Invoke this method successively to get all completions |
boolean |
nextCompletionWithConstantsAndVariablesChecking(java.util.Enumeration<Node> varnodes,
java.util.Enumeration<Arc> varedges)
Compute next completion: * Invoke this method successively to get all completions |
boolean |
nextCompletionWithConstantsChecking()
Compute next completion: * Invoke this method successively to get all completions |
boolean |
nextCompletionWithConstantsChecking(java.util.Enumeration<Node> varnodes,
java.util.Enumeration<Arc> varedges)
Compute next completion: * Invoke this method successively to get all completions |
java.util.Enumeration<GraphObject> |
nonMappedImages()
|
java.util.Enumeration<GraphObject> |
nonMappedOriginals()
|
protected void |
propagateChange(Change ch)
|
void |
readMorphism(XMLHelper h)
|
void |
removeAllMappings()
|
protected void |
removeAttrMapping(AttrInstance o)
|
void |
removeAttrMappings()
|
boolean |
removeMapping(Arc src,
Arc tar)
Returns TRUE if removed, otherwise - FALSE. |
void |
removeMapping(GraphObject o)
Remove the mapping of a given GraphObject. |
boolean |
removeMapping(Node src,
Node tar)
Returns TRUE if removed, otherwise - FALSE |
void |
removeUnusedVariableOfAttrContext()
|
void |
removeVariableValue(AttrInstance o)
|
void |
resetCSPVariableDomainOf(GraphObject go)
This method should be used after the method removeMapping(GraphObject go) called and befor the method
nextCompletion(Enumeration varnodes, Enumeration varedges)
performed. |
void |
setAttrContext(AttrContext ac)
Set the attribute context that is used for attribute matching. |
void |
setChanged()
|
void |
setCoMorphism(OrdinaryMorphism aCoMorph)
|
void |
setCompletionStrategy(MorphCompletionStrategy s)
|
void |
setCompletionStrategy(MorphCompletionStrategy s,
boolean rewrite)
|
void |
setEnabled(boolean enable)
Enable or disable this morphism to make it usable during transformation. |
void |
setName(java.lang.String n)
Set my name. |
void |
setPartialMorphismCompletion(boolean b)
|
void |
setSource(Graph g)
|
void |
setTarget(Graph g)
|
void |
setTextualComment(java.lang.String text)
Set textual comments for this morphism. |
void |
setTypeObjectsMapChanged(boolean b)
|
OrdinaryMorphism |
simplecopy()
|
void |
unsetCompletionStrategy()
|
void |
unsetOriginalAttrsIfExpression()
Iff the value of an attribute member of the original graphobject is an expression, unset it. |
void |
updateAttrMappings()
|
void |
writeMorphism(XMLHelper h)
|
Methods inherited from class agg.util.ExtObservable |
---|
finalize |
Methods inherited from class java.util.Observable |
---|
addObserver, clearChanged, countObservers, deleteObserver, deleteObservers, hasChanged, notifyObservers, notifyObservers |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected java.lang.String comment
protected MorphCompletionStrategy itsCompleter
protected java.util.Dictionary<AttrInstance,AttrMapping> itsAttrMappings
protected AttrContext itsAttrContext
protected AttrManager itsAttrManager
protected boolean itsTouchedFlag
protected boolean itsInteractiveFlag
protected Graph itsOrig
protected Graph itsImag
protected final java.util.Vector<GraphObject> itsDomObjects
protected final java.util.Vector<GraphObject> itsCodomObjects
protected java.lang.String itsName
protected OrdinaryMorphism itsCoMorph
protected java.lang.String errorMsg
protected java.util.Vector<java.lang.String> errors
protected boolean enabled
protected boolean typeObjectsMapChanged
protected boolean partialMorphCompletion
protected static final AttrContext cKeepContext
initialize()
method to indicate that the attribute context
in question should not be altered.
protected boolean removeAttrMapping
Constructor Detail |
---|
protected OrdinaryMorphism()
protected OrdinaryMorphism(AttrContext ac)
ac
- my attribute context.protected OrdinaryMorphism(Graph orig, Graph img)
orig
- my original graph.img
- my image graph.public OrdinaryMorphism(Graph orig, Graph img, AttrContext ac)
orig
- my original graph.img
- my image graph.ac
- my attribute context.Method Detail |
---|
public boolean isNotificationRequired()
public void setTarget(Graph g)
public void setSource(Graph g)
public boolean isTypeObjectsMapChanged()
public void setTypeObjectsMapChanged(boolean b)
public boolean isPartialMorphismCompletion()
public void setPartialMorphismCompletion(boolean b)
public void setEnabled(boolean enable)
public boolean isEnabled()
public java.lang.String getErrorMsg()
protected void addErrorMsg(java.lang.String msg)
public void clearErrorMsg()
public final boolean isCommutative(Morphism anOther)
public Match makeMatch(Rule rule)
public OrdinaryMorphism morphcopy()
public boolean makeDiagram(OrdinaryMorphism theFirst, OrdinaryMorphism theSecond)
public boolean makeWeakDiagram(OrdinaryMorphism theFirst, OrdinaryMorphism theSecond)
public boolean makeFullDiagram(OrdinaryMorphism theFirst, OrdinaryMorphism theSecond)
public boolean makeDiagram(OrdinaryMorphism theFirst, OrdinaryMorphism theSecond, OrdinaryMorphism theThird)
public boolean makeWeakDiagram(OrdinaryMorphism theFirst, OrdinaryMorphism theSecond, OrdinaryMorphism theThird)
public boolean makeFullDiagram(OrdinaryMorphism theFirst, OrdinaryMorphism theSecond, OrdinaryMorphism theThird)
public void dispose()
dispose
in interface Disposable
dispose
in class ExtObservable
Change_ObservableGone
public void dispose(boolean disposableSource, boolean disposableTarget)
public final void setName(java.lang.String n)
Morphism
setName
in interface Morphism
public final java.lang.String getName()
Morphism
getName
in interface Morphism
public void setTextualComment(java.lang.String text)
public java.lang.String getTextualComment()
public void addMapping(java.util.Vector<GraphObject> listOfGraphObjects) throws BadMappingException
BadMappingException
public TypeError checkCreateMapping(Node src, Node tar)
public TypeError checkCreateMapping(Arc src, Arc tar)
public void addChild2ParentMapping(GraphObject o, GraphObject i) throws BadMappingException
o
- is a child nodei
- is a parent node
BadMappingException
public void addMapping(GraphObject o, GraphObject i) throws BadMappingException
Pre:
o
is an element of getOriginal()
. *
i
is an element of getImage()
. *
o
- the source object of the mapping. *i
- the target object of the mapping. *
BadMappingException
- if the given mapping violates morphism properties. *public void addMapping(GraphObject o, GraphObject i, boolean mappingPropagation) throws BadMappingException
addMapping(final GraphObject o, final GraphObject i)
Pre:
o
is an element of getOriginal()
. *
i
is an element of getImage()
. *
o
- the source object of the mapping. *i
- the target object of the mapping. *
BadMappingException
- if the given mapping violates morphism properties.protected void addPlainMapping(GraphObject o, GraphObject i) throws BadMappingException
BadMappingException
protected boolean checkType(Type orig, Type image)
protected void checkEdgeSourceTargetCompatibility(GraphObject orig, GraphObject image) throws BadMappingException
BadMappingException
protected void addAttrMapping(AttrInstance o, AttrInstance i) throws BadMappingException
BadMappingException
protected void removeAttrMapping(AttrInstance o)
public void removeVariableValue(AttrInstance o)
public void updateAttrMappings()
public void resetCSPVariableDomainOf(GraphObject go)
removeMapping(GraphObject go)
called and befor the method
nextCompletion(Enumeration varnodes, Enumeration varedges)
performed.
go
- is an element of my source graphpublic void removeAllMappings()
public boolean removeMapping(Node src, Node tar)
public boolean removeMapping(Arc src, Arc tar)
public void removeMapping(GraphObject o)
Pre:
Pre: getImage(o) != null
*
public void clear()
public void removeAttrMappings()
public boolean isEmpty()
public Graph getOriginal()
getOriginal
in interface Morphism
public Graph getSource()
public Graph getImage()
getImage
in interface Morphism
public Graph getTarget()
public java.util.Vector<GraphObject> getDomainObjects()
public java.util.Enumeration<GraphObject> getDomain()
getDomain
in interface Morphism
GraphObject
public java.util.Enumeration<GraphObject> getCodomain()
getCodomain
in interface Morphism
GraphObject
public java.util.Vector<GraphObject> getCodomainObjects()
public GraphObject getImage(GraphObject o)
getImage
in interface Morphism
null
if the object is not in domain.*public java.util.Enumeration<GraphObject> getInverseImage(GraphObject o)
GraphObject
.
getInverseImage
in interface Morphism
GraphObject
public java.util.List<GraphObject> getInverseImageList(GraphObject o)
public java.util.Vector<GraphObject> getElementsToCreate()
public java.util.Vector<GraphObject> getElementsToDelete()
public final void setCompletionStrategy(MorphCompletionStrategy s, boolean rewrite)
public final void setCompletionStrategy(MorphCompletionStrategy s)
public final MorphCompletionStrategy getCompletionStrategy()
public void unsetCompletionStrategy()
public boolean canMatch(Graph g, MorphCompletionStrategy strategy)
public boolean canComplete()
public boolean isMappingChanged()
public boolean nextCompletion()
false
if there are no more completions.*public boolean nextCompletion(java.util.Enumeration<Node> varnodes, java.util.Enumeration<Arc> varedges)
false
if there are no more completions.*public boolean nextCompletionWithConstantsChecking(java.util.Enumeration<Node> varnodes, java.util.Enumeration<Arc> varedges)
false
if there are no more completions.public boolean nextCompletionWithConstantsAndVariablesChecking(java.util.Enumeration<Node> varnodes, java.util.Enumeration<Arc> varedges)
false
if there are no more completions.public boolean nextCompletionWithConstantsChecking()
false
if there are no more completions.public boolean nextCompletionWithConstantsAndVariablesChecking()
false
if there are no more completions.public final boolean isTotal()
true
if this is a total morphism.
isTotal
in interface Morphism
public AttrContext getAttrContext()
AttrContext
public void setAttrContext(AttrContext ac)
AttrContext
public void adaptAttrContextValues(AttrContext ac)
public void addToAttrContext(VarTuple vars)
public void addToAttrContext(CondTuple conds)
public void addToAttrContext(AttrContext ac)
public final AttrManager getAttrManager()
public void setChanged()
setChanged
in class ExtObservable
public void writeMorphism(XMLHelper h)
public void readMorphism(XMLHelper h)
public OrdinaryMorphism invert()
public OrdinaryMorphism simplecopy()
public boolean isIsomorphicTo(OrdinaryMorphism h)
public boolean isIsomorphicTo(OrdinaryMorphism h, OrdinaryMorphism targetIso)
public boolean isPartial()
true
if this is a partial morphism.
public boolean isPartialIsomorphicTo(OrdinaryMorphism h)
public boolean isSurjective()
public boolean isInjective()
public boolean isBijective()
public java.util.Enumeration<GraphObject> nonMappedOriginals()
public java.util.Enumeration<GraphObject> nonMappedImages()
public OrdinaryMorphism compose(OrdinaryMorphism input)
public boolean doCompose(OrdinaryMorphism morph1, OrdinaryMorphism morph2)
public boolean doComposeInherit(OrdinaryMorphism morph1, OrdinaryMorphism morph2)
public OrdinaryMorphism completeDiagram(OrdinaryMorphism input)
public boolean completeDiagram(OrdinaryMorphism input, OrdinaryMorphism output)
public java.util.Enumeration<GraphObject> intersectCoDomains(OrdinaryMorphism input)
public boolean checkConstants()
public boolean checkVariables()
protected boolean checkAll()
public void makeAttributeContext()
public void fillUpOriginalAttrs()
public void fillUpImageAttrs()
public void unsetOriginalAttrsIfExpression()
public void fillUpAttrContext(AttrContext other)
public void copyAttrContext(AttrContext other)
public java.util.Hashtable<VarMember,java.util.Vector<Pair<ValueMember,Type>>> getUsageOfInputParameters(AttrContext attrContext)
public java.util.Enumeration<Pair<OrdinaryMorphism,OrdinaryMorphism>> getOverlappings(java.lang.Object other, boolean left, boolean union)
union
- If true - the overlappings contain disjunion, too. Enumeration
elements are of type Pair
.
public java.util.Vector<Pair<OrdinaryMorphism,OrdinaryMorphism>> getOverlappingsVector(java.lang.Object other, boolean left, boolean union)
public java.util.Enumeration<Pair<OrdinaryMorphism,OrdinaryMorphism>> getOverlappings(java.lang.Object other, boolean left, int sizeOfInclusions, boolean union)
sizeOfInclusions
- The size of graph object inclusions.union
- If true - the overlappings contain disjunion, too. Enumeration
elements are of type Pair
.
Pair
public java.util.Vector<Pair<OrdinaryMorphism,OrdinaryMorphism>> getOverlappingsVector(java.lang.Object otherObj, boolean left, int sizeOfInclusions, boolean union)
public void setCoMorphism(OrdinaryMorphism aCoMorph)
public OrdinaryMorphism getCoMorphism()
protected void deleteTransientContextVariables(Graph g)
public int getSize()
public boolean compareTo(OrdinaryMorphism morph)
public java.util.Vector<Pair<java.lang.String,java.lang.String>> getVariableDeclarations()
The first element is a type, the second
element is a name of a variable declaration, both elements are of
the type String.
public java.lang.String isClassName(java.lang.String name)
public java.util.Vector<Type> getUsedTypes()
protected final void propagateChange(Change ch)
public void disableUnusedAttrCondition()
attrContext
- public void enableUnusedAttrCondition()
public void removeUnusedVariableOfAttrContext()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |