Commit | Line | Data |
---|---|---|
4738677d TTN |
1 | Iso-Functional Type Contour |
2 | ||
3 | ||
4 | This is a term coined to describe "column int->float" change approach, and can | |
5 | be used whenever low-level types need to change (hopefully not often!) but the | |
6 | meanings of the values (whose type has changed) do not. | |
7 | ||
8 | The premise is that changing a low-level type potentially means lots of code | |
9 | needs to be changed as well, and the question is how to do this incrementally, | |
10 | which is the preferred way to change things. | |
11 | ||
12 | Say LOW and HIGH are C functions: | |
13 | ||
14 | int LOW (void) { return 1; } | |
15 | void HIGH (void) { int value = LOW (); } | |
16 | ||
17 | We want to convert LOW to return float, so we cast HIGH usage: | |
18 | ||
19 | float LOW (void) { return 1.0; } | |
20 | void HIGH (void) { int value = (int) LOW (); } /* iftc */ | |
21 | ||
22 | The comment /* iftc */ is used to mark this type of casting to differentiate | |
23 | it from other casting. We commit the changes and can now go about modifying | |
24 | LOW and HIGH separately. When HIGH is ready to handle the type change, the | |
25 | cast can be removed. | |
ab5796a9 | 26 |