Flyology_TUI.Input

Description

Feed

procedure Feed (Item : in out Parser; Data : String)

Feed raises Input_Error before accepting a fragment that would exceed Max_Pending_Bytes, or before adding an event beyond Max_Queued_Events. Callers may feed larger reads as multiple bounded fragments.

Parameters

Item

Data

Flush_Escape

procedure Flush_Escape (Item : in out Parser)

Resolve the leading escape of an incomplete sequence as Escape, then parse its remaining bytes normally. A backend calls this after its escape delay.

Parameters

Item

Has_Event

function Has_Event (Item : Parser) return Boolean

Parameters

Item

Return value

Initialize

procedure Initialize
  (Item              : in out Parser;
   Max_Paste_Bytes   : Positive := 1_048_576;
   Max_Pending_Bytes : Positive := 16_384;
   Max_Queued_Events : Positive := 4_096)

Parameters

Item

Max_Paste_Bytes

Max_Pending_Bytes

Max_Queued_Events

Input_Error

Input_Error : exception;

Next_Event

procedure Next_Event
  (Item      : in out Parser;
   Event     : out Flyology_TUI.Events.Terminal_Event;
   Available : out Boolean)

Parameters

Item

Event

Available

Parser

type Parser is tagged private;

Reset

procedure Reset (Item : in out Parser)

Parameters

Item