org.grinvin.invariants

Interface InvariantComputerFactory

Known Implementing Classes:
AbstractInvariantComputerFactory

public interface InvariantComputerFactory

An object that satisfies this interface can be used to create an invariant computer. To have this factory create an invariant computer, first obtain the corresponding invariant factory, set its parameters and then call createInvariantComputer(InvariantFactory) using this invariant factory as an argument.

Method Summary

InvariantComputer
createInvariantComputer(InvariantFactory invariantFactory)
Creates and returns an invariant computer for the parameter values as stored with the given invariant factory.
String
getId()
Return the universally unique identifier for this object.
String
getInvariantId()
Return the generic identifier of the (parametrized) invariant which is computed by this object.
String
getVersion()
Return the version of this invariant computer factory.

Method Details

createInvariantComputer

public InvariantComputer createInvariantComputer(InvariantFactory invariantFactory)
            throws FactoryParameterException
Creates and returns an invariant computer for the parameter values as stored with the given invariant factory.
Parameters:
invariantFactory - Invariant factory with the same id as returned form getInvariantId().

getId

public String getId()
Return the universally unique identifier for this object. For most invariant computer factories this is the fully qualified class name of the implementation class.

getInvariantId

public String getInvariantId()
Return the generic identifier of the (parametrized) invariant which is computed by this object.

getVersion

public String getVersion()
Return the version of this invariant computer factory.