|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface AgendaManager
| Method Summary | |
|---|---|
void |
addItem(AgendaItem i)
|
void |
expandItem(AgendaItem i,
Refinement instructions)
|
void |
handleItem(AgendaItem i,
HandlerAction a)
|
AgendaItem |
makeItem(LList pattern)
|
AgendaItem |
makeItem(java.lang.String patternText)
|
| Method Detail |
|---|
void addItem(AgendaItem i)
AgendaItem makeItem(java.lang.String patternText)
AgendaItem makeItem(LList pattern)
void handleItem(AgendaItem i,
HandlerAction a)
void expandItem(AgendaItem i,
Refinement instructions)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||