incrementa.java

mylanguage（大学作业）

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

import java.util.*;

public class Incrementa extends Istruzione {

    private String variabile;
    private int incremento;

    public Incrementa(String v, int incr) {
        variabile = new String(v);
        incremento = incr;
    }

    public void esegui() throws ExecutionException {
        if(memoria.get(variabile) == null) throw new InvalidVariableException(variabile);
        if(incremento<=0) throw new InvalidIncrementException(incremento);
        
        Integer val = (Integer)memoria.get(variabile);
        memoria.put(variabile,new Integer(val.intValue()+incremento));
    }
    
    public Object clone() {
        return new Incrementa(variabile, incremento);
    }
    
    public String toString() {
        return indenta() + variabile + " += " + incremento + ";\n";
    }

}