Assertion: parameter's value | /r/HasProperty | read
Facets:
Source sentences:
text: For example, if you want to read a list of integers from a file, and you want to know both how many integers were read, as well as the average value that was read, you might use a function like the following:
text: Read and return the length and width of a rectangle // Postcondition: the values of the two arguements are read void GetData(int& length, int& width); or // Purpose: Read and return the length and width of a rectangle // Postcondition: the values of the two arguements are read void GetData(int&, int&);