org.multijava.mjc
Class CUniverseImplicitReadonly

java.lang.Object
  org.multijava.mjc.CUniverse
      org.multijava.mjc.CUniverseReadonly
          org.multijava.mjc.CUniverseImplicitReadonly

public class CUniverseImplicitReadonly

extends CUniverseReadonly

Implements the readonly universe.

Author:

WMD

Field Summary
private static CUniverseImplicitReadonly	instance           The singleton readonly instance.

 

Fields inherited from class org.multijava.mjc.CUniverseReadonly

byteConstant

 

Constructor Summary
protected	CUniverseImplicitReadonly()

 

Method Summary
static CUniverseReadonly	getUniverse()           Get an instance of the readonly universe.
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()           Return "[readonly]".

 

Methods inherited from class org.multijava.mjc.CUniverseReadonly

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

private static CUniverseImplicitReadonly instance

The singleton readonly instance.

CUniverseImplicitReadonly

protected CUniverseImplicitReadonly()

getUniverse

public static CUniverseReadonly getUniverse()

Get an instance of the readonly universe. FIXME return type should be implicit!

toString

public String toString()

Return "[readonly]".

Overrides:

toString in class CUniverseReadonly

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