org.grinvin.invariants
Interface InvariantComputerFactory
- 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.
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.
|
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.