QueryAPI

GET /model/##

This sends a JSON object representing the logfile to the server. The server will return the model that the client will display. Sends:

   {
   logfile:string,
   regex:string,
   partiton_regex:string, 
   seperator_regex:string,
   manual_refinement:boolean,
   invariants_only:boolean     
   }

Returns: Model JSON object

{
log:[{},{},{}...]
partitions: [{},{},{}...]
invariants:[{},{},{}...]
}

log object:

 {traceID:int, events:[{},{},{}...]}

partition object:

 {eventType:string, events:[{},{},{}...]}

invariant object:

  {invariantType:string, predicates:[string,string,string...], constraints:[string,string,string...]}

log event object:

  {eventIndex:int, eventType:string, timestamp:int}

partition event object:

  { eventType:string, events:[{},{},{}...]]}

partiton event events object:

  {traceID:int, eventIndex:int}

GET /rminvariant/

Requests an invariant be removed from the model and returns a new model.

Sends:

   {logfile:string,
   regex:string,
   partiton_regex:string, 
   seperator_regex:string,
   manual_refinement:boolean,
   invariants_only:boolean 
   removed_invaraints:[{},{},{}...]
   }

invariant object:

  {invariantType:string, predicates:[string,string,string...], constraints:[string,string,string...]}

Returns: Model object

GET /rmtrace/

Sends:

   {logfile:string,
   regex:string,
   partiton_regex:string, 
   seperator_regex:string,
   manual_refinement:boolean,
   invariants_only:boolean 
   removed_trace:string
   }

Returns: Model object

GET /rmedge/

Sends:

   {logfile:string,
   regex:string,
   partiton_regex:string, 
   seperator_regex:string,
   manual_refinement:boolean,
   invariants_only:boolean 
   removed_trace:string
   }

Returns: Model Object

GET /logcontext/

Returns lines of logfiles that an edge or node is related to.

Sends:

   {logfile:string,
   regex:string,
   partiton_regex:string, 
   seperator_regex:string,
   manual_refinement:boolean,
   invariants_only:boolean 
   model: model object
   object: {id:string}
   }

Returns:

{log_lines:[int,int,int...], context:string}