LipstickShimExplicitCausality.java

package edu.berkeley.lipstick.shim;

import edu.berkeley.lipstick.backend.IExplicitBackend;
import edu.berkeley.lipstick.config.Config;
import edu.berkeley.lipstick.util.DataWrapper;

import java.util.Set;

public class LipstickShimExplicitCausality {

    private IExplicitBackend backend;

    public LipstickShimExplicitCausality() throws Exception {
        backend = Config.getExplicitBackend();
    }

    public void open() throws Exception {
        backend.open();
    }

    public void close() throws Exception {
        backend.close();
    }

    public final DataWrapper get(String key) throws Exception {
        return backend.get(key);
    }

    public DataWrapper put_after(String key, Object value, final DataWrapper after) throws Exception {
        return backend.put_after(key, value, after);
    }

    public DataWrapper put_after(String key, Object value, final Set<DataWrapper> after) throws Exception {
        return backend.put_after(key, value, after);
    }

    public DataWrapper put_at_start(String key, Object value) throws Exception {
        return backend.put_at_start(key, value);
    }

}