de.rwth.i2.attestor.grammar.concretization

Class FullConcretizationStrategyImpl

java.lang.Object

de.rwth.i2.attestor.grammar.concretization.FullConcretizationStrategyImpl

All Implemented Interfaces:

FullConcretizationStrategy

public class FullConcretizationStrategyImpl
extends Object
implements FullConcretizationStrategy

Constructor Summary

Constructors

Constructor and Description
FullConcretizationStrategyImpl(SingleStepConcretizationStrategy singleStepConcretizationStrategy)

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FullConcretizationStrategyImpl

public FullConcretizationStrategyImpl(SingleStepConcretizationStrategy singleStepConcretizationStrategy)

Method Detail

concretize

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

Description copied from interface: FullConcretizationStrategy

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

Specified by:

concretize in interface FullConcretizationStrategy

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