korat.finitization
Interface IFinitizationFactory

All Known Implementing Classes:

FinitizationFactory

public interface IFinitizationFactory

Method Summary

IFinitization

createFinitization(Class clz) Creates IFinitization object for the given parameter clz

Method Detail

createFinitization

IFinitization createFinitization(Class clz)

Creates IFinitization object for the given parameter clz

Parameters:

clz - class to create finitization for

Returns:

finitization for the given class