| 
|
Quote: Pearl includes assertions about a function; e.g., clear (Queue a) ... Yields empty (a)
topics >
all references >
references sa-sz >
Topic:
run-time assertions
Note
Pearl includes predicate checks on input and output data structures when call a procedure. e.g., Operation clear (Queue a) Provided true Yields empty(a); i.e., clear would always empty the array
Topic: run-time assertions (25 items)