@Path(value="incmes")
public class InconsistencyMeasurementService
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
private class |
InconsistencyMeasurementService.MeasurementCallee
For handling timeouts.
|
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 and Description |
---|
InconsistencyMeasurementService()
Default constructor
|
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.
|
public static final java.lang.String ID
public static SatSolver satSolver
public static AbstractMusEnumerator<PropositionalFormula> musEnumerator
public static Solver linearSolver
public static Solver integerLinearSolver
public static long timeout
public static final java.lang.String JSON_ATTR_CMD
public static final java.lang.String JSON_VAL_VALUE
public static final java.lang.String JSON_VAL_MEASURES
public static final java.lang.String JSON_ATTR_MEASURE
public static final java.lang.String JSON_ATTR_FORMAT
public static final java.lang.String JSON_ATTR_KB
public static final java.lang.String JSON_ATTR_VALUE
public static final java.lang.String JSON_ATTR_TIME
public static final java.lang.String JSON_ATTR_ERROR
public static final java.lang.String JSON_ATTR_REPLY
public static final java.lang.String JSON_ATTR_EMAIL
public static final java.lang.String JSON_ATTR_MEASURES
public static final java.lang.String JSON_ATTR_FORMATS
public static final java.lang.String JSON_ATTR_ID
public static final java.lang.String JSON_ATTR_LABEL
public InconsistencyMeasurementService()
@POST @Produces(value="application/json") @Consumes(value="application/json") public java.lang.String handleRequest(java.lang.String query) throws org.codehaus.jettison.json.JSONException
org.codehaus.jettison.json.JSONException
- thrown if something is completely going wrong.private org.codehaus.jettison.json.JSONObject handleGetValue(org.codehaus.jettison.json.JSONObject query) throws org.codehaus.jettison.json.JSONException
query
- some queryorg.codehaus.jettison.json.JSONException
private org.codehaus.jettison.json.JSONObject handleGetMeasures(org.codehaus.jettison.json.JSONObject query) throws org.codehaus.jettison.json.JSONException
query
- some queryorg.codehaus.jettison.json.JSONException