ConvertibleToBool

Description

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

Refinement Of

Associated Type(s)

Notation

X	A type that is a model of ConvertibleToBool
x	Object of type X
b	Object of type bool

Definitions

Valid Expressions

Name	Expression	Type requirements	Return type
ConvertibleToBool	bool b = x;		bool
ConvertibleToBool	if (x) -or- if (!x)

Expression Semantics

Name	Expression	Precondition	Semantics	Postcondition
ConvertibleToBool	bool b = x;
ConvertibleToBool	if (x) -or- if (!x)

Complexity Guarantee(s)

Invariants

Type(s) Modeling this Concept

• a pointer
• adobe::name_t

Notes

See Also