Electrical and Computer Engineering
14 of 30
UAH
CPE 112
Function Interface Examples
•void PrintAverage( /* in */ float sum,
•                   /* in */ int count)
•// Precondition:
•//    sum is assigned && count > 0
•// Postcondition:
•//    The average sum/count has been output on one line
•
•void Calc( /* in */  int alpha,
•           /* inout */ int& beta )
•// Precondition:
•//    alpha and beta are assigned
•// Postcondition:
•//    beta == beta@entry * 7 - alpha