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

Annotation Type ThirdPartyCast

@Retention(value=RUNTIME)
 @Target(value=PARAMETER)
public @interface ThirdPartyCast

Field Summary

Fields

Modifier and Type	Fields and Description
static Pattern	NAME_REGEX
static String	SEPARATOR

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String	actualType Specify class this input Object is actually representing.

Field Detail

SEPARATOR

public static final String SEPARATOR

NAME_REGEX

public static final Pattern NAME_REGEX

Element Detail

actualType

public abstract String actualType

Specify class this input Object is actually representing. This is done to avoid having third-party objects in method signatures of method replacements. However, when doing this, it might well happen that we end up with more than 1 method replacement with same signature (with only distinction being this annotation applied to the input parameters). This is now allowed on the JVM. We need to use a different name. But such name must follow this regex: name_EM_\d+ ie, the original name with _EM_x as suffix.