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

org.grinvin.invariants.values

Class ListOfIntegersValue

Implemented Interfaces:
InvariantValue
public class ListOfIntegersValue
extends AbstractInvariantValue
Represents an invariant which is a list of integers.

Constructor Summary

ListOfIntegersValue(int[] values, InvariantComputer computer)

Method Summary

int[]
getValues()
String
toText()
Return a String representation of this value.

Methods inherited from class org.grinvin.invariants.values.AbstractInvariantValue

String toString, getComputerId, getComputerVersion, getInvariant, getType, toText

Constructor Details

ListOfIntegersValue

public ListOfIntegersValue(int[] values,
                           InvariantComputer computer)

Method Details

getValues

public int[] getValues()

toText

public String toText()
Return a String representation of this value.
Specified by:
toText in interface InvariantValue
Overrides:
toText in interface AbstractInvariantValue

Overview Package Tree Index Deprecated About