JML

org.multijava.mjc
Class CType.TupleCollection

java.lang.Object
  extended byorg.multijava.mjc.CType.TupleCollection
Enclosing class:
CType

public static class CType.TupleCollection
extends Object

This nested class defines a collection of tuples where only the most general type tuples are retained in the collection. This class is useful in gathering a set of tuples to be checked during generic function completeness checking.


Field Summary
private static int EQUAL
           
private static int INCOMPARABLE
           
private static int LESS_SPECIFIC
           
private  ArrayList members
           
private static int MORE_SPECIFIC
           
 
Constructor Summary
CType.TupleCollection()
           
 
Method Summary
 void add(CType[] tuple)
           
 void clear()
           
private  int compareTuples(CType[] first, CType[] second)
           
 boolean isEmpty()
           
 CType[][] members()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

members

private ArrayList members

LESS_SPECIFIC

private static final int LESS_SPECIFIC

MORE_SPECIFIC

private static final int MORE_SPECIFIC

INCOMPARABLE

private static final int INCOMPARABLE

EQUAL

private static final int EQUAL
Constructor Detail

CType.TupleCollection

public CType.TupleCollection()
Method Detail

add

public void add(CType[] tuple)

members

public CType[][] members()

isEmpty

public boolean isEmpty()

clear

public void clear()

compareTuples

private int compareTuples(CType[] first,
                          CType[] second)

JML

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.