de.rwth.i2.attestor.grammar.materialization.strategies

Interface MaterializationStrategy

All Known Implementing Classes:

GeneralMaterializationStrategy, NoMaterializationStrategy

public interface MaterializationStrategy

A strategy that determines how (abstract) program states are materialized (partially concretized) such that concrete program semantics becomes applicable afterwards. Materialization is usually applied relative to a given set of violation points that prevent the concrete semantics from being executed.

Author:

Christoph

Method Summary

Modifier and Type	Method and Description
Collection<HeapConfiguration>	materialize(HeapConfiguration heapConfiguration, ViolationPoints potentialViolationPoints) Attempts to materialize a given program states such that the provided

Method Detail

materialize

Collection<HeapConfiguration> materialize(HeapConfiguration heapConfiguration,
                                          ViolationPoints potentialViolationPoints)

Attempts to materialize a given program states such that the provided

Parameters:

heapConfiguration - The program state that should be materialized.

potentialViolationPoints - A specification of points in the program state that prevent the concrete semantics from being executed.

Returns:

A list of materialized program states in which all provided violation points have been resolved.