JML

org.multijava.mjc
Class CUniverseImplicitPeer

java.lang.Object
  extended byorg.multijava.mjc.CUniverse
      extended byorg.multijava.mjc.CUniversePeer
          extended byorg.multijava.mjc.CUniverseImplicitPeer

public class CUniverseImplicitPeer
extends CUniversePeer

This class implements a peer/ground/default universe. This is the standard universe that is used if no special annotation is given.

Author:
WMD

Field Summary
static CUniverseImplicitPeer instance
          The singleton reference.
 
Fields inherited from class org.multijava.mjc.CUniversePeer
byteConstant
 
Constructor Summary
CUniverseImplicitPeer()
           
 
Method Summary
static CUniversePeer getUniverse()
          Factory method to return the single universe instance.
 String toJMLString()
          Output the name of the universe as it should be used for JML code.
 String toMJString()
          Output the name of the universe as it should be used for MJ code.
 String toString()
          Output [peer] for error messages.
 
Methods inherited from class org.multijava.mjc.CUniversePeer
equals, getByteConstant, isAlwaysAssignableTo
 
Methods inherited from class org.multijava.mjc.CUniverse
combine
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

instance

public static CUniverseImplicitPeer instance
The singleton reference.

Constructor Detail

CUniverseImplicitPeer

public CUniverseImplicitPeer()
Method Detail

toString

public String toString()
Output [peer] for error messages.

Overrides:
toString in class CUniversePeer

toMJString

public String toMJString()
Output the name of the universe as it should be used for MJ code.

Overrides:
toMJString in class CUniverse

toJMLString

public String toJMLString()
Output the name of the universe as it should be used for JML code.

Overrides:
toJMLString in class CUniverse

getUniverse

public static CUniversePeer getUniverse()
Factory method to return the single universe instance. This might be changed later to have multiple different peer universes. Return type should be implicit, but javac complains!!


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.