1
Download Ciao Manual - The Ciao System
Transcript
Chapter 48: The Iso Byte Char module − The following properties should hold upon exit: Arg2 is a list of character_codes. Usage 2: − The following properties should hold at call time: Arg1 is a free variable. Arg2 is a list of character_codes. − The following properties should hold upon exit: Arg1 is a list of atms. get byte/1: Usage: Same as get_byte/2, but use the current input. − Call and exit should be compatible with: Arg1 is an integer. − The following properties should hold upon exit: Arg1 is an integer. 299 (basic props:list/2) (term typing:var/1) (basic props:list/2) (basic props:list/2) PREDICATE h • ISO • i (basic props:int/1) (basic props:int/1) get byte/2: PREDICATE get_byte(Stream,Byte) Is true iff Byte unifies with the next byte to be input from the target Stream. h • ISO • i Usage: − Call and exit should be compatible with: Byte is an integer. (basic props:int/1) − The following properties should hold at call time: Stream is an open stream. (streams basic:stream/1) − The following properties should hold upon exit: Stream is an open stream. (streams basic:stream/1) Byte is an integer. (basic props:int/1) − The following properties should hold globally: Stream is not further instantiated. (basic props:not further inst/2) peek byte/1: Usage: Same as peek_byte/2, but use the current input. − Call and exit should be compatible with: Arg1 is an integer. − The following properties should hold upon exit: Arg1 is an integer. PREDICATE h • ISO • i (basic props:int/1) (basic props:int/1)
