type/verify - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/verify

type/verify

check for the Boolean of verification results

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(a, verify(bool))

Parameters

a

-

any expression

bool

-

either 'true', 'false', or 'FAIL'

Description

• 

Forcing a result from verify to return a Boolean value is too restrictive, so a more general class of objects may be returned, with the Boolean value of these being checked by the above types.

• 

A result from a call to verify is considered to be true if the result is true.  A result from a call to verify is considered to be either false or FAIL if either of those values is returned, or if a list containing either false or FAIL as a first operand is returned, respectively.

• 

The special verification boolean will convert all return values which are lists to return the first operand of the list.  This can be used if a boolean value is expected by some procedure.

• 

The special verification truefalse will convert all return values which are lists to return the false.  This can be used if a truefalse value is expected by some procedure.

Examples

typetrue,'verify''true'

true

(1)

typefalse,'verify''false'

true

(2)

typefalse,0.100108,'ulps','verify''false'

true

(3)

verify10,10.000001,float2

false,100.,ulps

(4)

verify10,10.000001,booleanfloat2

false

(5)

verifyx,π,greater_than

FAIL

(6)

verifyx,π,truefalsegreater_than

false

(7)

selectverify,1,2,3,x,π,less_than

1,2,3

(8)

selectverify,1,2,3,x,π,truefalseless_than

1,2,3

(9)

See Also

type

type/verification

verify

verify/structured