2016-12-05 22:15:40 +01:00
|
|
|
[[user input::task| ]]
|
2015-02-20 00:35:01 -05:00
|
|
|
{{omit from|ACL2}}
|
|
|
|
|
{{omit from|GUISS}}
|
|
|
|
|
{{omit from|PARI/GP}}
|
|
|
|
|
|
2016-12-05 22:15:40 +01:00
|
|
|
Flush the [[input device::keyboard]] buffer.
|
|
|
|
|
|
|
|
|
|
This reads characters from the keyboard input and
|
|
|
|
|
discards them until there are no more currently buffered,
|
|
|
|
|
and then allows the program to continue.
|
|
|
|
|
|
2015-02-20 00:35:01 -05:00
|
|
|
''The program must not wait for users to type anything.''
|
2016-12-05 22:15:40 +01:00
|
|
|
<br><br>
|
