• Home
• org.coreasm
• org.coreasm.engine
• 1.7.2
• source code
• AbstractStorage.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

CompilerRuntime.AbstractStorage Maven / Gradle / Ivy

package CompilerRuntime;

import org.coreasm.engine.absstorage.Element;
import org.coreasm.engine.absstorage.InvalidLocationException;

public interface AbstractStorage extends State{
	/** 'program' function name */
	public static final String PROGRAM_FUNCTION_NAME = "program";
	/** 'Agents' universe name */
	public static final String AGENTS_UNIVERSE_NAME = "Agents";
	/** 'functionElement' function name */
	public static final String FUNCTION_ELEMENT_FUNCTION_NAME = "functionElement";
	/** 'universeElement' function name */
	public static final String UNIVERSE_ELEMENT_FUNCTION_NAME = "universeElement";
	
	public void initAbstractStorage(CompilerRuntime.Rule initRule);
	
	public void fireUpdateSet(UpdateList updates) throws InvalidLocationException;
	
	public UpdateList performAggregation(UpdateList updateInsts);
	
	public void aggregateUpdates();
	
	public UpdateList compose(UpdateList updateSet1, UpdateList updateSet2);
	
	public boolean isConsistent(UpdateList updateSet);
	
	public Element getNewElement();
	
	public void pushState();
	
	public void popState();
	
	public void apply(UpdateList u);
	
	public void clearState();
	
	public UpdateList getLastInconsistentUpdate();
}