Serialized Form (evomaster-client-java-instrumentation 3.2.0 API)

Package org.evomaster.client.java.instrumentation
- Class org.evomaster.client.java.instrumentation.Action extends Object implements Serializable
  - Serialized Fields
    - index
```
int index
```
    - name
```
String name
```
    - inputVariables
```
Set<E> inputVariables
```
      A list (possibly empty) of String values used in the action. This info can be used for different kinds of taint analysis, e.g. to check how such values are used in the SUT
    - externalServiceMapping
```
Map<K,V> externalServiceMapping
```
      Map of external services mapping. Key is the WireMock signature (use protocol, remote hostname, and port), and value contains information about remote hostname, mock server local IP address, state (active or inactive) and WireMock signature.
    - localAddressMapping
```
Map<K,V> localAddressMapping
```
      A map of external service domain name against to the local IP address used inside external service handling.
    - skippedExternalServices
```
List<E> skippedExternalServices
```
      A list of external services, which will be skipped from handling.
- Class org.evomaster.client.java.instrumentation.AdditionalInfo extends Object implements Serializable
  - Serialized Fields
    - queryParameters
```
Set<E> queryParameters
```
      In REST APIs, it can happen that some query parameters do not appear in the schema if they are indirectly accessed via objects like WebRequest. But we can track at runtime when such kind of objects are used to access the query parameters
    - headers
```
Set<E> headers
```
      In REST APIs, it can happen that some HTTP headers do not appear in the schema if they are indirectly accessed via objects like WebRequest. But we can track at runtime when such kind of objects are used to access the query parameters
    - stringSpecializations
```
Map<K,V> stringSpecializations
```
      Map from taint input name to string specializations for it
    - lastExecutedStatementStacks
```
Map<K,V> lastExecutedStatementStacks
```
      Keep track of the last executed statement done in the SUT. But not in the third-party libraries, just the business logic of the SUT. The statement is represented with a descriptive unique id, like the class name and line number. We need to use a stack to handle method call invocations, as we can know when a statement starts, but not so easily when it ends. For example: foo(bar(), x.npe) here, if x is null, we would end up wrongly marking the last line in bar() as last-statement, whereas it should be the one for foo() Furthermore, we need a stack per execution thread, based on their name.
    - externalServices
```
Set<E> externalServices
```
      To keep track of external service hosts called by the SUT. When captured mock hostname will be empty, till the WireMock instance initiated.
    - hostnameResolutionInfos
```
Set<E> hostnameResolutionInfos
```
    - employDefaultWM
```
Set<E> employDefaultWM
```
      info for external services which have been referred to the default setup (eg, specified ip and port)
    - noExceptionStatement
```
org.evomaster.client.java.instrumentation.AdditionalInfo.StatementDescription noExceptionStatement
```
      In case we pop all elements from stack, keep track of last one separately.
    - rawAccessOfHttpBodyPayload
```
boolean rawAccessOfHttpBodyPayload
```
      Check if the business logic of the SUT (and not a third-party library) is accessing the raw bytes of HTTP body payload (if any) directly
    - parsedDtoNames
```
Set<E> parsedDtoNames
```
      The name of all DTO that have been parsed (eg, with GSON and Jackson). Note: the actual content of schema is queried separately. Reasons: does not change (DTO classes are static), and quite expensive to send at each action evaluation
    - lastExecutingThread
```
String lastExecutingThread
```
    - sqlInfoData
```
Set<E> sqlInfoData
```
    - mongoFindCommandData
```
Set<E> mongoFindCommandData
```
    - mongoCollectionSchemaData
```
Set<E> mongoCollectionSchemaData
```
- Class org.evomaster.client.java.instrumentation.BootTimeObjectiveInfo extends Object implements Serializable
  - Serialized Fields
    - maxObjectiveCoverage
```
Map<K,V> maxObjectiveCoverage
```
      Key descriptive id of the target, note that here, we do not use unique integer id as the key since the integer id might be changed in multiple search. Value heuristic [0,1], where 1 means covered. Only the highest value found so far is kept. TODO: for JVM, the targets in static init are skipped, This would have side-effect in collecting boot-time info. the problem is that classes can be loaded at boot-time, but also during test evaluation. so, those should be instrumented, but reported separately (ie, still NOT part of a fitness function).
    - externalServiceInfo
```
List<E> externalServiceInfo
```
      a list of external service which are initialized during SUT startup
    - hostnameResolutionInfos
```
List<E> hostnameResolutionInfos
```
- Class org.evomaster.client.java.instrumentation.ExternalService extends Object implements Serializable
  - Serialized Fields
    - hostname
```
String hostname
```
      The hostname of the external service. Note: it should not be a raw IP address
    - port
```
int port
```
      TCP/UDP port. If negative, the port is ignored
- Class org.evomaster.client.java.instrumentation.ExternalServiceInfo extends Object implements Serializable
  - Serialized Fields
    - remoteHostname
