|
|||||||||
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.DenotatorReference
public final class DenotatorReference
A placeholder for denotators that are not yet known. Mainly used during parsing.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
DenotatorReference(NameDenotator name)
|
|
DenotatorReference(java.lang.String name)
|
Method Summary | |
---|---|
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)
|
DenotatorReference |
copy()
Returns a deep copy of this denotator. |
boolean |
equals(java.lang.Object object)
Checks for equality. |
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 coordinates of this denotator. |
Denotator |
namedCopy(NameDenotator name)
Makes a shallow copy this denotator and gives it the specified name . |
java.lang.String |
toString()
Returns a string representation of this denotator. |
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 |
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 DenotatorReference(java.lang.String name)
public DenotatorReference(NameDenotator name)
Method Detail |
---|
public int getType()
Denotator
getType
in class Denotator
public Denotator namedCopy(NameDenotator name)
Denotator
name
.
namedCopy
in class Denotator
public DenotatorReference copy()
Denotator
copy
in class Denotator
public boolean equals(java.lang.Object object)
Denotator
equals
in class Denotator
public int compareTo(Denotator object)
compareTo
in interface java.lang.Comparable<Denotator>
compareTo
in class Denotator
public Denotator at(ModuleElement element)
Denotator
at
in class Denotator
element
- address
public 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 boolean isConstant()
Denotator
isConstant
in class Denotator
public java.util.Iterator<Denotator> iterator()
Denotator
iterator
in interface java.lang.Iterable<Denotator>
iterator
in class Denotator
public boolean check()
Denotator
check
in class Denotator
public void toXML(XMLWriter writer)
toXML
in class Denotator
public java.lang.String toString()
Denotator
toString
in class Denotator
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |