edu.washington.cs.supple.customization.state
Class Plan

java.lang.Object
  edu.washington.cs.supple.customization.state.Plan

public class Plan

extends java.lang.Object

The list of customization commands that were issued by the user.

Author:

raphael

Constructor Summary

Plan()

Method Summary

void	add(java.util.List newCommands)
void	addFirst(Command command)
void	addLast(Command command)
Plan	copy()
void	execute(State s)
void	execute(State s, Specification spec)
java.util.List	getList()
java.util.ListIterator	iterator()
void	printPlan()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Plan

public Plan()

Method Detail

copy

public Plan copy()

addFirst

public void addFirst(Command command)

addLast

public void addLast(Command command)

add

public void add(java.util.List newCommands)

execute

public void execute(State s)
             throws ConditionViolationException

Throws:

ConditionViolationException

execute

public void execute(State s,
                    Specification spec)
             throws ConditionViolationException

Throws:

ConditionViolationException

iterator

public java.util.ListIterator iterator()

getList

public java.util.List getList()

printPlan

public void printPlan()