1) Test that Object Test works with expanded classes

if {x: INTEGER} 10 then print ("True") end

if {x: REAL_64} 10.0 then print ("True") end

The tests should pass.

2) Test that Object Test doesn't perform any conversion

if {x: REAL} 10 then print ("True") end

Object Test should fail

3) Test that the Object Tests don't pass with Void references

if {x: INTEGER} Void then print ("True") end

4) Check that unattached types may be checked with read-only variables

make is -- Run application. local y: ?ANY do y := Current if {x: APPLICATION} y then print ("True%N") end end

Should compile and print True

5) Check that unattached types can not be checked with read-write variables.

make is -- Run application. do y := Current if {x: APPLICATION} y then print ("True%N") end end

y: ?ANY

Should not compile as all object tests must conform to a Certified Attachment Patterns, of which this is not one.

A basic application compiled by the wizard