[ HPF Home | Versions | Compilers | Projects | Publications | Applications | Benchmarks | Events | Contact ] |
The procedure characteristics defined by an interface body must be consistent with the procedure's definition. Regarding pure procedures, this is interpreted as follows:
That is, if an interface body contains a PURE attribute, then the corresponding procedure definition must also contain it, though the reverse is not true. When a procedure definition with a PURE attribute is compiled, the compiler may check that it satisfies the necessary constraints.
©2000-2006 Rice University | [ Contact Us | HiPerSoft | Computer Science ] |