| Application module: External class | ISO/TS 10303-1275:2014-02(E)  © ISO  | 
         
         (*
ISO/TC 184/SC 4/WG 12 N5374 - ISO/TS 10303-1275 External class - EXPRESS ARM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N4732
*)
         
SCHEMA External_class_arm;
         USE FROM
         Class_arm;
            -- ISO/TS 10303-1070
         USE FROM
         External_source_arm;
            -- ISO/TS 10303-1331
         USE FROM
         Name_assignment_arm;
            -- ISO/TS 10303-1340
TYPE external_class_assigned_name_select =
         
         
         SELECT
         BASED_ON
         assigned_name_select
         WITH 
         
            (External_class_library);
         END_TYPE; 
         
ENTITY External_class
           SUBTYPE OF (Class);
           external_source : External_class_library;
         
         END_ENTITY;
ENTITY External_class_library
           SUBTYPE OF (External_source);
         
         END_ENTITY;
         END_SCHEMA;  -- External_class_arm
© ISO 2014 — All rights reserved