|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.AutoListMorphismMap
public final class AutoListMorphismMap
Morphism map containing a set of morphisms (for power types).
Constructor Summary | |
---|---|
AutoListMorphismMap()
Creates an empty FastListMorphismMap. |
|
AutoListMorphismMap(java.util.Collection<Denotator> denotators)
Creates a FastListMorphismMap. |
Method Summary | |
---|---|
void |
appendFactor(Denotator d)
Appends the factor d . |
MorphismMap |
at(ModuleElement element)
Returns the list morphism map evaluated at address 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 copy of this list morphism map. |
int |
compareTo(AutoListMorphismMap other)
|
int |
compareTo(MorphismMap object)
|
AutoListMorphismMap |
copy()
Returns a copy of this list morphism map. |
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> depList)
|
java.lang.String |
getElementTypeName()
Returns the value of the type attribute for this class. |
Denotator |
getFactor(int index)
Returns the factor at position index . |
int |
getFactorCount()
Returns the number of factors. |
java.util.ArrayList<Denotator> |
getFactors()
Returns the list of factors. |
java.util.LinkedList<Form> |
getFormDependencies(java.util.LinkedList<Form> dependencyList)
|
int |
hashCode()
Returns a hash code of this list morphism map. |
int |
indexOf(Denotator d)
Returns the position index of factor d |
boolean |
isConstant()
|
java.util.Iterator<Denotator> |
iterator()
Returns an iterator over the factors. |
Denotator |
removeFactor(int index)
Removes the factor at index . |
void |
replaceFactor(Denotator oldD,
Denotator newD)
|
void |
replaceFactor(int index,
Denotator newD)
|
boolean |
resolveReferences(RubatoDictionary dict,
java.util.IdentityHashMap<?,?> history)
Resolves all references. |
java.lang.String |
toString()
|
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public AutoListMorphismMap()
public AutoListMorphismMap(java.util.Collection<Denotator> denotators)
Method Detail |
---|
public Denotator getFactor(int index)
index
.
public void appendFactor(Denotator d)
d
.
public void replaceFactor(int index, Denotator newD)
public void replaceFactor(Denotator oldD, Denotator newD)
public Denotator removeFactor(int index)
index
.
public int getFactorCount()
public java.util.ArrayList<Denotator> getFactors()
public int indexOf(Denotator d)
d
public java.util.Iterator<Denotator> iterator()
public int compareTo(MorphismMap object)
compareTo
in interface java.lang.Comparable<MorphismMap>
compareTo
in interface MorphismMap
public int compareTo(AutoListMorphismMap other)
public MorphismMap at(ModuleElement element) throws MappingException
element
.
at
in interface MorphismMap
element
- evaluate at this element
MappingException
- if evaluation 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 boolean isConstant()
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 java.lang.String getElementTypeName()
XMLInputOutput
getElementTypeName
in interface XMLInputOutput<MorphismMap>
public java.lang.Object clone()
clone
in interface MorphismMap
clone
in class java.lang.Object
public AutoListMorphismMap copy()
copy
in interface MorphismMap
public boolean equals(java.lang.Object object)
equals
in class java.lang.Object
public boolean fullEquals(MorphismMap map, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
fullEquals
in interface MorphismMap
public java.util.LinkedList<Form> getFormDependencies(java.util.LinkedList<Form> dependencyList)
getFormDependencies
in interface MorphismMap
public java.util.LinkedList<Denotator> getDenotatorDependencies(java.util.LinkedList<Denotator> depList)
getDenotatorDependencies
in interface MorphismMap
public boolean resolveReferences(RubatoDictionary dict, java.util.IdentityHashMap<?,?> history)
resolveReferences
in interface MorphismMap
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
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 |