|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface InputGenerator
Interface that generates input for interpreter deserialisation
| Method Summary | |
|---|---|
BufferedInput |
createBufferedInput()
Create a new BufferedInput |
Space |
createSpace()
Create a new space |
| Method Detail |
|---|
BufferedInput createBufferedInput()
throws java.io.IOException
java.io.IOExceptionSpace createSpace()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||