|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.ListMorphismMap
public final class ListMorphismMap
Morphism map containing a list of morphisms (for limit and power types).
Constructor Summary | |
---|---|
ListMorphismMap()
Creates a ListMorphismMap of initial capacity 0. |
|
ListMorphismMap(java.util.Collection<Denotator> denotators)
Creates a ListMorphismMap. |
|
ListMorphismMap(int n)
Creates a ListMorphismMap of initial capacity n . |
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(ListMorphismMap other)
|
int |
compareTo(MorphismMap object)
|
ListMorphismMap |
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 |
void |
insertFactor(int index,
Denotator d)
Inserts the factor d at position index . |
boolean |
isConstant()
|
boolean |
isSet()
Returns true iff the list is actually a set, i.e., without null objects, sorted and without duplicates. |
java.util.Iterator<Denotator> |
iterator()
Returns an iterator over the factors. |
void |
prependFactor(Denotator d)
Prepends the factor d . |
void |
removeDuplicates()
Removes duplicates from the list. |
Denotator |
removeFactor(int index)
Removes the factor at index . |
boolean |
resolveReferences(RubatoDictionary dict,
java.util.IdentityHashMap<?,?> history)
Resolves all references. |
void |
setFactor(int index,
Denotator d)
Sets the factor at position index to d . |
void |
sort()
Sorts the list. |
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 ListMorphismMap(int n)
n
.
public ListMorphismMap(java.util.Collection<Denotator> denotators)
public ListMorphismMap()
Method Detail |
---|
public Denotator getFactor(int index)
index
.
public void setFactor(int index, Denotator d)
index
to d
.
public void insertFactor(int index, Denotator d)
d
at position index
.
public void appendFactor(Denotator d)
d
.
public Denotator removeFactor(int index)
index
.
public void prependFactor(Denotator d)
d
.
public int getFactorCount()
public java.util.ArrayList<Denotator> getFactors()
public int indexOf(Denotator d)
d
public void sort()
public boolean isSet()
public void removeDuplicates()
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(ListMorphismMap 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 ListMorphismMap 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 |