de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Class InternalPreconditionMatchingStrategy

java.lang.Object

de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.InternalPreconditionMatchingStrategy

All Implemented Interfaces:

PreconditionMatchingStrategy

public class InternalPreconditionMatchingStrategy
extends Object
implements PreconditionMatchingStrategy

Constructor Summary

Constructors

Constructor and Description
InternalPreconditionMatchingStrategy()

Method Summary

Modifier and Type	Method and Description
ContractMatch	match(Contract contract, HeapConfiguration heapInScope)

Methods inherited from class java.lang.Object

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

Constructor Detail

InternalPreconditionMatchingStrategy

public InternalPreconditionMatchingStrategy()

Method Detail

match

public ContractMatch match(Contract contract,
                           HeapConfiguration heapInScope)

Specified by:

match in interface PreconditionMatchingStrategy