: Public <<type>> Class
-- Infinite if and only if value is not specified<br /></p><p>{[ isInfinte = True ] = [ value = Null ]}<br /></p><p>-- value is either infinite or non-negative<br /></p><p>{value <> Null implies value >= 0}<br /></p>
Attribute |
Public Boolean isInfinite
|
Details:
Alias: |
|
Initial: |
|
Stereotype: |
|
Ordered: |
|
Range: |
|
|
Public Integer value
|
Details:
Alias: |
|
Initial: |
|
Stereotype: |
|
Ordered: |
|
Range: |
Range:0 to 1 |
|
Tag |
Value |
persistence |
persistent |
 Details:
|