|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.IndexMorphismMap
public final class IndexMorphismMap
Morphism map containing a morphism and an index (for type colimit).
Constructor Summary | |
---|---|
IndexMorphismMap()
Creates an empty IndexMorphismMap. |
|
IndexMorphismMap(int index,
Denotator factor)
Creates an IndexMorphismMap. |
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(IndexMorphismMap other)
|
int |
compareTo(MorphismMap object)
|
IndexMorphismMap |
copy()
Returns a deep copy of this MorphismMap. |
boolean |
equals(IndexMorphismMap other)
|
boolean |
equals(java.lang.Object object)
|
MorphismMap |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
boolean |
fullEquals(MorphismMap map,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
java.util.LinkedList<Denotator> |
getDenotatorDependencies(java.util.LinkedList<Denotator> list)
|
java.lang.String |
getElementTypeName()
Returns the value of the type attribute for this class. |
Denotator |
getFactor()
Returns the factor contained in the map. |
java.util.LinkedList<Form> |
getFormDependencies(java.util.LinkedList<Form> list)
|
int |
getIndex()
Returns the index of the factor contained in the map. |
int |
hashCode()
Every morphism map must have a hash function. |
boolean |
isConstant()
|
boolean |
resolveReferences(RubatoDictionary dict,
java.util.IdentityHashMap<?,?> history)
|
void |
setFactor(int index,
Denotator factor)
Sets the factor with the given index in the map. |
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public IndexMorphismMap(int index, Denotator factor)
public IndexMorphismMap()
Method Detail |
---|
public int getIndex()
public Denotator getFactor()
public void setFactor(int index, Denotator factor)
public int compareTo(MorphismMap object)
compareTo
in interface java.lang.Comparable<MorphismMap>
compareTo
in interface MorphismMap
public int compareTo(IndexMorphismMap other)
public boolean fullEquals(MorphismMap map, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
fullEquals
in interface MorphismMap
public MorphismMap at(ModuleElement element) throws MappingException
MorphismMap
at
in interface MorphismMap
element
- evaluate at this element
MappingException
- if mapping failspublic MorphismMap changeAddress(Module address)
MorphismMap
changeAddress
in interface MorphismMap
address
- the new address of the denotator
newAddress
or null if address changed failspublic MorphismMap changeAddress(ModuleMorphism morphism)
MorphismMap
changeAddress
in interface MorphismMap
morphism
- the address changing morphism
public void toXML(XMLWriter writer)
XMLInputOutput
writer
.
toXML
in interface XMLInputOutput<MorphismMap>
public MorphismMap fromXML(XMLReader reader, org.w3c.dom.Element element)
XMLInputOutput
reader
starting with element
.
fromXML
in interface XMLInputOutput<MorphismMap>
public final java.lang.String getElementTypeName()
XMLInputOutput
getElementTypeName
in interface XMLInputOutput<MorphismMap>
public java.util.LinkedList<Form> getFormDependencies(java.util.LinkedList<Form> list)
getFormDependencies
in interface MorphismMap
public java.util.LinkedList<Denotator> getDenotatorDependencies(java.util.LinkedList<Denotator> list)
getDenotatorDependencies
in interface MorphismMap
public boolean resolveReferences(RubatoDictionary dict, java.util.IdentityHashMap<?,?> history)
resolveReferences
in interface MorphismMap
public boolean isConstant()
public java.lang.Object clone()
MorphismMap
clone
in interface MorphismMap
clone
in class java.lang.Object
public IndexMorphismMap copy()
MorphismMap
copy
in interface MorphismMap
public boolean equals(java.lang.Object object)
equals
in class java.lang.Object
public boolean equals(IndexMorphismMap other)
public int hashCode()
MorphismMap
hashCode
in interface MorphismMap
hashCode
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |