org.jmlspecs.samples.table
Class EntryImplementation

java.lang.Object
  org.jmlspecs.samples.table.EntryImplementation

All Implemented Interfaces:

Cloneable, Entry, JMLType, Serializable

public class EntryImplementation

extends Object

implements Entry

Entries for Tables that map an index to a value.

Author:

Katie Becker, Gary T. Leavens

Field Summary
private  JMLType	ind           The index stored for this entry.
private  JMLType	val           The value stored for this entry.

 

Constructor Summary

EntryImplementation(JMLType ind, JMLType val)           Initialize this entry.

 

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.
int	hashCode()           Return a hash code for this object.

 

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

ind

private JMLType ind

The index stored for this entry.

val

private JMLType val

The value stored for this entry.

EntryImplementation

public EntryImplementation(JMLType ind,
                           JMLType val)

Initialize this entry.

getIndex

public JMLType getIndex()

Description copied from interface: Entry

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

Specified by:

getIndex in interface Entry

getValue

public JMLType getValue()

Description copied from interface: Entry

Return this entry's value.

Specified by:

getValue in interface Entry

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 Entry

Overrides:

equals in class Object

hashCode

public int hashCode()

Description copied from interface: JMLType

Return a hash code for this object.

Specified by:

hashCode in interface JMLType

Overrides:

hashCode in class Object

clone

public Object clone()

Description copied from interface: JMLType

Return a clone of this object.

Specified by:

clone in interface Entry

Overrides:

clone in class Object