decrementa.java

mylanguage（大学作业）

//
//  IncrementaRegistro.java
//
//  Created by Dario Malchiodi on Jan 04 2006.
//  Copyright (c) 2006 DSI. All rights reserved.
//

import java.util.*;

public class Decrementa extends Istruzione {

    private String variabile;
    private int decremento;

    public Decrementa(String v, int decr) {
        variabile = new String(v);
        decremento = decr;
    }

    public void esegui() throws ExecutionException {
        if(memoria.get(variabile) == null) throw new InvalidVariableException(variabile);
        if(decremento<=0) throw new InvalidDecrementException(decremento);
        Integer val = (Integer)memoria.get(variabile);
        memoria.put(variabile,new Integer(val.intValue()-decremento));
    }
    
    public Object clone() {
        return new Decrementa(variabile, decremento);

    }
    
    public String toString() {
        return indenta() + variabile + " -= " + decremento + ";\n";
    }

}