de.rwth.i2.attestor.grammar.concretization

Interface FullConcretizationStrategy

All Known Implementing Classes:

FullConcretizationStrategyImpl

public interface FullConcretizationStrategy

Method Summary

Modifier and Type	Method and Description
List<HeapConfiguration>	concretize(HeapConfiguration abstractHc, int count) Determines a list of up to 'count' concrete heap configurations derived from the given one

Method Detail

concretize

List<HeapConfiguration> concretize(HeapConfiguration abstractHc,
                                   int count)

Determines a list of up to 'count' concrete heap configurations derived from the given one

Parameters:

abstractHc - The heap configuration from which concretizations are derived

count - The number of requested concrete heap configurations

Returns:

A list of concrete heap configurations