JML

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()

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.