FileDocCategorySizeDatePackage
Purse.javaAPI DocJava Card910Wed Mar 22 21:07:24 GMT 2006com.sun.javacard.samples.RMIDemo

Purse.java

/*
 * Copyright 2005 Sun Microsystems, Inc. All rights reserved.
 * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
 */

package com.sun.javacard.samples.RMIDemo;

import java.rmi.*;
import javacard.framework.*;

/**
 *
 * @author  vo113324
 */
public interface Purse extends Remote{

    public static final short UNDERFLOW = (short)0x6000;
    public static final short OVERFLOW  = (short)0x6001;

    public static final short BAD_ARGUMENT  = (short)0x6002;
    
    public static final short MAX_AMOUNT = (short)400; // for whatever reason
    
    public short getBalance() throws RemoteException;
    public void debit(short m) throws RemoteException, UserException;
    public void credit(short m) throws RemoteException, UserException;

    public void setAccountNumber(byte[] number) throws RemoteException, UserException;
    public byte[] getAccountNumber() throws RemoteException;
}