next up previous contents
Next: Symbol Up: Type Previous: Procedure Types   Contents

Qualified Types

    concrete QualifiedType : Type
        DataType * reference base_type;
        searchable_list<LString> qualifications;

Qualified types add information about storage, such as ``const'' or ``volatile''. Note that properties of the storage have no meaning for the value itself; it does not make sense to talk about a value returned by an add instruction, say, as being const or volatile.

SUIF Nightly Build