|
RULE restrict_camera_image_in_view FOR (camera_image, presentation_view); WHERE wr1: SIZEOF ( QUERY ( ci <* camera_image | ( SIZEOF ( QUERY ( r <* USEDIN ( ci , 'automotive_design.representation.items' ) | ( 'automotive_design.' + 'presentation_view' IN TYPEOF ( r ) ) ) ) ) <> 1 ) ) = 0 ; wr2: SIZEOF ( QUERY ( pv <* presentation_view | ( SIZEOF ( QUERY ( ri <* pv \ representation . items | 'automotive_design.' + 'camera_image' IN TYPEOF ( ri ) ) ) ) > 1 ) ) = 0 ; END_RULE; -- restrict_camera_image_in_view |
|
public class RRestrict_camera_image_in_view public int rWr2(SdaiContext _context) public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |