|
|||||||||
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
public abstract class Denotator
Abstract base class for denotators.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Method Summary | |
---|---|
abstract Denotator |
at(ModuleElement element)
If not null-addressed returns a new denotator evaluated at address element. |
Denotator |
atNull()
Returns denotator evaluated at null address. |
abstract Denotator |
changeAddress(Module newAddress)
Makes an address change. |
abstract Denotator |
changeAddress(ModuleMorphism morphism)
Makes an address change using a module morphism. |
abstract boolean |
check()
Returns true iff this denotator is consistent. |
java.lang.Object |
clone()
The cloning of a denotator is the same as copying it. |
abstract int |
compareTo(Denotator object)
|
abstract Denotator |
copy()
Returns a deep copy of this denotator. |
void |
display()
Print denotator to stdout. |
void |
display(java.io.PrintStream out)
Print denotator to a stream. |
abstract boolean |
equals(java.lang.Object object)
Checks for equality. |
boolean |
formEquals(Denotator other)
Returns true iff this denotator has the same form as the other denotator. |
Denotator |
get(int[] path)
Retrieves a denotator by traversing the tree rooted at this denotator. |
Module |
getAddress()
Returns the address of the denotator. |
Morphism |
getCoordinate()
Returns the coordinate of the denotator. |
java.util.LinkedList<Denotator> |
getDependencies()
Returns a list of the named denotators that this denotator depends on. |
ModuleElement |
getElement(int[] path)
Retrieves the module element by traversing the denotator tree. |
Form |
getForm()
Returns the form of the denotator. |
Morphism |
getFrameCoordinate()
Returns the frame coordinate of the denotator. |
ModuleMorphism |
getModuleMorphism(int[] path)
Retrieves the module morphism by traversing the denotator tree. |
NameDenotator |
getName()
Returns the name of the denotator as a denotator. |
java.lang.String |
getNameString()
Returns the name of the denotator converted to a string. |
abstract int |
getType()
Returns the type of the denotator. |
boolean |
hasForm(Form f)
Checks if the form of the denotator matches f . |
int |
hashCode()
Returns a hash code for this denotator. |
abstract boolean |
isConstant()
Returns true iff this is ultimately a constant denotator, regardless of its address. |
abstract java.util.Iterator<Denotator> |
iterator()
Returns an iterator over the coordinates of this denotator. |
Denotator |
map(int[] path,
ModuleMorphism morphism)
Maps this denotator using the given morphism
along the specified path . |
int |
nameCompareTo(Denotator d)
Compares the names of two denotators. |
abstract Denotator |
namedCopy(NameDenotator nameDeno)
Makes a shallow copy this denotator and gives it the specified name . |
boolean |
nameEquals(Denotator other)
Returns true iff this denotator has the same name as the other denotator. |
boolean |
nullAddressed()
Return true iff denotator is null-addressed. |
Denotator |
replace(int[] path,
Denotator d)
Returns a denotator by replacing the denotator at the given path in this denotator with d . |
boolean |
resolveReferences(RubatoDictionary dict)
Replaces reference denotators by respective name denotators. |
void |
setName(NameDenotator name)
Sets the name of the denotator as a NameDenotator. |
void |
setNameString(java.lang.String nameString)
Sets the name of the denotator as a string. |
java.lang.String |
toString()
Returns a string representation of this denotator. |
abstract void |
toXML(XMLWriter writer)
|
Methods inherited from class org.rubato.math.yoneda.AbstractConnectableYoneda |
---|
getConnector, setConnector |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public abstract Denotator namedCopy(NameDenotator nameDeno)
name
.
public NameDenotator getName()
public java.lang.String getNameString()
public final void setName(NameDenotator name)
public final void setNameString(java.lang.String nameString)
public Form getForm()
public abstract int getType()
public final Morphism getCoordinate()
public Morphism getFrameCoordinate()
public abstract java.util.Iterator<Denotator> iterator()
iterator
in interface java.lang.Iterable<Denotator>
public abstract Denotator at(ModuleElement element) throws MappingException
element
- address
MappingException
- if evaluation failspublic final Denotator atNull()
public final Module getAddress()
public final boolean nullAddressed()
public abstract Denotator changeAddress(Module newAddress)
newAddress
- the new address of the denotator
public abstract Denotator changeAddress(ModuleMorphism morphism)
morphism
- the address changing morphism
public final Denotator get(int[] path) throws RubatoException
RubatoException
public final Denotator replace(int[] path, Denotator d) throws RubatoException
d
.
path
- the path at the end of which the denotator is replacedd
- the denotator to put at the path
RubatoException
- if the specified denotator
is of the wrong form or addresspublic final Denotator map(int[] path, ModuleMorphism morphism) throws RubatoException
morphism
along the specified path
.
RubatoException
public final ModuleElement getElement(int[] path) throws RubatoException
RubatoException
public final ModuleMorphism getModuleMorphism(int[] path) throws RubatoException
RubatoException
public abstract int compareTo(Denotator object)
compareTo
in interface java.lang.Comparable<Denotator>
public int nameCompareTo(Denotator d)
public abstract boolean equals(java.lang.Object object)
equals
in class java.lang.Object
public boolean nameEquals(Denotator other)
public boolean formEquals(Denotator other)
public abstract boolean isConstant()
public final boolean hasForm(Form f)
f
.
A form matches f
if they are equal.
f
public final java.lang.Object clone()
clone
in interface Yoneda
clone
in class AbstractConnectableYoneda
public abstract Denotator copy()
public abstract boolean check()
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public abstract void toXML(XMLWriter writer)
public final void display()
public final void display(java.io.PrintStream out)
out
- the stream to print topublic final java.util.LinkedList<Denotator> getDependencies()
public boolean resolveReferences(RubatoDictionary dict)
dict
- contains the lookup table
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |