org.evomaster.client.java.instrumentation.coverage.methodreplacement.thirdpartyclasses

Class HttpServletRequestClassReplacement

java.lang.Object

org.evomaster.client.java.instrumentation.coverage.methodreplacement.ThirdPartyMethodReplacementClass

org.evomaster.client.java.instrumentation.coverage.methodreplacement.thirdpartyclasses.HttpServletRequestClassReplacement

All Implemented Interfaces:

MethodReplacementClass

public class HttpServletRequestClassReplacement
extends ThirdPartyMethodReplacementClass

Field Summary

Fields inherited from interface org.evomaster.client.java.instrumentation.coverage.methodreplacement.MethodReplacementClass

CONSUME_INSTANCE_METHOD_NAME

Constructor Summary

Constructors

Constructor and Description
HttpServletRequestClassReplacement()

Method Summary

Modifier and Type	Method and Description
static String	getHeader(Object caller, String header)
static Enumeration<String>	getHeaders(Object caller, String header)
static Object	getInputStream(Object caller)
protected String	getNameOfThirdPartyTargetClass()
static String	getParameter(Object caller, String param)
static String[]	getParameterValues(Object caller, String param)

Methods inherited from class org.evomaster.client.java.instrumentation.coverage.methodreplacement.ThirdPartyMethodReplacementClass

getField, getOriginal, getOriginalConstructor, getOriginalStaticMethod, getTargetClass, getTargetClass, getTargetClassName

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.evomaster.client.java.instrumentation.coverage.methodreplacement.MethodReplacementClass

isAvailable

Constructor Detail

HttpServletRequestClassReplacement

public HttpServletRequestClassReplacement()

Method Detail

getNameOfThirdPartyTargetClass

protected String getNameOfThirdPartyTargetClass()

Specified by:

getNameOfThirdPartyTargetClass in class ThirdPartyMethodReplacementClass

getInputStream

public static Object getInputStream(Object caller)
                             throws IOException

Throws:

IOException

getParameter

public static String getParameter(Object caller,
                                  String param)

getParameterValues

public static String[] getParameterValues(Object caller,
                                          String param)

getHeader

public static String getHeader(Object caller,
                               String header)

getHeaders

public static Enumeration<String> getHeaders(Object caller,
                                             String header)