|
|||||||||
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.ColimitDenotator
public final class ColimitDenotator
Colimit denotator class.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
ColimitDenotator(NameDenotator name,
ColimitForm form,
int index,
Denotator deno)
Creates a colimit denotator that gets its address from the factor denotator. |
|
ColimitDenotator(NameDenotator name,
Module address,
ColimitForm form,
int index,
Denotator deno)
Creates a colimit denotator. |
Method Summary | |
---|---|
boolean |
_is_valid()
Returns true iff this denotator is correctly built. |
static ColimitDenotator |
_make_unsafe(NameDenotator name,
Module address,
ColimitForm form,
int index,
Denotator d)
Creates a new limit denotator without checking whatsoever. |
boolean |
appendFactor(Denotator d)
Appends, if possible, the factor d . |
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(ColimitDenotator other)
Compares two colimit denotators. |
int |
compareTo(Denotator object)
|
ColimitDenotator |
copy()
Returns a deep copy of this denotator. |
boolean |
equals(ColimitDenotator other)
Checks denotators of the same type for equality. |
boolean |
equals(java.lang.Object object)
Checks for equality. |
static ColimitDenotator |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
ColimitForm |
getColimitForm()
Returns the form of the denotator. |
Denotator |
getFactor()
Returns the sole factor of the colimit denotator. |
Denotator |
getFactor(int i)
Returns the factor in position i . |
int |
getFactorCount()
Returns the number of coordinates of the denotator. |
java.util.List<Denotator> |
getFactors()
Returns a list of the factors of the denotator. |
IndexMorphismMap |
getFrameIndexMorphismMap()
|
int |
getIndex()
Returns the index of the factor contained in a colimit denotator. |
IndexMorphismMap |
getIndexMorphismMap()
|
java.lang.String |
getLabel()
Returns the index label of the factor contained in a colimit denotator. |
int |
getType()
Returns the type of the denotator. |
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 . |
void |
setFactor(int i,
Denotator d)
Sets the factor d in position i . |
void |
setFactor(java.lang.String label,
Denotator d)
Sets the factor d at the given label. |
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 ColimitDenotator(NameDenotator name, Module address, ColimitForm form, int index, Denotator deno) throws RubatoException
name
- the name of the denotatoraddress
- the address of the denotatorform
- the form of the denotatorindex
- the index within the colimit formdeno
- the factor of the denotator at the given index
RubatoFormException
RubatoException
public ColimitDenotator(NameDenotator name, ColimitForm form, int index, Denotator deno) throws RubatoException
name
- the name of the denotatorform
- the form of the denotatorindex
- the index within the colimit formdeno
- the factor of the denotator at the given index
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 ColimitForm getColimitForm()
public int getFactorCount()
getFactorCount
in interface FactorDenotator
public Denotator getFactor(int i)
i
.
In this case, always returns the sole factor of the colimit denotator.
getFactor
in interface FactorDenotator
i
- factor i
denotator
public Denotator getFactor()
public java.util.Iterator<Denotator> iterator()
iterator
in interface java.lang.Iterable<Denotator>
iterator
in interface FactorDenotator
iterator
in class Denotator
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
java.lang.IllegalStateException
- if the position i is not in the required range
RubatoFormException
- if d is not of the required form
RubatoException
public void setFactor(java.lang.String label, Denotator d) throws RubatoException
d
at the given label.
This is a destructive operation; beware of aliasing.
RubatoException
- if d is not of the required form
or the label does not existpublic boolean appendFactor(Denotator d)
FactorDenotator
d
.
This is a destructive operation; beware of aliasing.
appendFactor
in interface FactorDenotator
public java.util.List<Denotator> getFactors()
getFactors
in interface FactorDenotator
public final int getIndex()
public final java.lang.String getLabel()
public int compareTo(Denotator object)
compareTo
in interface java.lang.Comparable<Denotator>
compareTo
in class Denotator
public int compareTo(ColimitDenotator other)
public boolean equals(java.lang.Object object)
equals
in class Denotator
public boolean equals(ColimitDenotator other)
public IndexMorphismMap getIndexMorphismMap()
public IndexMorphismMap getFrameIndexMorphismMap()
public boolean isConstant()
Denotator
isConstant
in class Denotator
public ColimitDenotator 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 ColimitDenotator fromXML(XMLReader reader, org.w3c.dom.Element element)
reader
starting with element
.
@Unsafe @Internal public static ColimitDenotator _make_unsafe(NameDenotator name, Module address, ColimitForm form, int index, Denotator d)
@Internal public boolean _is_valid()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |