@BoundedIntDomain
You use the @BoundedIntDomain to specify
an interval between two bounding values.
Purpose
Specifies an interval between two
bounding values on a member or a parameter of type int.
Syntax
@BoundedIntDomain(min = <an int>, max = <an int>)
Description
The @BoundedIntDomain provides
a bounded domain to specify an interval between two bounding values
on a member or a parameter of type int.
Example
In the XOM, the annotation can be used as follows:
public class Customer {
@BoundedIntDomain(min = 0, max = 120)
public int age;
}The result in the BOM is the following code:
class Customer {
int age domain [0,120];
}