Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.samples.table
Interface Table

All Known Implementing Classes:
TableImplementation
public interface Table

Tables are finite maps from indexes to values.

Author:
Gary T. Leavens, Albert L. Baker

Method Summary
 void addEntry(Entry e)
          Add the given entry to this table.
 boolean isUsedIndex(JMLType d)
          The model of the entries (rows) in the table.
 JMLType mapTo(JMLType d)
          Return the value at the given index.
 void removeEntry(JMLType d)
          Take out the given entry from this table.
 

Method Detail

isUsedIndex

public boolean isUsedIndex(JMLType d)
The model of the entries (rows) in the table. Is the given index used in the table?

addEntry

public void addEntry(Entry e)
Add the given entry to this table.

removeEntry

public void removeEntry(JMLType d)
Take out the given entry from this table.

mapTo

public JMLType mapTo(JMLType d)
Return the value at the given index.

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.