jml2b.languages
Class Languages

java.lang.Object
  jml2b.languages.Languages

public class Languages

extends java.lang.Object

This class allows to register plugins into Jack.

Author:

L. Burdy

Constructor Summary

Languages()

Method Summary

static int	getIndex(java.lang.String name) Returns the index of a given plugin name.
static IInteractiveProver	getInteractiveProverClass(java.lang.String name) Returns the interactive prover class instance for a given plugin name.
static ILanguage	getLanguageClass(java.lang.String name) Returns the language class instance for a given plugin name.
static java.util.Enumeration	getLanguagesNames()
static byte	getNbLanguages()
static IObviousProver	getObviousProverClass(java.lang.String name) Returns the obvious prover class instance for a given plugin name.
static IPrinter	getPrinterClass(java.lang.String name) Returns the printer class instance for a given plugin name.
static java.util.Enumeration	getProofTaskClasses() Returns the enumeration of proof task classes
static IProverStatus	getProverStatusClass(java.lang.String name) Returns the prover status class instance for a given plugin name.
static ITranslationResult	getTranslationResultClass(java.lang.String name) Returns the translation result class instance for a given plugin name.
static void	register(java.lang.String name, ILanguage il, ITranslationResult rc, IPrinter ip, ProverStatus ps, IInteractiveProver iip, IObviousProver iop, ProofTask pt) Register a plugin

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Languages

public Languages()

Method Detail

register

public static void register(java.lang.String name,
                            ILanguage il,
                            ITranslationResult rc,
                            IPrinter ip,
                            ProverStatus ps,
                            IInteractiveProver iip,
                            IObviousProver iop,
                            ProofTask pt)

Register a plugin

Parameters:

name - The name

il - The language class

rc - The translation result class

ip - The printer class

ps - The prover status class

iip - The interactive prover class

iop - The obvious prover class

pt - The proof task class

getLanguageClass

public static ILanguage getLanguageClass(java.lang.String name)
                                  throws LanguageException

Returns the language class instance for a given plugin name.

Parameters:

name - The plugin name.

Returns:

The language class associated to the plugin.

Throws:

LanguageException - when the name is not a valid plugin name.

getTranslationResultClass

public static ITranslationResult getTranslationResultClass(java.lang.String name)
                                                    throws LanguageException

Returns the translation result class instance for a given plugin name.

Parameters:

name - The plugin name.

Returns:

The translation result class associated to the plugin.

Throws:

LanguageException - when the name is not a valid plugin name.

getPrinterClass

public static IPrinter getPrinterClass(java.lang.String name)

Returns the printer class instance for a given plugin name.

Parameters:

name - The plugin name.

Returns:

The printer class associated to the plugin or null if the name is not a valid plugin name.

getIndex

public static int getIndex(java.lang.String name)

Returns the index of a given plugin name.

Parameters:

name - The plugin name.

Returns:

the index in the set of plugins of the plugin name.

getNbLanguages

public static byte getNbLanguages()

Returns:

the number of registered plugins.

getLanguagesNames

public static java.util.Enumeration getLanguagesNames()

Returns:

the enumeration of languages name (String).

getProverStatusClass

public static IProverStatus getProverStatusClass(java.lang.String name)

Returns the prover status class instance for a given plugin name.

Parameters:

name - The plugin name.

Returns:

The prover status class associated to the plugin or null if the name is not a valid plugin name.

getInteractiveProverClass

public static IInteractiveProver getInteractiveProverClass(java.lang.String name)

Returns the interactive prover class instance for a given plugin name.

Parameters:

name - The plugin name.

Returns:

The interactive prover class associated to the plugin or null if the name is not a valid plugin name.

getObviousProverClass

public static IObviousProver getObviousProverClass(java.lang.String name)

Returns the obvious prover class instance for a given plugin name.

Parameters:

name - The plugin name.

Returns:

The obvious prover class associated to the plugin or null if the name is not a valid plugin name.

getProofTaskClasses

public static java.util.Enumeration getProofTaskClasses()

Returns the enumeration of proof task classes

Returns:

the enumeration of proof task instances (ProofTask).