Ada Programming/Attributes/'Input

Description
Reads and returns one value from the Stream argument.

For every subtype S of a specific type T:

S'Input denotes a function with the following specification: S'Input reads and returns one value from Stream, using any bounds or discriminants written by a corresponding S'Output to determine how much to read.