|
||||||||||
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.IOException
Space createSpace()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |