2.10 Terminology Pertaining to Error Conditions

When this specification specifies that it "is an error" for some situation to occur, this means that: [annotate]

• No valid CLIM program should cause this situation to occur. [annotate]
• If this situation does occur, the effects and results are undefined as far as adherence to the CLIM specification is concerned. [annotate]
• CLIM implementations are not required to detect such an error, although implementations are encouraged to provide such error detection whenever it is reasonable to do so. [annotate]

When this specification specifies that some argument "must be a type" or uses the phrase "the type argument", this means that it is an error if the argument is not of the specified type. CLIM implementations are encouraged, but not required, to generate an argument type error for these situations. [annotate]

When this specification says that "an error is signalled" in some situation, this means that: [annotate]

• If the situation occurs, an error will be signalled using either error or cerror. [annotate]
• Valid CLIM programs may rely on the fact that an error will be signalled. [annotate]
• Every CLIM implementation is required to detect such an error. [annotate]

When this specification says that "a condition is signalled" in some situation, this is just like "an error is signalled" with the exception that the condition will be signalled using signal instead of error. [annotate]