Water 5-Type and Object System-Type System
method is_type_for
Describes a type
Contract
Return typewob
Parameter keyDefault valueType
a_wobreq
Water Contract
<method is_type_for
  a_wob=req/>

See also: is_a

Can be defined on any object and the method returns true if the object (first argument) satisfies the type. By default, is_type_for on a class is the opposite of is_a , in that if X.<is_a Y/> , then Y.<is_type_for X/> When type-checking is on, is_type_for is called on every argument value to see if it satisfies the type of the parameter.

© Copyright 2007 Clear Methods, Inc.