de.rwth.i2.attestor.refinement.garbageCollection

Class GarbageCollector

java.lang.Object

de.rwth.i2.attestor.refinement.garbageCollection.GarbageCollector

All Implemented Interfaces:

StateRefinementStrategy

public class GarbageCollector
extends Object
implements StateRefinementStrategy

Constructor Summary

Constructors

Constructor and Description
GarbageCollector()

Method Summary

Modifier and Type	Method and Description
ProgramState	refine(SemanticsCommand semanticsCommand, ProgramState state)

Methods inherited from class java.lang.Object

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

Constructor Detail

GarbageCollector

public GarbageCollector()

Method Detail

refine

public ProgramState refine(SemanticsCommand semanticsCommand,
                           ProgramState state)

Specified by:

refine in interface StateRefinementStrategy