|
|||||||||
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
public abstract class Form
Abstract base class for forms.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Method Summary | |
---|---|
Form |
_register(Repository repository,
boolean builtin)
Registers this form with the specified repository. |
java.lang.Object |
clone()
Form object cannot be cloned. |
int |
compareTo(Form other)
Compares two forms. |
abstract Denotator |
createDefaultDenotator()
Returns a default denotator of this form. |
abstract Denotator |
createDefaultDenotator(Module address)
Returns a default denotator of this form with the given address. |
void |
display()
Print form to stdout. |
void |
display(java.io.PrintStream out)
Print form to a stream. |
boolean |
equals(Form f)
Returns true iff this form is equal to the specified form. |
abstract boolean |
equals(java.lang.Object object)
Returns true iff this form is equal to the specified object. |
boolean |
fullEquals(Form f)
Returns true iff this form is structurally equal to f . |
boolean |
fullEquals(Form f,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
Returns true iff this form is structurally equal to f . |
java.util.LinkedList<Form> |
getDependencies()
Returns a list of the forms that this form depends on. |
double |
getDimension()
Returns the dimension of a form using default maximal depth. |
double |
getDimension(int maxDepth)
Returns the dimension of a form. |
abstract Form |
getForm(int i)
Returns a coordinate form. |
abstract int |
getFormCount()
Returns the number of coordinate forms. |
java.util.List<Form> |
getForms()
Returns a list of the coordinate forms. |
Morphism |
getIdentifier()
Returns the identifier of the form. |
NameDenotator |
getName()
Returns the name of the form as a denotator. |
java.lang.String |
getNameString()
Returns the name of the form as a string. |
abstract int |
getType()
Returns the type of the form. |
java.lang.String |
getTypeString()
Returns the type of the form as a string. |
int |
hashCode()
Returns a hash code for this form. |
boolean |
isRegistered()
Returns true iff this form is already registered. |
boolean |
resolveReferences(RubatoDictionary dict)
Resolves the references resulting from parsing. |
void |
setIdentifier(Morphism identifier)
Sets the identifier of the form. |
void |
setName(NameDenotator name)
Sets the name of the form as a denotator. |
void |
setName(java.lang.String name)
Sets the name of the form as a denotator. |
static int |
stringToType(java.lang.String s)
Returns the space type as an integer. |
abstract java.lang.String |
toString()
Returns a string representation of this form. |
abstract void |
toXML(XMLWriter writer)
|
static java.lang.String |
typeToString(int type)
Returns the space type as a String. |
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 NameDenotator getName()
public java.lang.String getNameString()
public abstract int getType()
public java.lang.String getTypeString()
public Morphism getIdentifier()
public void setName(NameDenotator name)
public void setName(java.lang.String name)
public void setIdentifier(Morphism identifier)
public double getDimension()
public double getDimension(int maxDepth)
public abstract Denotator createDefaultDenotator()
public abstract Denotator createDefaultDenotator(Module address)
public int compareTo(Form other)
compareTo
in interface java.lang.Comparable<Form>
public java.lang.Object clone()
clone
in interface Yoneda
clone
in class AbstractConnectableYoneda
public abstract boolean equals(java.lang.Object object)
equals
in class java.lang.Object
public boolean equals(Form f)
public boolean fullEquals(Form f)
f
.
public boolean fullEquals(Form f, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
f
.
f
- the form to compare tos
- a map containing a history of already encountered forms,
used to break recursionpublic abstract int getFormCount()
public abstract Form getForm(int i)
i
- the coordinate position
public java.util.List<Form> getForms()
public static final java.lang.String typeToString(int type)
public static final int stringToType(java.lang.String s)
public abstract java.lang.String toString()
toString
in class java.lang.Object
public abstract void toXML(XMLWriter writer)
public void display()
public void display(java.io.PrintStream out)
out
- the stream to print topublic final java.util.LinkedList<Form> getDependencies()
public int hashCode()
hashCode
in class java.lang.Object
public Form _register(Repository repository, boolean builtin)
Repository.register(Form)
method.
public boolean isRegistered()
public boolean resolveReferences(RubatoDictionary dict)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |