Package avail. anvil. streams
Types
Link copied to clipboard
BuildInputStream satisfies reads from the UI's input field. It blocks reads unless some data is available.
Link copied to clipboard
class BuildOutputStream(workbench: AvailWorkbench, val streamStyle: StreamStyle) : ByteArrayOutputStream
Content copied to clipboard
BuildOutputStream intercepts writes and updates the UI's AvailWorkbench.transcript.
Link copied to clipboard
An abstraction of the styles of streams used by the workbench.