```
String remoteHostname
```
      Contains the remote hostname
    - protocol
```
String protocol
```
    - remotePort
```
Integer remotePort
```
- Class org.evomaster.client.java.instrumentation.ExternalServiceMapping extends Object implements Serializable
  - Serialized Fields
    - remoteHostName
```
String remoteHostName
```
    - localIPAddress
```
String localIPAddress
```
    - signature
```
String signature
```
      Signature of the local mock service replaced the external web service.
    - isActive
```
Boolean isActive
```
      Indicate the state of the mock server, whether it's active or not.
- Class org.evomaster.client.java.instrumentation.HostnameResolutionInfo extends Object implements Serializable
  - Serialized Fields
    - remoteHostname
```
String remoteHostname
```
    - resolvedAddress
```
String resolvedAddress
```
- Class org.evomaster.client.java.instrumentation.JpaConstraint extends Object implements Serializable
  - Serialized Fields
    - tableName
```
String tableName
```
    - columnName
```
String columnName
```
    - isNullable
```
Boolean isNullable
```
      Correspond to the @NotNull annotation. If the annotation is present, then isNullable must be false.
    - isOptional
```
Boolean isOptional
```
    - minValue
```
Long minValue
```
      Correspond to the @Min(value=Long) annotation
    - maxValue
```
Long maxValue
```
      Correspond to the @Max(value=Long) and @DecimalMax annotations
    - enumValuesAsStrings
```
List<E> enumValuesAsStrings
```
    - decimalMinValue
```
String decimalMinValue
```
      Correspond to the @DecimalMin(value=String) annotation
    - decimalMaxValue
```
String decimalMaxValue
```
      Correspond to the @DecimalMax(value=String)
    - isNotBlank
```
Boolean isNotBlank
```
      Correspond to the @NotBlank annotation on String columns. If @NotBlank is found, the isNotBlank must be true, otherwise isNotBlank will be null.
    - isEmail
```
Boolean isEmail
```
      Correspond to the @Email annotation on String columns. If @Email is found, the isEmail must be true, otherwise isNotBlank will be null.
    - isNegative
```
Boolean isNegative
```
      Correspond to the @Negative annotation on numerical columns. If @Negative is found, the isNegative must be true, otherwise isNegative will be null.
    - isNegativeOrZero
```
Boolean isNegativeOrZero
```
      Correspond to the @NegativeOrZero annotation on numerical columns. If @NegativeOrZero is found, the isNegativeOrZero must be true, otherwise isNegativeOrZero will be null.
    - isPositive
```
Boolean isPositive
```
      Correspond to the @Positive annotation on numerical columns. If @Positive is found, the isPositve must be true, otherwise isPositive will be null.
    - isPositiveOrZero
```
Boolean isPositiveOrZero
```
      Correspond to the @PositiveOrZero annotation on numerical columns. If @PositiveOrZero is found, the isPositiveOrZero must be true, otherwise isPositiveOrZero will be null.
    - isFuture
```
Boolean isFuture
```
      Correspond to the @Future annotation on numerical columns. If @Future is found, the isFuture must be true, otherwise isFuture will be null.
    - isFutureOrPresent
```
Boolean isFutureOrPresent
```
      Correspond to the @FutureOrPresent annotation on numerical columns. If @FutureOrPresent is found, the isFutureOrPresent must be true, otherwise isFutureOrPresent will be null.
    - isPast
```
Boolean isPast
```
      Correspond to the @Past annotation on date and time columns
    - isPastOrPresent
```
Boolean isPastOrPresent
```
      Correspond to the @PastOrPresent annotation on date and time column
    - isAlwaysNull
```
Boolean isAlwaysNull
```
      Correspond to the @Null annotation on nullable columns
    - patternRegExp
```
String patternRegExp
```
      Correspond to the value of the @Pattern(regex=String) annotation on a column
    - sizeMin
```
Integer sizeMin
```
      Correspond to the min element of the @Size(min=int,max=int) annotation
    - sizeMax
```
Integer sizeMax
```
      Correspond to the min element of the @Size(min=int,max=int) annotation
    - digitsInteger
```
Integer digitsInteger
```
      Correspond to the fraction element of the @Digits(integer=int,fraction=int) annotation
    - digitsFraction
```
Integer digitsFraction
```
      Correspond to the fraction element of the @Digits(integer=int,fraction=int) annotation
- Class org.evomaster.client.java.instrumentation.KillSwitchException extends RuntimeException implements Serializable
- Class org.evomaster.client.java.instrumentation.MongoCollectionSchema extends Object implements Serializable
  - Serialized Fields
    - collectionName
```
String collectionName
```
    - collectionSchema
```
String collectionSchema
```
- Class org.evomaster.client.java.instrumentation.MongoFindCommand extends Object implements Serializable
  - Serialized Fields
    - collectionName
```
String collectionName
```
      Name of the collection that the operation was applied to
    - databaseName
