JvnIntegerWrapper.java

Go to the documentation of this file.

package counter;

public class JvnIntegerWrapper extends jvn.JvnObjectImpl implements java.io.Serializable {

    // Fields

    // Constructors and methods, in the following order:
    // * Constructors
    // * @JvnRead methods
    // * @JvnWrite methods
    // * other methods


    public
    JvnIntegerWrapper()
    throws jvn.JvnException
    {
        super((java.io.Serializable)(new IntegerWrapper()));
    }


    @jvn.JvnRead() 
    public
    int
    read()
    throws jvn.JvnException
    {
        if (__containedObject != null) {
            int returnVal;
            this.jvnLockRead();
            returnVal = ((IntegerWrapper)__containedObject).read();
            this.jvnUnLock();
            return returnVal;
        }
        else {
            throw new jvn.JvnException("JvnIntegerWrapper instance " + this + " not initialized !");
        }
    }


    @jvn.JvnWrite() 
    public
    void
    write(int param0)
    throws jvn.JvnException
    {
        if (__containedObject != null) {
            this.jvnLockWrite();
            ((IntegerWrapper)__containedObject).write(param0);
            this.jvnUnLock();
        }
        else {
            throw new jvn.JvnException("JvnIntegerWrapper instance " + this + " not initialized !");
        }
    }


}

---