ENTITY draughting_drawing_revision

(* SCHEMA aic_drawing_structure_and_administration; *)


ENTITY draughting_drawing_revision

  SUBTYPE OF (drawing_revision);

WHERE

  WR1:  -- drawing_requires_sheets:

    (SIZEOF (USEDIN (SELF,

      'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET')) >= 1)

       AND 

    (SIZEOF (QUERY (ais <* USEDIN (SELF,

       'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') | 

        NOT ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.DRAWING_SHEET_REVISION'

        IN TYPEOF (ais.area))

    )) = 0);

  WR2:   -- drawing_approval_has_date:

    SIZEOF (QUERY (app_ass <* USEDIN (SELF,

                         'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                         'DRAUGHTING_APPROVAL_ASSIGNMENT.APPROVED_ITEMS') |

       NOT (SIZEOF (USEDIN (app_ass.assigned_approval,

          'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

          'APPROVAL_DATE_TIME.DATED_APPROVAL')) = 1)

    )) = 0;

  WR3:  -- sheet_approval_has_date:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

           'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

           NOT (SIZEOF (QUERY (app_ass <* USEDIN (ais.area,

             'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

             'DRAUGHTING_APPROVAL_ASSIGNMENT.APPROVED_ITEMS') |

        NOT (SIZEOF (USEDIN (app_ass.assigned_approval,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

            'APPROVAL_DATE_TIME.DATED_APPROVAL')) = 1)

      )) = 0)

    )) = 0;

  WR4:  -- drawing_approval_has_authorization:

    SIZEOF (QUERY (app_ass <* USEDIN (SELF,

                         'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                         'DRAUGHTING_APPROVAL_ASSIGNMENT.APPROVED_ITEMS') |

       NOT (SIZEOF (USEDIN (app_ass.assigned_approval,

           'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

           'APPROVAL_PERSON_ORGANIZATION.AUTHORIZED_APPROVAL')) >= 1)

    )) = 0;

  WR5:  -- sheet_approval_has_authorization:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

              NOT (SIZEOF (QUERY (app_ass <* USEDIN (ais.area,

                'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                'DRAUGHTING_APPROVAL_ASSIGNMENT.APPROVED_ITEMS') |

                NOT (SIZEOF (USEDIN (app_ass.assigned_approval,

                     'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                     'APPROVAL_PERSON_ORGANIZATION.AUTHORIZED_APPROVAL')) >= 1)

              )) = 0)

    )) = 0;

  WR6:  -- drawing_title:

    SIZEOF (USEDIN (SELF, 'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                          'DRAUGHTING_TITLE.ITEMS')) <= 1;

  WR7:  -- sheet_title:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |   

             NOT (SIZEOF (USEDIN (ais.area,

                          'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                          'DRAUGHTING_TITLE.ITEMS')) <= 1)

    )) = 0;

  WR8:  -- allowable_items_of_sheet:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |   

            NOT (SIZEOF (QUERY (item <* ais.area.items |

            NOT (SIZEOF (TYPEOF(item) *

              ['AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.STYLED_ITEM',

              'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM',

              'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AXIS2_PLACEMENT',

              'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.PLANAR_BOX']) = 1)

      )) = 0)

    )) = 0;

  WR9:  -- sheet_contains_view_or_annotation:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

           'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

            NOT (SIZEOF (QUERY (item <* ais.area.items |

             (SIZEOF (TYPEOF(item) *

               ['AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.STYLED_ITEM',

                'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM']) = 1)

      )) > 0)

    )) = 0;

  WR10: -- planar_box_in_sheet:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

              NOT (SIZEOF (QUERY (p_b <* 

                QUERY (item <* ais.area.items |

                  ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.PLANAR_BOX' 

                   IN TYPEOF(item))) |

                   NOT (SIZEOF (USEDIN (p_b, 'AIC_DRAWING_STRUCTURE_AND_' +

                        'ADMINISTRATION.PRESENTATION_SIZE.SIZE')  ) = 1)

      )) = 0)

    )) = 0;

  WR11:  -- sheets_contain_views:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

           'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

            NOT (SIZEOF (QUERY (mi <* QUERY (item <* ais.area.items |

           ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM'

           IN TYPEOF(item))) |

             NOT ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.PRESENTATION_VIEW'

               IN TYPEOF(mi.mapping_source.mapped_representation))

      )) = 0)

    )) = 0;

  WR12:  -- sheets_contain_placements:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

              NOT (SIZEOF (QUERY (a2p <* QUERY (item <* ais.area.items |

               ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AXIS2_PLACEMENT'

              IN TYPEOF(item))) |

                NOT (SIZEOF (USEDIN (a2p,

                             'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                             'MAPPED_ITEM.MAPPING_TARGET')) > 0)

      )) = 0)

    )) = 0;

  WR13: -- sheets_have_unique_context:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

              NOT (SIZEOF (ais.area.context_of_items.

                   representations_in_context) = 1)   )) = 0;

  WR14: -- views_presented_once:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

           'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

      NOT (SIZEOF (QUERY (mi <* QUERY (item <* ais.area.items |

             ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM'

                 IN TYPEOF(item))) |

        NOT (SIZEOF (USEDIN (mi.mapping_source.mapped_representation,

                        'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                        'REPRESENTATION_MAP.MAPPED_REPRESENTATION')) = 1)

      )) = 0)

    )) = 0;

  WR15: -- allowable_items_of_view:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

             NOT (SIZEOF (QUERY (mi <* QUERY (item <* ais.area.items |

               ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM'

               IN TYPEOF(item))) |

                 NOT (SIZEOF (QUERY (pv_item <* mi.mapping_source.

                              mapped_representation.items |

                   NOT (SIZEOF (TYPEOF(pv_item) *

                     ['AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                      'STYLED_ITEM',

                      'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.CAMERA_IMAGE',

                      'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                      'AXIS2_PLACEMENT']) = 1)

        )) = 0)

      )) = 0)

    )) = 0;

  WR16: -- views_contain_one_projection:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

            NOT (SIZEOF (QUERY (mi <* QUERY (item <* ais.area.items |

                ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM'

                IN TYPEOF(item))) |

                NOT (SIZEOF (QUERY (pv_item <* mi.mapping_source.

                             mapped_representation.items |

                    ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.CAMERA_IMAGE'

                    IN TYPEOF(pv_item))

                )) = 1)

            )) = 0)

    )) = 0;

  WR17: -- views_contain_one_placement:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

              NOT (SIZEOF (QUERY (mi <* QUERY (item <* ais.area.items |

                ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM'

                IN TYPEOF(item))) |

                NOT (SIZEOF (QUERY (a2p <* QUERY (pv_item <* mi.mapping_source.

                       mapped_representation.items |

                    ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AXIS2_PLACEMENT'

                      IN TYPEOF(pv_item))) |

                     ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.' +

                      'REPRESENTATION_MAP.MAPPING_SOURCE' IN ROLESOF (a2p))

                  )) = 1)

              )) = 0)

    )) = 0;

  WR18: -- views_have_unique_context:

    SIZEOF (QUERY (ais <* USEDIN (SELF,

            'AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET') |

             NOT (SIZEOF (QUERY (mi <* QUERY (item <* ais.area.items |

                 ('AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM'

                 IN TYPEOF(item))) |

        NOT (SIZEOF (mi.mapping_source.

                     mapped_representation.context_of_items.

                     representations_in_context) = 1)

      )) = 0)

    )) = 0;

END_ENTITY;

Explicit Attributes

Entity draughting_drawing_revision has the following local and inherited explicit attributes:

Attribute	Type	Defined By
revision_identifier	identifier (STRING)	drawing_revision
drawing_identifier	drawing_definition (ENTITY)	drawing_revision
intended_scale	text (STRING)	drawing_revision

Derived Attributes

No derived attributes

Inverse Attributes

Entity draughting_drawing_revision has the following local and inherited inverse attributes:

Attribute	Type	Defined By
areas	SET OF area_in_set (ENTITY)	presentation_set

Supertypes

Entity draughting_drawing_revision inherits from the following supertypes:
presentation_set
drawing_revision

Subtypes

No subtypes

Referenced By

Entity draughting_drawing_revision and its supertypes are referenced by the following definitions:

Definition	Type	Referenced Entity
approved_item	SELECT	drawing_revision
area_in_set	ENTITY	presentation_set
classified_item	SELECT	drawing_revision
contracted_item	SELECT	drawing_revision
draughting_organization_item	SELECT	drawing_revision
draughting_titled_item	SELECT	drawing_revision
drawing_revision_sequence	ENTITY	drawing_revision
invisibility_context	SELECT	presentation_set
presentation_representation_select	SELECT	presentation_set
specified_item	SELECT	drawing_revision
style_context_select	SELECT	presentation_set

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:14:00-04:00