|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface MorphismMap
The implementation or "formula" of a morphism. Every morphism contains such a map.
Method Summary | |
---|---|
MorphismMap |
at(ModuleElement element)
Evaluates the map at an element. |
MorphismMap |
changeAddress(Module address)
Makes an address change. |
MorphismMap |
changeAddress(ModuleMorphism morphism)
Makes an address change using a module morphism. |
java.lang.Object |
clone()
Returns a deep copy of this MorphismMap. |
int |
compareTo(MorphismMap object)
|
MorphismMap |
copy()
Returns a deep copy of this MorphismMap. |
boolean |
fullEquals(MorphismMap m,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
java.util.LinkedList<Denotator> |
getDenotatorDependencies(java.util.LinkedList<Denotator> list)
|
java.util.LinkedList<Form> |
getFormDependencies(java.util.LinkedList<Form> list)
|
int |
hashCode()
Every morphism map must have a hash function. |
boolean |
resolveReferences(RubatoDictionary dict,
java.util.IdentityHashMap<?,?> history)
|
Methods inherited from interface org.rubato.xml.XMLInputOutput |
---|
fromXML, getElementTypeName, toXML |
Method Detail |
---|
MorphismMap at(ModuleElement element) throws MappingException
element
- evaluate at this element
MappingException
- if mapping failsjava.lang.Object clone()
MorphismMap copy()
int compareTo(MorphismMap object)
compareTo
in interface java.lang.Comparable<MorphismMap>
MorphismMap changeAddress(Module address)
address
- the new address of the denotator
newAddress
or null if address changed failsMorphismMap changeAddress(ModuleMorphism morphism)
morphism
- the address changing morphism
int hashCode()
hashCode
in class java.lang.Object
boolean fullEquals(MorphismMap m, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
java.util.LinkedList<Form> getFormDependencies(java.util.LinkedList<Form> list)
java.util.LinkedList<Denotator> getDenotatorDependencies(java.util.LinkedList<Denotator> list)
boolean resolveReferences(RubatoDictionary dict, java.util.IdentityHashMap<?,?> history)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |