Package de.uzl.its.swat.request

Class ConstraintRequest

java.lang.Object

de.uzl.its.swat.request.Request

de.uzl.its.swat.request.ConstraintRequest

public class ConstraintRequest
extends Request

Sends the constraints recorded during symbolic execution to the symbolic explorer. The location of the symbolic explorer is retrieved from the configuration. The data transfer object (DTO) is build from the SymbolicTrace.

Constructor Summary

Constructors

Constructor	Description
ConstraintRequest()

Method Summary

Modifier and Type	Method	Description
static void	sendConstraints(String traceDTO, int endpointID, int traceID)	Sends the SymbolicState recorded during symbolic execution to the symbolic explorer.

Methods inherited from class de.uzl.its.swat.request.Request

send

Methods inherited from class java.lang.Object

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

Constructor Details

ConstraintRequest

public ConstraintRequest()

Method Details

sendConstraints

public static void sendConstraints(String traceDTO,
 int endpointID,
 int traceID)

Sends the SymbolicState recorded during symbolic execution to the symbolic explorer.

Parameters:

traceDTO - The SymbolicState recorded during symbolic execution encoded as JSON.

endpointID - The id representing the endpoint that was queried.

traceID - The unique id of the generated trace.