Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.racwrap.runner
Class Wrapped

java.lang.Object
  extended byorg.jmlspecs.racwrap.runner.Wrapped
public class Wrapped
extends Object

This class is the root of the inheritance hierarchy of original objects. If the original source class extends object, then it will be transformed to extend Wrapped.

Field Summary
 Object _chx_this
           
 Object chx_this
           
 
Constructor Summary
Wrapped()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_chx_this

public Object _chx_this

chx_this

public Object chx_this
Constructor Detail

Wrapped

public Wrapped()
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.