Topological shape Application Object

A Topological_shape is a Class that has instances of Region as members and that indicates:

the number of edges for a 2D region; or
the number of faces and their shape for a 3D region.

A Topological_shape is valid only for 2D and 3D regions.

The following instances of Topological_shape are specified by this part of ISO 10303:

Table 1: Standard instances of Topological_shape

code	name	definition
TS001	edge	a 1D region with two bounding vertices - see ISO 10303-42:1994
TS002	triangle	a 2D region with three bounding edges - see ISO 10303-104:2000
TS003	quadrilateral	a 2D region with four bounding edges - see ISO 10303-104:2000
TS004	tetrahedron	a 3D region with four bounding triangle faces - see ISO 10303-104:2000
TS005	pyramid	a 3D region with four bounding triangle faces and one bounding quadrilateral face - see ISO 10303-104:2000
TS006	wedge	a 3D region with three bounding quadrilateral faces and two bounding triangle faces - see ISO 10303-104:2000
TS007	hexahedron	a 3D region with six bounding quadrilateral faces - see ISO 10303-104:2000

These standard instances of class are identified using the methodology of IEC 61360, where:

the code is as specified in the preceding table;
the supplier is this part of ISO 10303.

EXPRESS specification:

*)
ENTITY Topological_shape
  SUBTYPE OF (Class);
  code  :  STRING;
  supplier  :  STRING;
UNIQUE
  single_instance_of_class :  code, supplier; 
WHERE
  valid_standard_class :
    IF (supplier = 'ISO/PDTS 10303-1095') THEN
        code IN ['TS001', 'TS002', 'TS003', 'TS004', 'TS005', 'TS006',
                 'TS007'];
    ELSE
      TRUE;
    END_IF;
END_ENTITY;
(*

Attribute definitions:

code: the text string that identifies the Topological_shape.

supplier: the text string that identifies the supplier of theTopological_shape.

Formal proposition:

single_instance_of_class: There shall not be more than one instance of Topological_shape with the same meaning.

valid_standard_class: If the supplier is 'ISO/PDTS 10303-1095', then the code shall be one those listed in Table 1.