RedisHeuristicsCalculator (org.evomaster:evomaster-client-java-controller 6.2.0 API)

java.lang.Object

org.evomaster.client.java.controller.redis.RedisHeuristicsCalculator

public class RedisHeuristicsCalculator extends Object

Constructor Summary

Constructors

Constructor

Description

RedisHeuristicsCalculator()

RedisHeuristicsCalculator(org.evomaster.client.java.sql.internal.TaintHandler taintHandler)
Method Summary

Modifier and Type

Method

Description

RedisDistanceWithMetrics

computeDistance(org.evomaster.client.java.instrumentation.RedisCommand redisCommand, RedisKeyValueStore redisData)

Computes the heuristic distance for a given Redis command.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- RedisHeuristicsCalculator
  
  public RedisHeuristicsCalculator()
- RedisHeuristicsCalculator
  
  public RedisHeuristicsCalculator(org.evomaster.client.java.sql.internal.TaintHandler taintHandler)
Method Details
- computeDistance
  
  public RedisDistanceWithMetrics computeDistance(org.evomaster.client.java.instrumentation.RedisCommand redisCommand, RedisKeyValueStore redisData)
  
  Computes the heuristic distance for a given Redis command. RedisDistance(cmd) = 1 - H_Redis(cmd).ofTrue The RedisKeyValueStore is pre-filtered by type in RedisHandler before reaching here: - GET → only STRING keys, null values - HGETALL → only HASH keys, null values - SMEMBERS → only SET keys, null values - HGET → only HASH keys, values contain fields - SINTER → only SET keys, values contain members - KEYS/EXISTS → all keys, null values