ChoicePointStore.java

package alice.tuprolog;

import java.util.ArrayList;
import java.util.List;

public class ChoicePointStore {
	
	private ChoicePointContext pointer;
	
	public ChoicePointStore() {
		pointer = null;
	}
	
	public void add(ChoicePointContext cpc) {
		if (pointer == null) {
			pointer = cpc;
			return;
		}
		ChoicePointContext oldCtx = pointer;
		cpc.prevChoicePointContext = oldCtx;
		pointer = cpc;
	}
	
	public void cut(ChoicePointContext pointerAfterCut) {
		pointer = pointerAfterCut;
	}
	
	/**
	 * Return the correct choice-point
	 */
	public ChoicePointContext fetch() {
		return (existChoicePoint()) ? pointer : null;
	}
	
	/**
	 * Return the actual choice-point store
	 * @return
	 */
	public ChoicePointContext getPointer() {
		return pointer;
	}
	
	/**
	 * Check if a choice point exists in the store.
	 * As a side effect, removes choice points which have been already used and are now empty. 
	 * @return
	 */
	protected boolean existChoicePoint() {
		if (pointer == null) return false;
		ClauseStore clauses;
		do {
			clauses = pointer.compatibleGoals;
			if (clauses.existCompatibleClause()) return true;
			pointer = pointer.prevChoicePointContext;
		} while (pointer != null);			
		return false;
	}
	
	/**
	 * Removes choice points which have been already used and are now empty.
	 */
	protected void removeUnusedChoicePoints() {
		// Note: it uses the side effect of this.existChoicePoint()!
		existChoicePoint();
	}
	
	/**
	 * Cut at defined depth (toDepth)
	 */
//	void cut(int toDepth) {
//		while (pointer != null && pointer.executionContext.depth >= toDepth) {
//			pointer = pointer.prevChoicePointContext;
//		}
//	}
	
	@Override
	public String toString(){
		return pointer + "\n";
	}
	
	/*
	 * Methods for spyListeners
	 */
	
	public List<ChoicePointContext> getChoicePoints() {
		List<ChoicePointContext> l = new ArrayList<ChoicePointContext>();
		ChoicePointContext t = pointer;
		while (t != null) {
			l.add(t);
			t = t.prevChoicePointContext;
		}
		return l;
	}
	
}