org.activemath.exercises.openmath
Class OpenMathServiceBroker

java.lang.Object
  org.activemath.exercises.openmath.OpenMathServiceBroker

public class OpenMathServiceBroker
extends Object

OpenMath service broker. Provide an adequate OpenMath service for a given computation kind.

Version:

$Revision: 1.23 $ $Date: 2011/11/04 14:39:42 $

Nested Class Summary

protected static class

OpenMathServiceBroker.ServiceEntry

Field Summary

protected static Logger	log
static String	LOGICAL_BOOLEAN
static String	NUMERICAL_BIGFLOAT
static String	NUMERICAL_BIGINTEGER
static String	NUMERICAL_IEEE754_DOUBLE_FLOAT
static String	NUMERICAL_INTEGER
static String	OMEGA_TUTOR
protected static Map	services
static String	SYMBOLIC_BASIC_SIMPLIFY
static String	SYMBOLIC_DOMAIN_REASONING

Method Summary

static OpenMathService	getService(String type, String context) Returns a service that can handle queries of the requested type in the given context.
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

log

protected static Logger log

NUMERICAL_IEEE754_DOUBLE_FLOAT

public static final String NUMERICAL_IEEE754_DOUBLE_FLOAT

See Also:

Constant Field Values

NUMERICAL_BIGFLOAT

public static final String NUMERICAL_BIGFLOAT

See Also:

Constant Field Values

NUMERICAL_INTEGER

public static final String NUMERICAL_INTEGER

See Also:

Constant Field Values

NUMERICAL_BIGINTEGER

public static final String NUMERICAL_BIGINTEGER

See Also:

Constant Field Values

SYMBOLIC_BASIC_SIMPLIFY

public static final String SYMBOLIC_BASIC_SIMPLIFY

See Also:

Constant Field Values

SYMBOLIC_DOMAIN_REASONING

public static final String SYMBOLIC_DOMAIN_REASONING

See Also:

Constant Field Values

LOGICAL_BOOLEAN

public static final String LOGICAL_BOOLEAN

See Also:

Constant Field Values

OMEGA_TUTOR

public static final String OMEGA_TUTOR

See Also:

Constant Field Values

services

protected static Map services

Method Detail

main

public static void main(String[] args)

getService

public static OpenMathService getService(String type,
                                         String context)

Returns a service that can handle queries of the requested type in the given context.

Parameters:

type - kind of evaluation to be performed.

context - evaluation context.

Returns:

an OpenMathService with the requested features, or a base OpenMathService object othewise.