net.sf.tweety.web.services

Class InconsistencyMeasurementService

java.lang.Object

net.sf.tweety.web.services.InconsistencyMeasurementService

@Path(value="incmes")
public class InconsistencyMeasurementService
extends java.lang.Object

Inconsistency measurement service.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	InconsistencyMeasurementService.MeasurementCallee For handling timeouts.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ID The identifier of this service.
static Solver	integerLinearSolver The integer linear optimization solver configured for this service.
static java.lang.String	JSON_ATTR_CMD Attribute "cmd" of queries referring to the requested command.
static java.lang.String	JSON_ATTR_EMAIL Attribute "email" of queries/replies, used for identification and logging purposes.
static java.lang.String	JSON_ATTR_ERROR Attribute "error" of replies giving some explanation of an error.
static java.lang.String	JSON_ATTR_FORMAT Attribute "format" of queries requesting a specific inconsistency value.
static java.lang.String	JSON_ATTR_FORMATS Attribute "formats" of replies, used for listing all available kb formats.
static java.lang.String	JSON_ATTR_ID Attribute "id" of replies to list queries
static java.lang.String	JSON_ATTR_KB Attribute "kb" of queries requesting a specific inconsistency value.
static java.lang.String	JSON_ATTR_LABEL Attribute "label" of replies to list queries
static java.lang.String	JSON_ATTR_MEASURE Attribute "measure" of queries requesting a specific inconsistency value.
static java.lang.String	JSON_ATTR_MEASURES Attribute "measures" of replies, used for listing all available inconsistency measures.
static java.lang.String	JSON_ATTR_REPLY Attribute "reply" of replies referring to the reply type (same values as "cmd").
static java.lang.String	JSON_ATTR_TIME Attribute "time" of replies containing the time needed to compute the value.
static java.lang.String	JSON_ATTR_VALUE Attribute "value" of replies containing the requested inconsistency value.
static java.lang.String	JSON_VAL_MEASURES "list inconsistency measures" command.
static java.lang.String	JSON_VAL_VALUE "get inconsistency value" command.
static Solver	linearSolver The linear optimization solver configured for this service.
static AbstractMusEnumerator<PropositionalFormula>	musEnumerator The MUS enumerator configured for this service.
static SatSolver	satSolver The SAT solver configured for this service.
static long	timeout Time out for the update operation (in seconds).

Constructor Summary

Constructors

Constructor and Description
InconsistencyMeasurementService() Default constructor

Method Summary

Modifier and Type	Method and Description
private org.codehaus.jettison.json.JSONObject	handleGetMeasures(org.codehaus.jettison.json.JSONObject query) Handles the "List inconsistency measures" command
private org.codehaus.jettison.json.JSONObject	handleGetValue(org.codehaus.jettison.json.JSONObject query) Handles the "Get inconsistency value" command
java.lang.String	handleRequest(java.lang.String query) Handles all requests for the inconsistency measurement service.

Methods inherited from class java.lang.Object

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

Field Detail

ID

public static final java.lang.String ID

The identifier of this service.

See Also:

Constant Field Values

satSolver

public static SatSolver satSolver

The SAT solver configured for this service.

musEnumerator

public static AbstractMusEnumerator<PropositionalFormula> musEnumerator

The MUS enumerator configured for this service.

linearSolver

public static Solver linearSolver

The linear optimization solver configured for this service.

integerLinearSolver

public static Solver integerLinearSolver

The integer linear optimization solver configured for this service.

timeout

public static long timeout

Time out for the update operation (in seconds).

JSON_ATTR_CMD

public static final java.lang.String JSON_ATTR_CMD

Attribute "cmd" of queries referring to the requested command.

See Also:

Constant Field Values

JSON_VAL_VALUE

public static final java.lang.String JSON_VAL_VALUE

"get inconsistency value" command.

See Also:

Constant Field Values

JSON_VAL_MEASURES

public static final java.lang.String JSON_VAL_MEASURES

"list inconsistency measures" command.

See Also:

Constant Field Values

JSON_ATTR_MEASURE

public static final java.lang.String JSON_ATTR_MEASURE

Attribute "measure" of queries requesting a specific inconsistency value.

See Also:

Constant Field Values

JSON_ATTR_FORMAT

public static final java.lang.String JSON_ATTR_FORMAT

Attribute "format" of queries requesting a specific inconsistency value.

See Also:

Constant Field Values

JSON_ATTR_KB

public static final java.lang.String JSON_ATTR_KB

Attribute "kb" of queries requesting a specific inconsistency value.

See Also:

Constant Field Values

JSON_ATTR_VALUE

public static final java.lang.String JSON_ATTR_VALUE

Attribute "value" of replies containing the requested inconsistency value.

See Also:

Constant Field Values

JSON_ATTR_TIME

public static final java.lang.String JSON_ATTR_TIME

Attribute "time" of replies containing the time needed to compute the value.

See Also:

Constant Field Values

JSON_ATTR_ERROR

public static final java.lang.String JSON_ATTR_ERROR

Attribute "error" of replies giving some explanation of an error.

See Also:

Constant Field Values

JSON_ATTR_REPLY

public static final java.lang.String JSON_ATTR_REPLY

Attribute "reply" of replies referring to the reply type (same values as "cmd").

See Also:

Constant Field Values

JSON_ATTR_EMAIL

public static final java.lang.String JSON_ATTR_EMAIL

Attribute "email" of queries/replies, used for identification and logging purposes.

See Also:

Constant Field Values

JSON_ATTR_MEASURES

public static final java.lang.String JSON_ATTR_MEASURES

Attribute "measures" of replies, used for listing all available inconsistency measures.

See Also:

Constant Field Values

JSON_ATTR_FORMATS

public static final java.lang.String JSON_ATTR_FORMATS

Attribute "formats" of replies, used for listing all available kb formats.

See Also:

Constant Field Values

JSON_ATTR_ID

public static final java.lang.String JSON_ATTR_ID

Attribute "id" of replies to list queries

See Also:

Constant Field Values

JSON_ATTR_LABEL

public static final java.lang.String JSON_ATTR_LABEL

Attribute "label" of replies to list queries

See Also:

Constant Field Values

Constructor Detail

InconsistencyMeasurementService

public InconsistencyMeasurementService()

Default constructor

Method Detail

handleRequest

@POST
 @Produces(value="application/json")
 @Consumes(value="application/json")
public java.lang.String handleRequest(java.lang.String query)
                                                                                                               throws org.codehaus.jettison.json.JSONException

Handles all requests for the inconsistency measurement service.

Returns:

String A serialized JSON containing the reply.

Throws:

org.codehaus.jettison.json.JSONException - thrown if something is completely going wrong.

handleGetValue

private org.codehaus.jettison.json.JSONObject handleGetValue(org.codehaus.jettison.json.JSONObject query)
                                                      throws org.codehaus.jettison.json.JSONException

Handles the "Get inconsistency value" command

Parameters:

query - some query

Returns:

the reply

Throws:

org.codehaus.jettison.json.JSONException

handleGetMeasures

private org.codehaus.jettison.json.JSONObject handleGetMeasures(org.codehaus.jettison.json.JSONObject query)
                                                         throws org.codehaus.jettison.json.JSONException

Handles the "List inconsistency measures" command

Parameters:

query - some query

Returns:

the reply

Throws:

org.codehaus.jettison.json.JSONException