Domain Rules

Domain rules specify constraints that restrict a defined data type.

Domain rules follow the WHERE keyword.
Each domain rule evaluates to a logical (TRUE, FALSE, UNKNOWN) value.

TYPE length_measure = REAL;
END_TYPE; -- STEP Part 41

TYPE positive_length_measure
= length_measure;
WHERE
WR41T1 : SELF > 0;
END_TYPE; -- STEP Part 41

Any attribute, local variable or formal parameter declared to be of type positive_length_measure is constrained to have only positive values.

Previous slide Next slide Back to first slide View graphic version

CIS/2 - online

This web site is hosted and maintained by 

SCI Home PageThe Steel Construction Institute

Copyright © 1999, 2000, 2003.  All rights reserved. 
Last modified: Monday February 21, 2000.

Questions or problems regarding this web site should be directed to Andrew Crowley.

CIS/2 is based on deliverables of the Eureka EU130 CIMsteel Project.

cimsteel_logo.gif (2358 bytes)

Copyright ©  The CIMsteel Collaborators.
CIMsteel is a Registered Trademark.
Other products mentioned are registered trademarks or trademarks of their respective companies