|
|||||||||
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.Form
org.rubato.math.yoneda.FormReference
public final class FormReference
A placeholder for forms 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 | |
---|---|
FormReference(java.lang.String name)
|
|
FormReference(java.lang.String name,
int type)
|
Method Summary | |
---|---|
Denotator |
createDefaultDenotator()
Returns a default denotator of this form. |
Denotator |
createDefaultDenotator(Module address)
Returns a default denotator of this form with the given address. |
boolean |
equals(java.lang.Object object)
Returns true iff this form is equal to the specified object. |
Form |
getForm(int i)
Returns a coordinate form. |
int |
getFormCount()
Returns the number of coordinate forms. |
int |
getType()
Returns the type of the form. |
boolean |
resolveReferences(RubatoDictionary dict)
Resolves the references resulting from parsing. |
java.lang.String |
toString()
Returns a string representation of this form. |
void |
toXML(XMLWriter writer)
|
Methods inherited from class org.rubato.math.yoneda.Form |
---|
_register, clone, compareTo, display, display, equals, fullEquals, fullEquals, getDependencies, getDimension, getDimension, getForms, getIdentifier, getName, getNameString, getTypeString, hashCode, isRegistered, setIdentifier, setName, setName, stringToType, typeToString |
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 FormReference(java.lang.String name)
public FormReference(java.lang.String name, int type)
Method Detail |
---|
public int getType()
Form
getType
in class Form
public Denotator createDefaultDenotator()
Form
createDefaultDenotator
in class Form
public Denotator createDefaultDenotator(Module address)
Form
createDefaultDenotator
in class Form
public boolean equals(java.lang.Object object)
Form
equals
in class Form
public int getFormCount()
Form
getFormCount
in class Form
public Form getForm(int i)
Form
getForm
in class Form
i
- the coordinate position
public boolean resolveReferences(RubatoDictionary dict)
Form
resolveReferences
in class Form
public void toXML(XMLWriter writer)
toXML
in class Form
public java.lang.String toString()
Form
toString
in class Form
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |