korat.finitization.impl
Class FinitizationFactory

java.lang.Object
  korat.finitization.impl.FinitizationFactory

All Implemented Interfaces:

IFinitizationFactory

public class FinitizationFactory
extends Object
implements IFinitizationFactory

Use this factroy class to create finitizations.

Author:

Aleksandar Milicevic

Field Summary

private static FinitizationFactory

instance

Constructor Summary

private

FinitizationFactory()

Method Summary

static IFinitization	create(Class clz) Helper method.
IFinitization	createFinitization(Class clz) Creates IFinitization object for the given parameter clz
static FinitizationFactory	getInstance()

Methods inherited from class java.lang.Object

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

Field Detail

instance

private static FinitizationFactory instance

Constructor Detail

FinitizationFactory

private FinitizationFactory()

Method Detail

getInstance

public static FinitizationFactory getInstance()

createFinitization

public IFinitization createFinitization(Class clz)

Description copied from interface: IFinitizationFactory

Creates IFinitization object for the given parameter clz

Specified by:

createFinitization in interface IFinitizationFactory

Parameters:

clz - class to create finitization for

Returns:

finitization for the given class

See Also:

IFinitizationFactory.createFinitization(Class)

create

public static IFinitization create(Class clz)

Helper method. The same as create(clz)

Parameters:

clz - class to create finitization for

Returns:

finitization for the given class.