Instance-of Condition
The instance-of condition determines whether an object reference is an instance
of a particular class or interface.
General Format

Syntax Rules
- Object-identifier-1 must be an object reference.
- Class-name-1 must be the name of a class specified in the Repository paragraph
or the Class-Control paragraph of this source element.
- Interface-name-1 must be the name of an interface specified in the Repository
paragraph or the Class-Control paragraph of this source element.
General Rules
- If none of the optional phrases is specified, the result of the instance-of
test is true if the object named by object-identifier-1 is an instance of
the class named by class-name-1 or one of its subclasses, or the interface
named by interface-name-1 or one of its subinterfaces.
- If the FACTORY phrase is specified and the ONLY phrase is not specified,
the result of the instance-of test is true if the object named by object-identifier-1
is the factory of the class named by class-name-1.
- If the ONLY phrase is specified and the FACTORY phrase is not specified,
the result of the instance-of test is true if the object named by object-identifier-1
is an instance of the class named by class-name-1, and not one of its subclasses.
- If both the FACTORY phrase and the ONLY phrase are specified, the result
of the instance-of test is true if the object named by object-identifier-1
is the factory of the class named by class-name-1, and not one of its subclasses