|
|||||||||
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
org.rubato.math.yoneda.NameDenotator
public final class NameDenotator
Special list denotator for representing names of denotators and forms.
Name denotators are created using the static make
methods
instead of explicit constructors. This is so in order to guarantee
that name denotators for a given name are unique.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Method Summary | |
---|---|
ListDenotator |
appendFactor(NameDenotator d)
Name denotators are immutable. |
int |
compareTo(Denotator object)
|
int |
compareTo(NameDenotator otherName)
Compares two name denotators. |
NameDenotator |
copy()
Returns a deep copy of this denotator. |
boolean |
equals(NameDenotator nd)
|
boolean |
equals(java.lang.Object object)
Checks for equality. |
Denotator |
getFactor(int i)
Returns the factor in position i . |
int |
getFactorCount()
Returns the number of coordinates of the denotator. |
Form |
getForm()
Returns the form of the name denotator. |
Morphism |
getFrameCoordinate()
Returns the frame coordinate of the denotator. |
NameDenotator |
getName()
Returns the name of the denotator as a denotator. |
NameEntry |
getNameEntry()
Returns the name entry in this name denotator. |
java.lang.String |
getNameString()
Returns the name of the denotator converted to a string. |
int |
hashCode()
Returns a hash code for this denotator. |
static NameDenotator |
make(java.util.List<java.lang.String> names)
Creates a name denotator composed of the given list of names. |
static NameDenotator |
make(NameEntry name)
Creates a name denotator from the given name entry. |
static NameDenotator |
make(java.lang.String name)
Creates a name denotator with the given name. |
static NameDenotator |
make(java.lang.String op,
Denotator d)
Creates a name of the form "op(dn)", where dn is the name of the denotator d. |
static NameDenotator |
make(java.lang.String op,
Denotator[] denolist)
Creates a name from operation and argument list. |
static NameDenotator |
make(java.lang.String op,
Denotator d1,
Denotator d2)
Creates name of the form "op(dn1,dn2)", where dn1 and dn2 are the names of the denotators d1 and d2 resp. |
static NameDenotator |
make(java.lang.String op,
Form f)
Creates a name of the form "op(fn)". |
static NameDenotator |
make(java.lang.String op,
Form[] formlist)
Creates a name of the form "op(fn1,..,fnm)". |
static NameDenotator |
make(java.lang.String op,
Form f1,
Form f2)
Creates a name of the form "op(fn1,fn2)". |
static NameDenotator |
make(java.lang.String name1,
java.lang.String name2)
Creates a name denotator with the given pair of names. |
void |
replaceFactors(java.util.List<Denotator> denoList)
Name denotators are immutable. |
void |
setFactor(int i,
Denotator d)
Name denotators are immutable. |
Methods inherited from class org.rubato.math.yoneda.ListDenotator |
---|
_is_valid, _make_unsafe, appendFactor, appendTo, at, changeAddress, changeAddress, check, compareTo, concat, equals, fromXML, getFactors, getFrameListMorphismMap, getListForm, getListMorphismMap, getType, indexOf, isConstant, iterator, namedCopy, prepend, prependFactor, prependTo, removeFactor, toXML |
Methods inherited from class org.rubato.math.yoneda.Denotator |
---|
atNull, clone, display, display, formEquals, get, getAddress, getCoordinate, getDependencies, getElement, getModuleMorphism, hasForm, 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 |
Method Detail |
---|
public static NameDenotator make(java.lang.String name)
name
is null or the empty stringpublic static NameDenotator make(java.lang.String name1, java.lang.String name2)
public static NameDenotator make(java.util.List<java.lang.String> names)
public static NameDenotator make(NameEntry name)
public static NameDenotator make(java.lang.String op, Denotator d)
public static NameDenotator make(java.lang.String op, Denotator d1, Denotator d2)
public static NameDenotator make(java.lang.String op, Denotator[] denolist)
public static NameDenotator make(java.lang.String op, Form f)
public static NameDenotator make(java.lang.String op, Form f1, Form f2)
public static NameDenotator make(java.lang.String op, Form[] formlist)
public NameDenotator getName()
getName
in class Denotator
public java.lang.String getNameString()
getNameString
in class Denotator
public NameEntry getNameEntry()
public Form getForm()
getForm
in class Denotator
public Morphism getFrameCoordinate()
Denotator
getFrameCoordinate
in class Denotator
public int getFactorCount()
getFactorCount
in interface FactorDenotator
getFactorCount
in class ListDenotator
public Denotator getFactor(int i)
i
.
getFactor
in interface FactorDenotator
getFactor
in class ListDenotator
i
- denotator at position i
public void setFactor(int i, Denotator d)
setFactor
in interface FactorDenotator
setFactor
in class ListDenotator
public ListDenotator appendFactor(NameDenotator d)
public void replaceFactors(java.util.List<Denotator> denoList)
replaceFactors
in class ListDenotator
denoList
- the list of factor denotatorspublic int compareTo(Denotator object)
compareTo
in interface java.lang.Comparable<Denotator>
compareTo
in class ListDenotator
public int compareTo(NameDenotator otherName)
public boolean equals(java.lang.Object object)
equals
in class ListDenotator
public boolean equals(NameDenotator nd)
public NameDenotator copy()
Denotator
copy
in class ListDenotator
public int hashCode()
Denotator
hashCode
in class Denotator
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |