ReadSet.java

package pt.ist.fenixframework.pstm;

import java.util.HashMap;
import java.util.Map;

import jvstm.VBox;
import jvstm.VBoxBody;


public class ReadSet {
    private HashMap<VBox,VBoxBody> bodiesRead = new HashMap<VBox,VBoxBody>();

    ReadSet(Map<VBox,VBoxBody> bodiesRead) {
	this.bodiesRead.putAll(bodiesRead);
    }

    public void merge(ReadSet otherReadSet) {
	this.bodiesRead.putAll(otherReadSet.bodiesRead);
    }

    public boolean isStillCurrent() {
        for (Map.Entry<VBox,VBoxBody> entry : bodiesRead.entrySet()) {
            if (entry.getKey().body != entry.getValue()) {
                return false;
            }
        }
        return true;	
    }
}