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,
QueryVerificationResult queryVerificationResult)
Called when the complete trace has been loaded.
|
void |
setTraceSMC(char result,
String feedback,
ArrayList<ConcreteTransitionRecord> trace,
int cycle,
QueryVerificationResult queryVerificationResult)
Called after a verification in case there is trace
|
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 bytesswapfree
- - Without the swap (pagefile) memory usageuser
- 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, QueryVerificationResult queryVerificationResult)
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.queryVerificationResult
- - The query verification result objectvoid setTraceSMC(char result, String feedback, ArrayList<ConcreteTransitionRecord> trace, int cycle, QueryVerificationResult queryVerificationResult)
result
- - The verification resultfeedback
- - The feed back stringtrace
- - The list of the trace datacycle
- - The trace cyclequeryVerificationResult
- - The query verification resultvoid setFeedback(String feedback)
feedback
- - The feed back stringvoid appendText(String s)
s
- Text to add.void setResultText(String s)
s
- Text to add.Copyright © 2014 Uppsala University and Aalborg University. All Rights Reserved.