ENTITY applied_approval_assignment

(* SCHEMA ship_structures_schema; *)

  ENTITY applied_approval_assignment
    SUBTYPE OF (approval_assignment);
      items : SET [1:?] OF approval_item;
    WHERE
      wr1: ((NOT (SELF\approval_assignment.role.name = 
               'proposed alternative')) OR (SIZEOF(QUERY ( app <* USEDIN(
               SELF\approval_assignment.assigned_approval,'SHIP_STRUCTURES_SCHEMA.APPROVAL_ASSIGNMENT.ASSIGNED_APPROVAL')
                | (('SHIP_STRUCTURES_SCHEMA.APPLIED_APPROVAL_ASSIGNMENT' IN
                TYPEOF(app)) AND (app\approval_assignment.role.name = 
               'subject')) )) = 1));
  END_ENTITY; -- applied_approval_assignment

Explicit Attributes

Entity applied_approval_assignment has the following local and inherited explicit attributes:
AttributeTypeDefined By
 assigned_approvalapproval (ENTITY)approval_assignment
 itemsSET OF approval_item (SELECT)applied_approval_assignment

Derived Attributes

Entity applied_approval_assignment has the following local and inherited derived attributes:
AttributeTypeDefined By
 roleobject_role (ENTITY)approval_assignment

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity applied_approval_assignment inherits from the following supertypes:
  approval_assignment

Subtypes

    No subtypes

Referenced By

Entity applied_approval_assignment and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 applied_approval_assignment ENTITY approval_assignment
 applied_approval_assignment_has_exactly_one_elements RULE applied_approval_assignment
 approval_history_approves_same_definition RULE applied_approval_assignment
 approval_history_contains_approval_elements RULE applied_approval_assignment
 role_select SELECT approval_assignment


[Top Level Definitions] [Exit]

Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2007-09-07T16:40:21-04:00