public interface QueryFeedback
setLength
to the set the
length of trace to be loaded, followed by zero or more calls to
setCurrent
to provide progress information, and
finally call setTrace
when the trace has been loaded.Modifier and Type | Method and Description |
---|---|
void |
appendText(String s)
Allows engine to add arbitrary text to the verifier status field.
|
void |
setCurrent(int pos)
Called when
pos elements of the trace have been
loaded. |
void |
setFeedback(String feedback)
Called after a verification in case there is no trace.
|
void |
setLength(int length)
Called when the length of a trace is known.
|
void |
setProgress(int load,
long vm,
long rss,
long cached,
long avail,
long swap,
long swapfree,
long user,
long sys,
long timestamp)
Called when server sends a progress update on verification status.
|
void |
setProgressAvail(boolean availability)
Called before sending query to server.
|
void |
setResultText(String s)
Allows engine to add arbitrary text beside the "status" image.
|
void |
setSystemInfo(long vmsize,
long physsize,
long swapsize)
Called before start processing a query.
|
void |
setTrace(char result,
String feedback,
ArrayList<SymbolicTransition> trace,
int cycle)
Called when the complete trace has been loaded.
|
void setProgressAvail(boolean availability)
availability
- indicates whether progress information will be
available.void setProgress(int load, long vm, long rss, long cached, long avail, long swap, long swapfree, long user, long sys, long timestamp)
load
- the PWList load in statesvm
- the virtual memory usage in kilo bytesrss
- the resident (working set) memory usage in kilo bytescached
- memory used by system (I/O buffers, caches) in kilo bytesavail
- the available (free) physical memory in kilo bytesswap
- the swap (pagefile) memory usage in kilo bytesuser
- the user time CPU usage in millisecondssys
- the system (kernel) time CPU usage in millisecondstimestamp
- the timestamp of statistics in millisecondsvoid setSystemInfo(long vmsize, long physsize, long swapsize)
vmsize
- the total virtual memory size in kilo bytesphyssize
- the total physical memory size in kilo bytesswapsize
- the total swap memory size in kilo bytesvoid setLength(int length)
length
- the length of the trace in transitionsvoid setCurrent(int pos)
pos
elements of the trace have been
loaded. This provides progress information while loading
traces.pos
- the number of transitions loadedvoid setTrace(char result, String feedback, ArrayList<SymbolicTransition> trace, int cycle)
result
- 'T' if the query is satisfied, 'F' if the query
is not satisfied, 'M' if the query is maybe satisfied and 'E'
in case of errors.feedback
- is a feedback string to report to the usertrace
- the trace returned by the server. May be
null
if no trace was returned.cycle
- the number of elements at the end of
trace
constituting the cycle of an infinite trace.void setFeedback(String feedback)
void appendText(String s)
s
- Text to add.void setResultText(String s)
s
- Text to add.Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.