|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.AbstractConnectableYoneda
org.rubato.math.yoneda.Denotator
org.rubato.math.yoneda.ListDenotator
public class ListDenotator
List denotator class.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
ListDenotator(NameDenotator name,
ListForm form,
java.util.List<Denotator> cds)
Creates a new list denotator that takes its address from the coordinates. |
|
ListDenotator(NameDenotator name,
Module address,
ListForm form,
java.util.List<Denotator> cds)
Creates a new list denotator. |
Method Summary | |
---|---|
boolean |
_is_valid()
Returns true iff this denotator is correctly built. |
static ListDenotator |
_make_unsafe(NameDenotator name,
Module address,
ListForm form,
java.util.List<Denotator> denoList)
Creates a new list denotator without checking whatsoever. |
boolean |
appendFactor(Denotator d)
Appends a factor. |
void |
appendTo(ListDenotator d)
Appends d to this denotator. |
Denotator |
at(ModuleElement element)
If not null-addressed returns a new denotator evaluated at address element. |
Denotator |
changeAddress(Module newAddress)
Makes an address change. |
Denotator |
changeAddress(ModuleMorphism morphism)
Makes an address change using a module morphism. |
boolean |
check()
Returns true iff this denotator is consistent. |
int |
compareTo(Denotator object)
|
int |
compareTo(ListDenotator other)
Compares two list denotators. |
ListDenotator |
concat(ListDenotator d)
Returns a new denotator with d appended to this list denotator. |
ListDenotator |
copy()
Returns a deep copy of this denotator. |
boolean |
equals(ListDenotator other)
Checks denotators of the same form for equality. |
boolean |
equals(java.lang.Object object)
Checks for equality. |
static ListDenotator |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
Denotator |
getFactor(int i)
Returns the factor at position i . |
int |
getFactorCount()
Returns the number of coordinates of the denotator. |
java.util.List<Denotator> |
getFactors()
Returns a list of the coordinates of the denotator. |
ListMorphismMap |
getFrameListMorphismMap()
|
ListForm |
getListForm()
Returns the form of this denotator. |
ListMorphismMap |
getListMorphismMap()
|
int |
getType()
Returns the type of the denotator. |
int |
indexOf(Denotator d)
Returns the internal index of denotator d . |
boolean |
isConstant()
Returns true iff this is ultimately a constant denotator, regardless of its address. |
java.util.Iterator<Denotator> |
iterator()
Returns an iterator over the factors. |
Denotator |
namedCopy(NameDenotator name)
Makes a shallow copy this denotator and gives it the specified name . |
ListDenotator |
prepend(ListDenotator d)
Returns a new denotator with d prepended to this list denotator. |
void |
prependFactor(Denotator d)
Prepends a factor. |
void |
prependTo(ListDenotator d)
Prepends d to this denotator. |
Denotator |
removeFactor(int index)
Removes a factor. |
void |
replaceFactors(java.util.List<Denotator> denoList)
Sets the factor list to a new list of denotators. |
void |
setFactor(int i,
Denotator d)
Sets the factor d in position i . |
void |
toXML(XMLWriter writer)
|
Methods inherited from class org.rubato.math.yoneda.Denotator |
---|
atNull, clone, display, display, formEquals, get, getAddress, getCoordinate, getDependencies, getElement, getForm, getFrameCoordinate, getModuleMorphism, getName, getNameString, hasForm, hashCode, map, nameCompareTo, nameEquals, nullAddressed, replace, resolveReferences, setName, setNameString, toString |
Methods inherited from class org.rubato.math.yoneda.AbstractConnectableYoneda |
---|
getConnector, setConnector |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ListDenotator(NameDenotator name, Module address, ListForm form, java.util.List<Denotator> cds) throws RubatoException
name
- the name of the denotator, null if denotator is anomymousaddress
- the address of the denotator, null if null-addressedform
- the form of the denotatorcds
- a list of coordinate denotators
RubatoFormException
RubatoException
public ListDenotator(NameDenotator name, ListForm form, java.util.List<Denotator> cds) throws RubatoException
name
- the name of the denotator, null if denotator is anomymousform
- the form of the denotatorcds
- a list of coordinate denotators
RubatoFormException
RubatoException
Method Detail |
---|
public int getType()
getType
in class Denotator
public Denotator namedCopy(NameDenotator name)
Denotator
name
.
namedCopy
in class Denotator
public Denotator at(ModuleElement element) throws MappingException
at
in class Denotator
element
- address
MappingException
- if evaluation failspublic Denotator changeAddress(Module newAddress)
Denotator
changeAddress
in class Denotator
newAddress
- the new address of the denotator
public Denotator changeAddress(ModuleMorphism morphism)
Denotator
changeAddress
in class Denotator
morphism
- the address changing morphism
public ListForm getListForm()
public int getFactorCount()
getFactorCount
in interface FactorDenotator
public Denotator getFactor(int i)
i
.
getFactor
in interface FactorDenotator
i
- denotator at position i
public void setFactor(int i, Denotator d) throws RubatoException
d
in position i
.
This is a destructive operation; beware of aliasing.
setFactor
in interface FactorDenotator
RubatoException
- if d
is not of the required form
or i
is out of rangepublic boolean appendFactor(Denotator d) throws RubatoException
appendFactor
in interface FactorDenotator
RubatoFormException
- if d
is not of the required form
RubatoException
public Denotator removeFactor(int index)
public void prependFactor(Denotator d) throws RubatoException
RubatoFormException
- if d
is not of the required form
RubatoException
public void replaceFactors(java.util.List<Denotator> denoList) throws RubatoException
denoList
- the list of factor denotators
RubatoException
- if the list of denotators doesn't match
the form of the denotator.public ListDenotator concat(ListDenotator d) throws RubatoException
d
appended to this list denotator.
RubatoException
public void appendTo(ListDenotator d) throws RubatoException
d
to this denotator.
This is a destructive operation.
RubatoException
public ListDenotator prepend(ListDenotator d) throws RubatoException
d
prepended to this list denotator.
RubatoException
public void prependTo(ListDenotator d) throws RubatoException
d
to this denotator.
This is a destructive operation.
RubatoException
public java.util.List<Denotator> getFactors()
getFactors
in interface FactorDenotator
public int indexOf(Denotator d)
d
.
public java.util.Iterator<Denotator> iterator()
iterator
in interface java.lang.Iterable<Denotator>
iterator
in interface FactorDenotator
iterator
in class Denotator
public ListMorphismMap getListMorphismMap()
public ListMorphismMap getFrameListMorphismMap()
public boolean isConstant()
Denotator
isConstant
in class Denotator
public int compareTo(Denotator object)
compareTo
in interface java.lang.Comparable<Denotator>
compareTo
in class Denotator
public int compareTo(ListDenotator other)
public boolean equals(java.lang.Object object)
equals
in class Denotator
public boolean equals(ListDenotator other)
public ListDenotator copy()
Denotator
copy
in class Denotator
public boolean check()
Denotator
check
in class Denotator
public void toXML(XMLWriter writer)
toXML
in class Denotator
public static ListDenotator fromXML(XMLReader reader, org.w3c.dom.Element element)
reader
starting with element
.
@Unsafe @Internal public static ListDenotator _make_unsafe(NameDenotator name, Module address, ListForm form, java.util.List<Denotator> denoList)
@Internal public boolean _is_valid()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |