JvnIntegerWrapper.java

Go to the documentation of this file.
00001 
00004 package counter;
00005 
00006 public class JvnIntegerWrapper extends jvn.JvnObjectImpl implements java.io.Serializable {
00007 
00008     // Fields
00009 
00010     // Constructors and methods, in the following order:
00011     // * Constructors
00012     // * @JvnRead methods
00013     // * @JvnWrite methods
00014     // * other methods
00015 
00016 
00017     public
00018     JvnIntegerWrapper()
00019     throws jvn.JvnException
00020     {
00021         super((java.io.Serializable)(new IntegerWrapper()));
00022     }
00023 
00024 
00025     @jvn.JvnRead() 
00026     public
00027     int
00028     read()
00029     throws jvn.JvnException
00030     {
00031         if (__containedObject != null) {
00032             int returnVal;
00033             this.jvnLockRead();
00034             returnVal = ((IntegerWrapper)__containedObject).read();
00035             this.jvnUnLock();
00036             return returnVal;
00037         }
00038         else {
00039             throw new jvn.JvnException("JvnIntegerWrapper instance " + this + " not initialized !");
00040         }
00041     }
00042 
00043 
00044     @jvn.JvnWrite() 
00045     public
00046     void
00047     write(int param0)
00048     throws jvn.JvnException
00049     {
00050         if (__containedObject != null) {
00051             this.jvnLockWrite();
00052             ((IntegerWrapper)__containedObject).write(param0);
00053             this.jvnUnLock();
00054         }
00055         else {
00056             throw new jvn.JvnException("JvnIntegerWrapper instance " + this + " not initialized !");
00057         }
00058     }
00059 
00060 
00061 }

Generated on Wed Jan 2 10:15:54 2008 for Javanaise by  doxygen 1.5.4