Overview Package Tree Index Deprecated About
Prev Class | Next ClassFrames | No Frames
Summary: Nested | Field | Method | ConstrDetail: Nested | Field | Method | Constr

org.grinvin.invariants.computers

Class AbstractInvariantComputer

Implemented Interfaces:
InvariantComputer
Known Direct Subclasses:
AbstractInvariantCComputer
public abstract class AbstractInvariantComputer
extends java.lang.Object
implements InvariantComputer
Abstract superclass used by most invariant computers. Provides a standard identifier and version.

Constructor Summary

AbstractInvariantComputer()

Method Summary

String
getId()
The id of an invariant computer is usually the same as its fully qualified class name.
String
getVersion()
This implementation returns the string 1.0.

Constructor Details

AbstractInvariantComputer

protected AbstractInvariantComputer()

Method Details

getId

public String getId()
The id of an invariant computer is usually the same as its fully qualified class name.
Specified by:
getId in interface InvariantComputer

getVersion

public String getVersion()
This implementation returns the string 1.0.
Specified by:
getVersion in interface InvariantComputer

Overview Package Tree Index Deprecated About