mjc

org.multijava.mjc
Class CUniverseRep

java.lang.Object
  extended byorg.multijava.mjc.CUniverse
      extended byorg.multijava.mjc.CUniverseRep

public class CUniverseRep
extends CUniverse

Implements the rep universe that specifies the representation of the current object.

Author:
WMD

Field Summary
static byte byteConstant
          The constant used in the bytecode to represent this universe.
private static CUniverseRep instance
          The singleton rep universe instance.
 
Constructor Summary
protected CUniverseRep()
           
 
Method Summary
 byte getByteConstant()
          Returns the bytecode constant representing this particular universe.
static CUniverseRep getUniverse()
          Get an instance of the rep universe.
 boolean isAlwaysAssignableTo(CUniverse other)
          A rep universe is assignable to another rep universe or to a readonly reference.
 String toString()
          Return "rep".
 
Methods inherited from class org.multijava.mjc.CUniverse
combine, equals, toJMLString, toMJString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

instance

private static CUniverseRep instance
The singleton rep universe instance.


byteConstant

public static final byte byteConstant
The constant used in the bytecode to represent this universe.

Constructor Detail

CUniverseRep

protected CUniverseRep()
Method Detail

isAlwaysAssignableTo

public boolean isAlwaysAssignableTo(CUniverse other)
A rep universe is assignable to another rep universe or to a readonly reference.


getUniverse

public static CUniverseRep getUniverse()
Get an instance of the rep universe. Right now we simply only use the attributes from the first invocation and return one instance.


toString

public String toString()
Return "rep".

Specified by:
toString in class CUniverse

getByteConstant

public byte getByteConstant()
Returns the bytecode constant representing this particular universe.


mjc

mjc is Copyright (C) 2000-2004 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. mjc is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.