de.fhg.aisec.ids.api.router

Class RouteVerificationProof

java.lang.Object

de.fhg.aisec.ids.api.router.RouteVerificationProof

public class RouteVerificationProof
extends java.lang.Object

Representation of a proof that a route is valid under a policy, i.e. that the policy will never violate the policy.

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 Summary

Constructors

Constructor and Description
RouteVerificationProof(java.lang.String routeId)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RouteVerificationProof

public RouteVerificationProof(java.lang.String routeId)

Method Detail

getRouteId

public java.lang.String getRouteId()

getProofTimeNanos

public long getProofTimeNanos()

setProofTimeNanos

public void setProofTimeNanos(long proofTimeNanos)

isValid

public boolean isValid()

setValid

public void setValid(boolean isValid)

getCounterExamples

public java.util.List<CounterExample> getCounterExamples()

setCounterExamples

public void setCounterExamples(java.util.List<CounterExample> counterExamples)

setQuery

public void setQuery(java.lang.String query)

getQuery

public java.lang.String getQuery()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object