org.jmlspecs.samples.table
Interface Entry

All Superinterfaces:

Cloneable, JMLType, Serializable

All Known Implementing Classes:

EntryImplementation

public interface Entry

extends JMLType

Table entries, which are pairs of an index and a value. These are both JMLType objects.

Author:

Gary T. Leavens, Albert L. Baker

Method Summary
Object	clone()           Return a clone of this object.
boolean	equals(Object o)           Test whether this object's value is equal to the given argument.
JMLType	getIndex()           The model of the index of this entry.
JMLType	getValue()           Return this entry's value.

 

Methods inherited from interface org.jmlspecs.models.JMLType

hashCode

 

Method Detail

getIndex

public JMLType getIndex()

The model of the index of this entry. The model of the value of this entry. Return this entry's index.

getValue

public JMLType getValue()

Return this entry's value.

equals

public boolean equals(Object o)

Description copied from interface: JMLType

Test whether this object's value is equal to the given argument.

Specified by:

equals in interface JMLType

clone

public Object clone()

Description copied from interface: JMLType

Return a clone of this object.

Specified by:

clone in interface JMLType