|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.logeo.DenoFactory
public final class DenoFactory
Static utility class for building denotators.
Method Summary | |
---|---|
static void |
extendCoordinate(Denotator d,
Denotator... denotators)
For forms of type list or power, extend the coordinate list. |
static Denotator |
makeDenotator(Form form,
Denotator... denotators)
Builds a general anonymous denotator. |
static SimpleDenotator |
makeDenotator(Form form,
double d)
Builds an anonymous simple denotator consisting of an RElement. |
static SimpleDenotator |
makeDenotator(Form form,
int i)
Builds an anonymous simple denotator consisting of a ZElement. |
static Denotator |
makeDenotator(Form form,
int i,
Denotator d)
Builds an anonymous colimit denotator. |
static SimpleDenotator |
makeDenotator(Form form,
int i,
int p)
Builds an anonymous simple denotator consisting of a ZnElement. |
static Denotator |
makeDenotator(Form form,
java.util.List<Denotator> denoList)
Builds a general anonymous denotator. |
static SimpleDenotator |
makeDenotator(Form form,
ModuleElement element)
Builds a simple denotator containing the given module element. |
static SimpleDenotator |
makeDenotator(Form form,
ModuleMorphism morphism)
Builds a simple denotator containing the given module morphism. |
static SimpleDenotator |
makeDenotator(Form form,
Rational r)
Builds an anonymous simple denotator consisting of a QElement. |
static SimpleDenotator |
makeDenotator(Form form,
java.lang.String s)
Builds an anonymous simple denotator consisting of a ZStringElement. |
static Denotator |
makeDenotator(NameDenotator name,
Form form,
Denotator... denotators)
Builds a general denotator. |
static SimpleDenotator |
makeDenotator(NameDenotator name,
Form form,
double d)
Builds a simple denotator consisting of an RElement. |
static SimpleDenotator |
makeDenotator(NameDenotator name,
Form form,
int i)
Builds a simple denotator consisting of a ZElement. |
static Denotator |
makeDenotator(NameDenotator name,
Form form,
int i,
Denotator d)
Builds a colimit denotator. |
static SimpleDenotator |
makeDenotator(NameDenotator name,
Form form,
int i,
int p)
Builds a simple denotator consisting of a ZnElement. |
static Denotator |
makeDenotator(NameDenotator name,
Form form,
java.util.List<Denotator> denoList)
Builds a general denotator. |
static SimpleDenotator |
makeDenotator(NameDenotator name,
Form form,
ModuleElement element)
Builds a simple denotator containing the given module element. |
static SimpleDenotator |
makeDenotator(NameDenotator name,
Form form,
ModuleMorphism morphism)
Builds a simple denotator containing the given module morphism. |
static SimpleDenotator |
makeDenotator(NameDenotator name,
Form form,
Rational r)
Builds a simple denotator consisting of a QElement. |
static SimpleDenotator |
makeDenotator(NameDenotator name,
Form form,
java.lang.String s)
Builds a simple denotator consisting of a ZStringElement. |
static SimpleDenotator |
makeDenotator(java.lang.String name,
Form form,
Complex c)
Builds a simple denotator consisting of an CElement. |
static Denotator |
makeDenotator(java.lang.String name,
Form form,
Denotator... denotators)
Builds a general denotator. |
static SimpleDenotator |
makeDenotator(java.lang.String name,
Form form,
double d)
Builds a simple denotator consisting of an RElement. |
static SimpleDenotator |
makeDenotator(java.lang.String name,
Form form,
int i)
Builds a simple denotator consisting of a ZElement. |
static Denotator |
makeDenotator(java.lang.String name,
Form form,
int i,
Denotator d)
Builds a colimit denotator. |
static SimpleDenotator |
makeDenotator(java.lang.String name,
Form form,
int i,
int p)
Build a simple denotator consisting of a ZnElement. |
static Denotator |
makeDenotator(java.lang.String name,
Form form,
java.util.List<Denotator> denoList)
Builds a general denotator. |
static SimpleDenotator |
makeDenotator(java.lang.String name,
Form form,
ModuleElement element)
Builds a simple denotator containing the given module element. |
static SimpleDenotator |
makeDenotator(java.lang.String name,
Form form,
ModuleMorphism morphism)
Builds a simple denotator containing the given module morphism. |
static SimpleDenotator |
makeDenotator(java.lang.String name,
Form form,
Rational r)
Builds a simple denotator consisting of a QElement. |
static SimpleDenotator |
makeDenotator(java.lang.String name,
Form form,
java.lang.String s)
Builds a simple denotator consisting of a ZStringElement. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static SimpleDenotator makeDenotator(NameDenotator name, Form form, double d)
name
- the name of the new denotatorform
- the form of the new denotatord
- the real number for the RElement
public static SimpleDenotator makeDenotator(java.lang.String name, Form form, double d)
name
- the name of the new denotatorform
- the form of the new denotatord
- the real number for the RElement
public static SimpleDenotator makeDenotator(Form form, double d)
form
- the form of the new denotatord
- the real number for the RElement
public static SimpleDenotator makeDenotator(NameDenotator name, Form form, int i)
name
- the name of the new denotatorform
- the form of the new denotatori
- the integer for the ZElement
public static SimpleDenotator makeDenotator(java.lang.String name, Form form, int i)
name
- the name of the new denotatorform
- the form of the new denotatori
- the integer for the ZElement
public static SimpleDenotator makeDenotator(Form form, int i)
form
- the form of the new denotatori
- the integer for the ZElement
public static SimpleDenotator makeDenotator(NameDenotator name, Form form, int i, int p)
name
- the name of the new denotatorform
- the form of the new denotatori
- the modular integer for the ZnElementp
- the modulus for the ZnElement
public static SimpleDenotator makeDenotator(java.lang.String name, Form form, int i, int p)
name
- the name of the new denotatorform
- the form of the new denotatori
- the modular integer for the ZnElementp
- the modulus for the ZnElement
public static SimpleDenotator makeDenotator(Form form, int i, int p)
form
- the form of the new denotatori
- the modular integer for the ZnElementp
- the modulus for the ZnElement
public static SimpleDenotator makeDenotator(NameDenotator name, Form form, Rational r)
name
- the name of the new denotatorform
- the form of the new denotatorr
- the rational number for the QElement
public static SimpleDenotator makeDenotator(java.lang.String name, Form form, Rational r)
name
- the name of the new denotatorform
- the form of the new denotatorr
- the rational number for the QElement
public static SimpleDenotator makeDenotator(Form form, Rational r)
form
- the form of the new denotatorr
- the rational number for the QElementpublic static SimpleDenotator makeDenotator(java.lang.String name, Form form, Complex c)
name
- the name of the new denotatorform
- the form of the new denotatorc
- the complex number for the CElement
public static SimpleDenotator makeDenotator(NameDenotator name, Form form, java.lang.String s)
name
- the name of the new denotatorform
- the form of the new denotators
- the rational number for the ZStringElement
public static SimpleDenotator makeDenotator(java.lang.String name, Form form, java.lang.String s)
name
- the name of the new denotatorform
- the form of the new denotators
- the rational number for the ZStringElement
public static SimpleDenotator makeDenotator(Form form, java.lang.String s)
form
- the form of the new denotators
- the rational number for the ZStringElementpublic static SimpleDenotator makeDenotator(NameDenotator name, Form form, ModuleElement element)
name
- the name of the new denotatorform
- the form of the new denotatorelement
- the module elementpublic static SimpleDenotator makeDenotator(java.lang.String name, Form form, ModuleElement element)
name
- the name of the new denotatorform
- the form of the new denotatorelement
- the module elementpublic static SimpleDenotator makeDenotator(Form form, ModuleElement element)
form
- the form of the new denotatorelement
- the module elementpublic static SimpleDenotator makeDenotator(NameDenotator name, Form form, ModuleMorphism morphism)
name
- the name of the new denotatorform
- the form of the new denotatormorphism
- the module morphismpublic static SimpleDenotator makeDenotator(java.lang.String name, Form form, ModuleMorphism morphism)
name
- the name of the new denotatorform
- the form of the new denotatormorphism
- the module morphismpublic static SimpleDenotator makeDenotator(Form form, ModuleMorphism morphism)
form
- the form of the new denotatormorphism
- the module morphismpublic static Denotator makeDenotator(NameDenotator name, Form form, java.util.List<Denotator> denoList)
name
- the name of the new denotatorform
- the form of the new denotatordenoList
- the coordinate list of the new denotator
public static Denotator makeDenotator(NameDenotator name, Form form, Denotator... denotators)
name
- the name string of the new denotatorform
- the form of the new denotatordenotators
- the coordinate list of the new denotator
public static Denotator makeDenotator(java.lang.String name, Form form, java.util.List<Denotator> denoList)
name
- the name string of the new denotatorform
- the form of the new denotatordenoList
- the coordinate list of the new denotator
public static Denotator makeDenotator(java.lang.String name, Form form, Denotator... denotators)
name
- the name string of the new denotatorform
- the form of the new denotatordenotators
- array of coordinate denotators
public static Denotator makeDenotator(Form form, java.util.List<Denotator> denoList)
form
- the form of the new denotatordenoList
- the coordinate list of the new denotator
public static Denotator makeDenotator(Form form, Denotator... denotators)
form
- the form of the new denotatordenotators
- array of coordinate denotators
public static Denotator makeDenotator(NameDenotator name, Form form, int i, Denotator d)
name
- the name of the new denotatorform
- the form of the new denotatori
- the index of the new denotatord
- the coordinate denotator
public static Denotator makeDenotator(java.lang.String name, Form form, int i, Denotator d)
name
- the name of the new denotatorform
- the form of the new denotatori
- the index of the new denotatord
- the coordinate denotator
public static Denotator makeDenotator(Form form, int i, Denotator d)
form
- the form of the new denotatori
- the index of the new denotatord
- the coordinate denotator
public static void extendCoordinate(Denotator d, Denotator... denotators) throws RubatoException
d
- the denotator whose coordinate list is extendeddenotators
- array of the coordinate denotator that are added
RubatoException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |