org.rubato.logeo
Class DenoFactory

java.lang.Object
  extended by org.rubato.logeo.DenoFactory

public final class DenoFactory
extends java.lang.Object

Static utility class for building denotators.

Author:
Gérard Milmeister

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

makeDenotator

public static SimpleDenotator makeDenotator(NameDenotator name,
                                            Form form,
                                            double d)
Builds a simple denotator consisting of an RElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
d - the real number for the RElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(java.lang.String name,
                                            Form form,
                                            double d)
Builds a simple denotator consisting of an RElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
d - the real number for the RElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(Form form,
                                            double d)
Builds an anonymous simple denotator consisting of an RElement.

Parameters:
form - the form of the new denotator
d - the real number for the RElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(NameDenotator name,
                                            Form form,
                                            int i)
Builds a simple denotator consisting of a ZElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
i - the integer for the ZElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(java.lang.String name,
                                            Form form,
                                            int i)
Builds a simple denotator consisting of a ZElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
i - the integer for the ZElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(Form form,
                                            int i)
Builds an anonymous simple denotator consisting of a ZElement.

Parameters:
form - the form of the new denotator
i - the integer for the ZElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(NameDenotator name,
                                            Form form,
                                            int i,
                                            int p)
Builds a simple denotator consisting of a ZnElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
i - the modular integer for the ZnElement
p - the modulus for the ZnElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(java.lang.String name,
                                            Form form,
                                            int i,
                                            int p)
Build a simple denotator consisting of a ZnElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
i - the modular integer for the ZnElement
p - the modulus for the ZnElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(Form form,
                                            int i,
                                            int p)
Builds an anonymous simple denotator consisting of a ZnElement.

Parameters:
form - the form of the new denotator
i - the modular integer for the ZnElement
p - the modulus for the ZnElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(NameDenotator name,
                                            Form form,
                                            Rational r)
Builds a simple denotator consisting of a QElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
r - the rational number for the QElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(java.lang.String name,
                                            Form form,
                                            Rational r)
Builds a simple denotator consisting of a QElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
r - the rational number for the QElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(Form form,
                                            Rational r)
Builds an anonymous simple denotator consisting of a QElement.

Parameters:
form - the form of the new denotator
r - the rational number for the QElement

makeDenotator

public static SimpleDenotator makeDenotator(java.lang.String name,
                                            Form form,
                                            Complex c)
Builds a simple denotator consisting of an CElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
c - the complex number for the CElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(NameDenotator name,
                                            Form form,
                                            java.lang.String s)
Builds a simple denotator consisting of a ZStringElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
s - the rational number for the ZStringElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(java.lang.String name,
                                            Form form,
                                            java.lang.String s)
Builds a simple denotator consisting of a ZStringElement.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
s - the rational number for the ZStringElement
Returns:
null if unsuccessful

makeDenotator

public static SimpleDenotator makeDenotator(Form form,
                                            java.lang.String s)
Builds an anonymous simple denotator consisting of a ZStringElement.

Parameters:
form - the form of the new denotator
s - the rational number for the ZStringElement

makeDenotator

public static SimpleDenotator makeDenotator(NameDenotator name,
                                            Form form,
                                            ModuleElement element)
Builds a simple denotator containing the given module element.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
element - the module element

makeDenotator

public static SimpleDenotator makeDenotator(java.lang.String name,
                                            Form form,
                                            ModuleElement element)
Builds a simple denotator containing the given module element.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
element - the module element

makeDenotator

public static SimpleDenotator makeDenotator(Form form,
                                            ModuleElement element)
Builds a simple denotator containing the given module element.

Parameters:
form - the form of the new denotator
element - the module element

makeDenotator

public static SimpleDenotator makeDenotator(NameDenotator name,
                                            Form form,
                                            ModuleMorphism morphism)
Builds a simple denotator containing the given module morphism.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
morphism - the module morphism

makeDenotator

public static SimpleDenotator makeDenotator(java.lang.String name,
                                            Form form,
                                            ModuleMorphism morphism)
Builds a simple denotator containing the given module morphism.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
morphism - the module morphism

makeDenotator

public static SimpleDenotator makeDenotator(Form form,
                                            ModuleMorphism morphism)
Builds a simple denotator containing the given module morphism.

Parameters:
form - the form of the new denotator
morphism - the module morphism

makeDenotator

public static Denotator makeDenotator(NameDenotator name,
                                      Form form,
                                      java.util.List<Denotator> denoList)
Builds a general denotator.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
denoList - the coordinate list of the new denotator
Returns:
null if unsuccessful

makeDenotator

public static Denotator makeDenotator(NameDenotator name,
                                      Form form,
                                      Denotator... denotators)
Builds a general denotator.

Parameters:
name - the name string of the new denotator
form - the form of the new denotator
denotators - the coordinate list of the new denotator
Returns:
null if unsuccessful

makeDenotator

public static Denotator makeDenotator(java.lang.String name,
                                      Form form,
                                      java.util.List<Denotator> denoList)
Builds a general denotator.

Parameters:
name - the name string of the new denotator
form - the form of the new denotator
denoList - the coordinate list of the new denotator
Returns:
null if unsuccessful

makeDenotator

public static Denotator makeDenotator(java.lang.String name,
                                      Form form,
                                      Denotator... denotators)
Builds a general denotator.

Parameters:
name - the name string of the new denotator
form - the form of the new denotator
denotators - array of coordinate denotators
Returns:
null if unsuccessful

makeDenotator

public static Denotator makeDenotator(Form form,
                                      java.util.List<Denotator> denoList)
Builds a general anonymous denotator.

Parameters:
form - the form of the new denotator
denoList - the coordinate list of the new denotator
Returns:
null if unsuccessful

makeDenotator

public static Denotator makeDenotator(Form form,
                                      Denotator... denotators)
Builds a general anonymous denotator.

Parameters:
form - the form of the new denotator
denotators - array of coordinate denotators
Returns:
null if unsuccessful

makeDenotator

public static Denotator makeDenotator(NameDenotator name,
                                      Form form,
                                      int i,
                                      Denotator d)
Builds a colimit denotator.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
i - the index of the new denotator
d - the coordinate denotator
Returns:
null if unsuccessful

makeDenotator

public static Denotator makeDenotator(java.lang.String name,
                                      Form form,
                                      int i,
                                      Denotator d)
Builds a colimit denotator.

Parameters:
name - the name of the new denotator
form - the form of the new denotator
i - the index of the new denotator
d - the coordinate denotator
Returns:
null if unsuccessful

makeDenotator

public static Denotator makeDenotator(Form form,
                                      int i,
                                      Denotator d)
Builds an anonymous colimit denotator.

Parameters:
form - the form of the new denotator
i - the index of the new denotator
d - the coordinate denotator
Returns:
null if unsuccessful

extendCoordinate

public static void extendCoordinate(Denotator d,
                                    Denotator... denotators)
                             throws RubatoException
For forms of type list or power, extend the coordinate list.

Parameters:
d - the denotator whose coordinate list is extended
denotators - array of the coordinate denotator that are added
Throws:
RubatoException