|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectinpro.incremental.PushBuffer
inpro.incremental.sink.OutputForSimpleText
public class OutputForSimpleText
| Field Summary | |
|---|---|
(package private) java.io.PrintStream |
outputStream
|
(package private) java.lang.String |
outputString
|
| Constructor Summary | |
|---|---|
OutputForSimpleText()
|
|
| Method Summary | |
|---|---|
void |
hypChange(java.util.Collection<? extends IU> ius,
java.util.List<? extends EditMessage<? extends IU>> edits)
this should receive a list of current IUs and a list of edit messages since the last call to hypChange |
| Methods inherited from class inpro.incremental.PushBuffer |
|---|
newProperties, reset |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
java.io.PrintStream outputStream
java.lang.String outputString
| Constructor Detail |
|---|
public OutputForSimpleText()
| Method Detail |
|---|
public void hypChange(java.util.Collection<? extends IU> ius,
java.util.List<? extends EditMessage<? extends IU>> edits)
PushBuffer
hypChange in class PushBufferius - while this is a (plain) collection, the collection's iterator()
method must ensure a sensible ordering of the returned elements.
For now we have only used Lists (which are ordered),
but a Tree of IUs should also be possible and this should gracefully
work together with processors that expect listsedits - a list of edits since the last call to hypChange
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||