org.multijava.mjc
Class CUniverseImplicitPeer

java.lang.Object
  org.multijava.mjc.CUniverse
      org.multijava.mjc.CUniversePeer
          org.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.

CUniverseImplicitPeer

public CUniverseImplicitPeer()

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!!