All Downloads are FREE. Search and download functionalities are using the official Maven repository.

CompilerRuntime.AggregationHelper Maven / Gradle / Ivy

There is a newer version: 1.7.3
Show newest version

package CompilerRuntime;

import java.util.Set;
import org.coreasm.engine.absstorage.Location;
import org.coreasm.engine.absstorage.Update;

public interface AggregationHelper {
	public enum Flag {SUCCESSFUL, FAILED};
	
	Set getLocsWithAnyAction(String ... actions);
	
	Set getLocsWithActionOnly(String action);
	
	UpdateList getLocUpdates(Location loc);
	
	boolean regularUpdatesAffectsLoc(Location loc);
	
	boolean inconsistentRegularUpdatesOnLoc(Location loc);
	
	void flagUpdate(Update update, Flag flag, UpdateAggregator agg);
	
	void handleInconsistentAggregationOnLocation(Location loc, UpdateAggregator plugin);
	
	void addResultantUpdate(Update update, UpdateAggregator plugin);
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy