JML

Uses of Class
org.multijava.mjc.CUniversePeer

Packages that use CUniversePeer
org.multijava.mjc Implements mjc, a MultiJava compiler. 
 

Uses of CUniversePeer in org.multijava.mjc
 

Subclasses of CUniversePeer in org.multijava.mjc
 class CUniverseImplicitPeer
          This class implements a peer/ground/default universe.
 

Fields in org.multijava.mjc declared as CUniversePeer
static CUniversePeer CUniversePeer.instance
          The singleton reference.
 

Methods in org.multijava.mjc that return CUniversePeer
static CUniversePeer CUniversePeer.getUniverse()
          Factory method to return the single universe instance.
static CUniversePeer CUniverseImplicitPeer.getUniverse()
          Factory method to return the single universe instance.
 


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.