public class RouteVerificationProof
extends java.lang.Object
If the route can violate the policy, a set of counterExamples is given.
The set is not necessarily complete and contains message paths which are valid in term of the route, but violate the policy.
| Constructor and Description |
|---|
RouteVerificationProof(java.lang.String routeId) |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<CounterExample> |
getCounterExamples() |
long |
getProofTimeNanos() |
java.lang.String |
getQuery() |
java.lang.String |
getRouteId() |
boolean |
isValid() |
void |
setCounterExamples(java.util.List<CounterExample> counterExamples) |
void |
setProofTimeNanos(long proofTimeNanos) |
void |
setQuery(java.lang.String query) |
void |
setValid(boolean isValid) |
java.lang.String |
toString() |
public java.lang.String getRouteId()
public long getProofTimeNanos()
public void setProofTimeNanos(long proofTimeNanos)
public boolean isValid()
public void setValid(boolean isValid)
public java.util.List<CounterExample> getCounterExamples()
public void setCounterExamples(java.util.List<CounterExample> counterExamples)
public void setQuery(java.lang.String query)
public java.lang.String getQuery()
public java.lang.String toString()
toString in class java.lang.Object