stlab.adobe.com Adobe Systems Incorporated

ConvertibleToBool
[Concepts]

Detailed Description

A type is ConvertibleToBool if it can be implicitly converted to a boolean value.

Refinement Of:
Associated Types:
Notation:
X A type that is a model of ConvertibleToBool
x Object of type X
b Object of type bool
Definitions:
Valid Expressions:
NameExpressionType requirementsReturn type
ConvertibleToBool bool b = x;   bool
ConvertibleToBool if (x)
-or-
if (!x)
   
Expression Semantics:
NameExpressionPreconditionSemanticsPostcondition
ConvertibleToBool bool b = x;      
ConvertibleToBool if (x)
-or-
if (!x)
     
Complexity Guarantees:
Invariants:
Type(s) Modeling this Concept:
Notes:
See Also:

Copyright © 2006-2007 Adobe Systems Incorporated.

Use of this website signifies your agreement to the Terms of Use and Online Privacy Policy.

Search powered by Google