|
RULE space_or_building_level_maps_into_building_section FOR (mapped_item, representation_relationship_with_transformation); WHERE wr1: SIZEOF ( QUERY ( mi <* mapped_item | ( SIZEOF ( QUERY ( pdr <* USEDIN ( mi . mapping_source . mapped_representation , 'location_in_building_mim.' + 'property_definition_representation.used_representation' ) | SIZEOF ( TYPEOF ( pdr . definition . definition ) * [ 'building_item_mim.space_element' , 'location_in_building_mim.building_level' ] ) = 1 ) ) >= 1 ) AND ( NOT ( SIZEOF ( QUERY ( r <* USEDIN ( mi , 'location_in_building_mim.representation.items' ) | SIZEOF ( QUERY ( pdr <* USEDIN ( r , 'location_in_building_mim.' + 'property_definition_representation.used_representation' ) | ( 'location_in_building_mim.building_section' IN TYPEOF ( pdr . definition . definition ) ) ) ) >= 1 ) ) = 1 ) ) ) ) = 0 ; wr2: SIZEOF ( QUERY ( rrwt <* representation_relationship_with_transformation | ( SIZEOF ( QUERY ( pdr <* USEDIN ( rrwt \ representation_relationship . rep_2 , 'location_in_building_mim.' + 'property_definition_representation.used_representation' ) | SIZEOF ( TYPEOF ( pdr . definition . definition ) * [ 'location_in_building_mim.space_element' , 'location_in_building_mim.building_level' ] ) = 1 ) ) >= 1 ) AND ( NOT ( SIZEOF ( QUERY ( pdr <* USEDIN ( rrwt \ representation_relationship . rep_1 , 'location_in_building_mim.property_definition_representation.used_representation' ) | ( 'location_in_building_mim.building_section' IN TYPEOF ( pdr . definition . definition ) ) ) ) = 1 ) ) ) ) = 0 ; wr3: SIZEOF ( QUERY ( rrwt_1 <* representation_relationship_with_transformation | SIZEOF ( QUERY ( rrwt_2 <* representation_relationship_with_transformation | ( SIZEOF ( QUERY ( pdr <* USEDIN ( rrwt_1 \ representation_relationship . rep_2 , 'location_in_building_mim.property_definition_representation.used_representation' ) | SIZEOF ( TYPEOF ( pdr . definition . definition ) * [ 'location_in_building_mim.space_element' , 'location_in_building_mim.building_level' ] ) = 1 ) ) >= 1 ) AND ( rrwt_1 \ representation_relationship . rep_2 :=: rrwt_2 \ representation_relationship . rep_2 ) ) ) >= 1 ) ) = 0 ; END_RULE; -- space_or_building_level_maps_into_building_section |
|
public class RSpace_or_building_level_maps_into_building_section public int rWr3(SdaiContext _context) public int rWr2(SdaiContext _context) public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |