|
ENTITY Stratum_feature_based_derived_pattern; extent : Inter_stratum_extent; reference_stratum_feature : Stratum_feature; INVERSE layer_usage : SET [0:1] OF External_source_identification FOR item; WHERE WR1: reference_stratum_feature\Stratum_feature.resident_stratum IN extent\Inter_stratum_extent.included_stratum; WR2: SIZEOF(['LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.DESIGN_LAYER_STRATUM', 'LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.DOCUMENTATION_LAYER_STRATUM'] * TYPEOF(reference_stratum_feature\Stratum_feature.resident_stratum)) = 1; WR3: SIZEOF(QUERY(ds <* extent\Inter_Stratum_extent.included_stratum | NOT('LAYERED_INTERCONNECT_MODULE_DESIGN_ARM.DERIVED_STRATUM' IN TYPEOF(ds)) )) = 1; END_ENTITY; -- Stratum_feature_based_derived_pattern |
Entity data types and their attributesStratum_feature_based_derived_patternextent: Inter_stratum_extent; reference_stratum_feature: Stratum_feature; (INV) layer_usage: SET [0:1] OF External_source_identification FOR item; |
Global rules for this entity data type- |