org.rubato.math.yoneda
Class FormReference

java.lang.Object
  extended by org.rubato.math.yoneda.AbstractConnectableYoneda
      extended by org.rubato.math.yoneda.Form
          extended by org.rubato.math.yoneda.FormReference
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Form>, Connectable, Yoneda

public final class FormReference
extends Form

A placeholder for forms that are not yet known. Mainly used during parsing.

Author:
Gérard Milmeister
See Also:
Serialized Form

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

FormReference

public FormReference(java.lang.String name)

FormReference

public FormReference(java.lang.String name,
                     int type)
Method Detail

getType

public int getType()
Description copied from class: Form
Returns the type of the form.

Specified by:
getType in class Form

createDefaultDenotator

public Denotator createDefaultDenotator()
Description copied from class: Form
Returns a default denotator of this form.

Specified by:
createDefaultDenotator in class Form

createDefaultDenotator

public Denotator createDefaultDenotator(Module address)
Description copied from class: Form
Returns a default denotator of this form with the given address.

Specified by:
createDefaultDenotator in class Form

equals

public boolean equals(java.lang.Object object)
Description copied from class: Form
Returns true iff this form is equal to the specified object.

Specified by:
equals in class Form

getFormCount

public int getFormCount()
Description copied from class: Form
Returns the number of coordinate forms.

Specified by:
getFormCount in class Form

getForm

public Form getForm(int i)
Description copied from class: Form
Returns a coordinate form.

Specified by:
getForm in class Form
Parameters:
i - the coordinate position
Returns:
the form at coordinate position i

resolveReferences

public boolean resolveReferences(RubatoDictionary dict)
Description copied from class: Form
Resolves the references resulting from parsing.

Overrides:
resolveReferences in class Form
Returns:
true iff all references have been resolved.

toXML

public void toXML(XMLWriter writer)
Specified by:
toXML in class Form

toString

public java.lang.String toString()
Description copied from class: Form
Returns a string representation of this form. This string is not parseable and does not contain all information. It is only meant for information purposes.

Specified by:
toString in class Form