Skip to first unread message
Aristoteles Marçal
Mar 26, 2020, 12:55:10 AM3/26/20
to UPPAAL
Hi,
After I run QueryVerificationResult do I have to take a value from a variable in my system?
QueryVerificationResult qvr = engine.query(system, "", propertie, new QueryFeedback() {
@Override
public void setProgressAvail(final boolean b) {
}
@Override
public void setProgress(final int i, final long l, final long l1, final long l2, final long l3, final long l4, final long l5, final long l6, final long l7, final long l8) {
}
@Override
public void setSystemInfo(final long l, final long l1, final long l2) {
}
@Override
public void setLength(final int i) {
}
@Override
public void setCurrent(final int i) {
System.out.println("Feedback =>"+i);
}
@Override
public void setTrace(final char c, final String s, final ArrayList<SymbolicTransition> arrayList, final int i, final QueryVerificationResult queryVerificationResult) {
}
@Override
public void setFeedback(final String s) {
System.out.println("Feedback =>"+s);
}
@Override
public void appendText(final String s) {
}
@Override
public void setResultText(final String s) {
}
});
final char result = qvr.result;
// Process the query result
if (result == 'T') {
System.out.println("True");
} else if (result == 'F') {
System.out.println("False");
} else if (result == 'M') {
System.out.println("M");
} else {
System.out.println("Falha");
}
Reply all
Reply to author
Forward
0 new messages