there is no (type)

This construct tests whether a data set contains no objects of the given type.

Purpose

You use this construct to determine whether the specified collection contains no occurrences of a particular object.

Syntax

there is no <type> [in <list>] [where <test>,]

Description

Use the in clause to apply the test to a specific collection of objects. Use one or more optional where clauses to filter the objects to be counted with one or more conditions.

This construct can be used only in the if part of a rule.

Example

The following condition tests that there is no object of type Customer with an age over 60 in the list of customers.

if
   there is no customer in the customers of bank where the age of this customer is at least 60
then...