Parent Directory
| 
Revision Log
| 
Patch
| revision 1043 by johnpye, Fri Jan 5 06:24:59 2007 UTC | revision 1051 by johnpye, Sat Jan 6 04:08:29 2007 UTC | |
|---|---|---|
| # | Line 1 | Line 1 |
| 1 | REQUIRE "iapwssatprops.a4c"; | REQUIRE "steam/iapwssatprops.a4c"; |
| 2 | ||
| 3 | MODEL iapwssat REFINES iapwssatprops; | MODEL iapwssat REFINES iapwssatprops; |
| 4 | x IS_A fraction; (* ensures we stay in the required region *) | x IS_A fraction; (* ensures we stay in the required region *) |
| # | Line 30 METHOD values; | Line 30 METHOD values; |
| 30 | RUN iapwssatprops::values; | RUN iapwssatprops::values; |
| 31 | x := 1.01; | x := 1.01; |
| 32 | END values; | END values; |
| 33 | METHOD self_test; | |
| 34 | ASSERT x == 1.0; | |
| 35 | END self_test; | |
| 36 | END testiapwssat1; | END testiapwssat1; |
|
||||||||
| john.pye@anu.edu.au | ViewVC Help |
| Powered by ViewVC 1.1.22 |