Package avail.anvil.streams

Types

Link copied to clipboard
class BuildInputStream(workbench: AvailWorkbench) : ByteArrayInputStream

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

BuildOutputStream intercepts writes and updates the UI's AvailWorkbench.transcript.

Link copied to clipboard
enum StreamStyle : Enum<StreamStyle>

An abstraction of the styles of streams used by the workbench.