partial const'ness (was feature wanted: detect missing 'const')

Another problem with "const" arises when I want to annotate part of a
pre-existing declaration. For instance:


    typedef struct treestruct {
        struct treestruct *left, *right;
        float value;
    } tree;


    ...


    void valmunge(tree *t)
    {
        /* code that modifies t->value but not t->left or t->right */
    }


I would like to declare that "left" and "right" are const, without
contraining my ability to modify "value" (or just declare "value" as var,
depending on your bent). It seems that the only thing to do is to take
advantage of structural equivalence and declare a new type called
"consttree" or some such. I'd be interested in suggestions on how to deal
with this, including suggest language mods.


david
--

Return to the comp.compilers page.
Search the comp.compilers archives again.