Lines Matching full:precondition
579 // Precondition: code has been parsed. Postcondition: the code field in
588 // Precondition: code has been parsed. Postcondition: the code field in
1204 // Precondition: code has been parsed and scopes have been analyzed.