```
String databaseName
```
      Name of the database that the operation was applied to
    - documentsType
```
String documentsType
```
      Type of the documents of the collection
    - bson
```
Object bson
```
      Executed FIND query
    - successfullyExecuted
```
boolean successfullyExecuted
```
      If the operation was successfully executed
    - executionTime
```
long executionTime
```
      Elapsed execution time
- Class org.evomaster.client.java.instrumentation.SqlInfo extends Object implements Serializable
  - Serialized Fields
    - command
```
String command
```
      The actual SQL string with the command that was executed
    - noResult
```
boolean noResult
```
      Whether the command led to any result: eg if there was any data returned in SELECT or any rows modified in a UPDATE or data added with INSERT. Failure here usually/often means that the predicates on WHERE and ON clauses were not satisfied
    - exception
```
boolean exception
```
      Whether the SQL command failed, for any reason
    - executionTime
```
long executionTime
```
      execution time
- Class org.evomaster.client.java.instrumentation.TargetInfo extends Object implements Serializable
  
  serialVersionUID:
  
  42L
  - Serialized Fields
    - mappedId
```
Integer mappedId
```
    - descriptiveId
```
String descriptiveId
```
    - value
```
Double value
```
      heuristic [0,1], where 1 means covered
    - actionIndex
```
Integer actionIndex
```
      Can be negative if target was never reached. But this means that value must be 0
Package org.evomaster.client.java.instrumentation.staticstate
- Class org.evomaster.client.java.instrumentation.staticstate.UnitsInfoRecorder extends Object implements Serializable
  - Serialized Fields
    - unitNames
```
Set<E> unitNames
```
    - numberOfLines
```
AtomicInteger numberOfLines
```
    - numberOfBranches
```
AtomicInteger numberOfBranches
```
    - numberOfReplacedMethodsInSut
```
AtomicInteger numberOfReplacedMethodsInSut
```
    - numberOfReplacedMethodsInThirdParty
```
AtomicInteger numberOfReplacedMethodsInThirdParty
```
    - numberOfTrackedMethods
```
AtomicInteger numberOfTrackedMethods
```
    - numberOfInstrumentedNumberComparisons
```
AtomicInteger numberOfInstrumentedNumberComparisons
```
    - parsedDtos
```
Map<K,V> parsedDtos
```
    - jpaConstraints
```
List<E> jpaConstraints
```
    - analyzedClasses
```
boolean analyzedClasses
```
    - extractedSpecifiedDtos
```
Map<K,V> extractedSpecifiedDtos
```
    - methodReplacements
```
Set<E> methodReplacements
```
      Only used for debugging and E2E. Keeping track of what is instrumented

Serialized Form

Package org.evomaster.client.java.instrumentation

Class org.evomaster.client.java.instrumentation.Action extends Object implements Serializable

Serialized Fields

index

name

inputVariables

externalServiceMapping

localAddressMapping

skippedExternalServices

Class org.evomaster.client.java.instrumentation.AdditionalInfo extends Object implements Serializable

Serialized Fields

queryParameters

headers

stringSpecializations

lastExecutedStatementStacks

externalServices

hostnameResolutionInfos

employDefaultWM

noExceptionStatement

rawAccessOfHttpBodyPayload

parsedDtoNames

lastExecutingThread

sqlInfoData

mongoFindCommandData

mongoCollectionSchemaData

Class org.evomaster.client.java.instrumentation.BootTimeObjectiveInfo extends Object implements Serializable

Serialized Fields

maxObjectiveCoverage

externalServiceInfo

hostnameResolutionInfos

Class org.evomaster.client.java.instrumentation.ExternalService extends Object implements Serializable

Serialized Fields

hostname

port

Class org.evomaster.client.java.instrumentation.ExternalServiceInfo extends Object implements Serializable

Serialized Fields

remoteHostname

protocol

remotePort

Class org.evomaster.client.java.instrumentation.ExternalServiceMapping extends Object implements Serializable

Serialized Fields

remoteHostName

localIPAddress

signature

isActive

Class org.evomaster.client.java.instrumentation.HostnameResolutionInfo extends Object implements Serializable

Serialized Fields

remoteHostname

resolvedAddress

Class org.evomaster.client.java.instrumentation.JpaConstraint extends Object implements Serializable

Serialized Fields

tableName

columnName

isNullable

isOptional

minValue

maxValue

enumValuesAsStrings

decimalMinValue

decimalMaxValue

isNotBlank

isEmail

isNegative

isNegativeOrZero

isPositive

isPositiveOrZero

isFuture

isFutureOrPresent

isPast

isPastOrPresent

isAlwaysNull

patternRegExp

sizeMin

sizeMax

digitsInteger

digitsFraction

Class org.evomaster.client.java.instrumentation.KillSwitchException extends RuntimeException implements Serializable

Class org.evomaster.client.java.instrumentation.MongoCollectionSchema extends Object implements Serializable

Serialized Fields