Source : ISO 10303-46
SCHEMA presentation_definition_schema;
REFERENCE FROM
external_reference_schema -- ISO 10303-41
(externally_defined_item,
pre_defined_item);
REFERENCE FROM
geometric_model_schema -- ISO 10303-42
(geometric_curve_set);
REFERENCE FROM
geometry_schema -- ISO 10303-42
(axis2_placement,
b_spline_curve,
composite_curve,
curve,
geometric_representation_item,
point,
polyline);
REFERENCE FROM
measure_schema -- ISO 10303-41
(positive_ratio_measure);
REFERENCE FROM
presentation_appearance_schema -- ISO 10303-46
(styled_item);
REFERENCE FROM
presentation_organization_schema -- ISO 10303-46
(annotation_representation_select);
REFERENCE FROM
presentation_resource_schema -- ISO 10303-46
(character_glyph_symbol,
font_select,
planar_box,
planar_extent,
text_font);
REFERENCE FROM
representation_schema -- ISO 10303-43
(item_in_context,
mapped_item,
representation,
representation_item,
representation_map,
representation_relationship,
representation_relationship_with_transformation,
using_representations);
REFERENCE FROM
support_resource_schema -- ISO 10303-41
(bag_to_set,
label,
text);
TYPE annotation_symbol_occurrence_item =
SELECT
(annotation_symbol,
defined_symbol);
END_TYPE;
TYPE annotation_table_occurrence_item =
SELECT
(annotation_table,
defined_table);
END_TYPE;
TYPE annotation_text_occurrence_item =
SELECT
(text_literal,
annotation_text,
annotation_text_character,
defined_character_glyph,
composite_text);
END_TYPE;
TYPE curve_or_curve_set =
SELECT
(curve,
geometric_curve_set);
END_TYPE;
TYPE defined_glyph_select =
SELECT
(pre_defined_character_glyph,
externally_defined_character_glyph);
END_TYPE;
TYPE defined_symbol_select =
SELECT
(pre_defined_symbol,
externally_defined_symbol);
END_TYPE;
TYPE presentable_text =
STRING;
WHERE
WR1: control_characters_free(SELF);
END_TYPE;
TYPE text_alignment =
label;
END_TYPE;
TYPE text_delineation =
label;
END_TYPE;
TYPE text_or_character =
SELECT
(annotation_text,
annotation_text_character,
defined_character_glyph,
composite_text,
text_literal);
END_TYPE;
TYPE text_path =
ENUMERATION
OF
(left,
right,
up,
down);
END_TYPE;
TYPE text_string_representation_item =
SELECT
(text_literal,
annotation_text,
annotation_text_character,
defined_character_glyph,
composite_text,
axis2_placement);
END_TYPE;
ENTITY annotation_curve_occurrence
SUBTYPE OF (annotation_occurrence);
SELF\styled_item.item : curve_or_curve_set;
END_ENTITY;
ENTITY annotation_fill_area
SUBTYPE OF (geometric_representation_item);
boundaries : SET[1:?] OF curve;
WHERE
WR1: (SELF\geometric_representation_item.dim = 3) OR (SIZEOF (QUERY (curve <* boundaries |
NOT (
('GEOMETRY_SCHEMA.CIRCLE' IN TYPEOF (curve)) OR
('GEOMETRY_SCHEMA.ELLIPSE' IN TYPEOF (curve)) OR
( ('GEOMETRY_SCHEMA.B_SPLINE_CURVE' IN TYPEOF (curve))
AND (curve\b_spline_curve.closed_curve = TRUE) ) OR
( ('GEOMETRY_SCHEMA.COMPOSITE_CURVE' IN TYPEOF (curve))
AND (curve\composite_curve.closed_curve = TRUE) ) OR
( ('GEOMETRY_SCHEMA.POLYLINE' IN TYPEOF (curve))
AND (curve\polyline.points[LOINDEX(curve\polyline.points)] =
curve\polyline.points[HIINDEX(curve\polyline.points)]) )
) )) = 0);
END_ENTITY;
ENTITY annotation_fill_area_occurrence
SUBTYPE OF (annotation_occurrence);
fill_style_target : point;
SELF\styled_item.item : annotation_fill_area;
END_ENTITY;
ENTITY annotation_occurrence
SUPERTYPE OF
(ONEOF (annotation_point_occurrence,
annotation_curve_occurrence,
annotation_fill_area_occurrence,
annotation_text_occurrence,
annotation_symbol_occurrence))
SUBTYPE OF (styled_item);
WHERE
WR1: 'GEOMETRY_SCHEMA.GEOMETRIC_REPRESENTATION_ITEM' IN
TYPEOF (SELF);
WR2: SIZEOF (QUERY (reps <* using_representations(SELF) |
NOT('PRESENTATION_ORGANIZATION_SCHEMA.ANNOTATION_REPRESENTATION_SELECT' IN TYPEOF(reps)))) = 0;
END_ENTITY;
ENTITY annotation_occurrence_relationship;
name : label;
description : text;
relating_annotation_occurrence : annotation_occurrence;
related_annotation_occurrence : annotation_occurrence;
END_ENTITY;
ENTITY annotation_point_occurrence
SUBTYPE OF (annotation_occurrence);
SELF\styled_item.item : point;
END_ENTITY;
ENTITY annotation_symbol
SUBTYPE OF (mapped_item);
SELF\mapped_item.mapping_source : symbol_representation_map;
SELF\mapped_item.mapping_target : symbol_target;
WHERE
WR1: 'GEOMETRY_SCHEMA.GEOMETRIC_REPRESENTATION_ITEM' IN
TYPEOF (SELF);
END_ENTITY;
ENTITY annotation_symbol_occurrence
SUBTYPE OF (annotation_occurrence);
SELF\styled_item.item : annotation_symbol_occurrence_item;
END_ENTITY;
ENTITY annotation_table
SUBTYPE OF (annotation_symbol);
WHERE
WR1: 'PRESENTATION_DEFINITION_SCHEMA.TABLE_REPRESENTATION' IN
TYPEOF (SELF\mapped_item.mapping_source.mapped_representation);
END_ENTITY;
ENTITY annotation_table_occurrence
SUBTYPE OF (annotation_symbol_occurrence);
SELF\styled_item.item : annotation_table_occurrence_item;
END_ENTITY;
ENTITY annotation_text
SUBTYPE OF (mapped_item);
SELF\mapped_item.mapping_target : axis2_placement;
WHERE
WR1: 'PRESENTATION_DEFINITION_SCHEMA.TEXT_STRING_REPRESENTATION' IN
TYPEOF( SELF\mapped_item.mapping_source.mapped_representation);
WR2: 'GEOMETRY_SCHEMA.GEOMETRIC_REPRESENTATION_ITEM' IN
TYPEOF( SELF);
END_ENTITY;
ENTITY annotation_text_character
SUBTYPE OF (mapped_item);
alignment : text_alignment;
SELF\mapped_item.mapping_target : axis2_placement;
WHERE
WR1: 'PRESENTATION_RESOURCE_SCHEMA.CHARACTER_GLYPH_SYMBOL' IN
TYPEOF (SELF\mapped_item.mapping_source.mapped_representation);
WR2: 'GEOMETRY_SCHEMA.GEOMETRIC_REPRESENTATION_ITEM' IN
TYPEOF (SELF);
END_ENTITY;
ENTITY annotation_text_occurrence
SUBTYPE OF (annotation_occurrence);
SELF\styled_item.item : annotation_text_occurrence_item;
END_ENTITY;
ENTITY annotation_text_with_associated_curves
SUBTYPE OF (annotation_text);
associated_curves : SET[1:?] OF curve;
END_ENTITY;
ENTITY annotation_text_with_blanking_box
SUBTYPE OF (annotation_text);
blanking : planar_box;
END_ENTITY;
ENTITY annotation_text_with_delineation
SUBTYPE OF (annotation_text);
delineation : text_delineation;
END_ENTITY;
ENTITY annotation_text_with_extent
SUBTYPE OF (annotation_text);
extent : planar_extent;
END_ENTITY;
ENTITY composite_text
SUBTYPE OF (geometric_representation_item);
collected_text : SET[2:?] OF text_or_character;
WHERE
WR1: acyclic_composite_text( SELF, collected_text);
END_ENTITY;
ENTITY composite_text_with_associated_curves
SUBTYPE OF (composite_text);
associated_curves : SET[1:?] OF curve;
END_ENTITY;
ENTITY composite_text_with_blanking_box
SUBTYPE OF (composite_text);
blanking : planar_box;
END_ENTITY;
ENTITY composite_text_with_delineation
SUBTYPE OF (composite_text);
delineation : text_delineation;
END_ENTITY;
ENTITY composite_text_with_extent
SUBTYPE OF (composite_text);
extent : planar_extent;
END_ENTITY;
ENTITY defined_character_glyph
SUBTYPE OF (geometric_representation_item);
definition : defined_glyph_select;
placement : axis2_placement;
END_ENTITY;
ENTITY defined_symbol
SUBTYPE OF (geometric_representation_item);
definition : defined_symbol_select;
target : symbol_target;
END_ENTITY;
ENTITY defined_table
SUBTYPE OF (defined_symbol);
END_ENTITY;
ENTITY externally_defined_character_glyph
SUBTYPE OF (externally_defined_item);
END_ENTITY;
ENTITY externally_defined_symbol
SUBTYPE OF (externally_defined_item);
END_ENTITY;
ENTITY pre_defined_character_glyph
SUBTYPE OF (pre_defined_item);
END_ENTITY;
ENTITY pre_defined_symbol
SUBTYPE OF (pre_defined_item);
END_ENTITY;
ENTITY symbol_representation
SUBTYPE OF (representation);
END_ENTITY;
ENTITY symbol_representation_map
SUBTYPE OF (representation_map);
SELF\representation_map.mapped_representation : symbol_representation;
SELF\representation_map.mapping_origin : axis2_placement;
WHERE
WR1: SIZEOF(
QUERY(mi <* SELF\representation_map.map_usage | NOT('PRESENTATION_DEFINITION_SCHEMA.ANNOTATION_SYMBOL' IN TYPEOF(mi)))
) = 0;
END_ENTITY;
ENTITY symbol_representation_relationship
SUBTYPE OF (representation_relationship_with_transformation);
SELF\representation_relationship.rep_1 : symbol_representation;
SELF\representation_relationship.rep_2 : symbol_representation;
WHERE
WR1: acyclic_symbol_representation_relationship (SELF,
[SELF\representation_relationship.
rep_2]);
END_ENTITY;
ENTITY symbol_representation_with_blanking_box
SUBTYPE OF (symbol_representation);
blanking : planar_box;
WHERE
WR1: item_in_context (blanking, SELF\representation.context_of_items);
END_ENTITY;
ENTITY symbol_target
SUBTYPE OF (geometric_representation_item);
placement : axis2_placement;
x_scale : positive_ratio_measure;
y_scale : positive_ratio_measure;
END_ENTITY;
ENTITY table_record_field_representation
SUBTYPE OF (symbol_representation);
WHERE
WR1: (SIZEOF(USEDIN(SELF, 'REPRESENTATION_SCHEMA.'+
'REPRESENTATION_RELATIONSHIP.REP_2')) > 0)
OR
(SIZEOF(QUERY( map_item <* USEDIN(SELF, 'REPRESENTATION_SCHEMA.'+
'REPRESENTATION_MAP.'+
'MAPPED_REPRESENTATION') |
SIZEOF(QUERY( mi <* USEDIN(map_item, 'REPRESENTATION_SCHEMA.'+
'MAPPED_ITEM.'+
'MAPPING_SOURCE') |
SIZEOF(QUERY( rep <* using_representations (mi) |
'PRESENTATION_DEFINITION_SCHEMA.'+
'TABLE_RECORD_REPRESENTATION' IN
TYPEOF (rep))) > 0
)) > 0))
> 0);
END_ENTITY;
ENTITY table_record_field_representation_with_clipping_box
SUBTYPE OF (table_record_field_representation);
clipping_box : planar_box;
WHERE
WR1: item_in_context (clipping_box,
SELF\representation.context_of_items);
END_ENTITY;
ENTITY table_record_representation
SUBTYPE OF (symbol_representation);
WHERE
WR1: (SIZEOF(USEDIN(SELF, 'REPRESENTATION_SCHEMA.'+
'REPRESENTATION_RELATIONSHIP.REP_2')) > 0)
OR
(SIZEOF(QUERY( map_item <* USEDIN(SELF, 'REPRESENTATION_SCHEMA.'+
'REPRESENTATION_MAP.'+
'MAPPED_REPRESENTATION') |
SIZEOF(QUERY( mi <* USEDIN(map_item, 'REPRESENTATION_SCHEMA.'+
'MAPPED_ITEM.'+
'MAPPING_SOURCE') |
SIZEOF(QUERY( rep <* using_representations (mi) |
'PRESENTATION_DEFINITION_SCHEMA.'+
'TABLE_REPRESENTATION' IN
TYPEOF (rep))) > 0
)) > 0))
> 0);
WR2: (SIZEOF (QUERY (trr <* USEDIN (SELF, 'REPRESENTATION_SCHEMA.' +
'REPRESENTATION_RELATIONSHIP.REP_1') |
NOT ('PRESENTATION_DEFINITION_SCHEMA.TABLE_REPRESENTATION_RELATIONSHIP' IN TYPEOF (trr))
)) = 0) AND
(SIZEOF (QUERY (trr <* USEDIN (SELF, 'REPRESENTATION_SCHEMA.' +
'REPRESENTATION_RELATIONSHIP.REP_2') |
NOT ('PRESENTATION_DEFINITION_SCHEMA.TABLE_REPRESENTATION_RELATIONSHIP' IN TYPEOF (trr))
)) = 0);
END_ENTITY;
ENTITY table_representation
SUBTYPE OF (symbol_representation);
WHERE
WR1: (SIZEOF (QUERY (trr <* USEDIN (SELF, 'REPRESENTATION_SCHEMA.' +
'REPRESENTATION_RELATIONSHIP.REP_1') |
NOT ('PRESENTATION_DEFINITION_SCHEMA.TABLE_REPRESENTATION_RELATIONSHIP' IN TYPEOF (trr))
)) = 0) AND
(SIZEOF (QUERY (trr <* USEDIN (SELF, 'REPRESENTATION_SCHEMA.' +
'REPRESENTATION_RELATIONSHIP.REP_2') |
NOT ('PRESENTATION_DEFINITION_SCHEMA.TABLE_REPRESENTATION_RELATIONSHIP' IN TYPEOF (trr))
)) = 0);
END_ENTITY;
ENTITY table_representation_relationship
SUBTYPE OF (symbol_representation_relationship);
WHERE
WR1: NOT ('PRESENTATION_DEFINITION_SCHEMA.TABLE_RECORD_REPRESENTATION' IN
TYPEOF (SELF\representation_relationship.rep_1))
OR
('PRESENTATION_DEFINITION_SCHEMA.TABLE_RECORD_FIELD_REPRESENTATION' IN
TYPEOF (SELF\representation_relationship.rep_2));
WR2: NOT ('PRESENTATION_DEFINITION_SCHEMA.TABLE_REPRESENTATION' IN
TYPEOF (SELF\representation_relationship.rep_1))
OR
('PRESENTATION_DEFINITION_SCHEMA.TABLE_RECORD_REPRESENTATION' IN
TYPEOF (SELF\representation_relationship.rep_2));
WR3: NOT ('PRESENTATION_DEFINITION_SCHEMA.TABLE_RECORD_FIELD_REPRESENTATION' IN
TYPEOF (SELF\representation_relationship.rep_1))
OR
('PRESENTATION_DEFINITION_SCHEMA.TABLE_RECORD_FIELD_REPRESENTATION' IN
TYPEOF (SELF\representation_relationship.rep_2));
END_ENTITY;
ENTITY table_text_relationship
SUBTYPE OF (annotation_occurrence_relationship);
field : table_record_field_representation;
SELF\annotation_occurrence_relationship.relating_annotation_occurrence : annotation_table_occurrence;
SELF\annotation_occurrence_relationship.related_annotation_occurrence : annotation_text_occurrence;
WHERE
WR1: 'PRESENTATION_DEFINITION_SCHEMA.ANNOTATION_TABLE'
IN TYPEOF (SELF\annotation_occurrence_relationship.
relating_annotation_occurrence\styled_item.item);
WR2: field_in_table (field,
SELF\annotation_occurrence_relationship.
relating_annotation_occurrence);
END_ENTITY;
ENTITY text_literal
SUBTYPE OF (geometric_representation_item);
literal : presentable_text;
placement : axis2_placement;
alignment : text_alignment;
path : text_path;
font : font_select;
END_ENTITY;
ENTITY text_literal_with_associated_curves
SUBTYPE OF (text_literal);
associated_curves : SET[1:?] OF curve;
END_ENTITY;
ENTITY text_literal_with_blanking_box
SUBTYPE OF (text_literal);
blanking : planar_box;
END_ENTITY;
ENTITY text_literal_with_delineation
SUBTYPE OF (text_literal);
delineation : text_delineation;
END_ENTITY;
ENTITY text_literal_with_extent
SUBTYPE OF (text_literal);
extent : planar_extent;
END_ENTITY;
ENTITY text_string_representation
SUBTYPE OF (representation);
SELF\representation.items : SET[1:?] OF text_string_representation_item;
WHERE
WR1: SIZEOF (
QUERY (item <* SELF\representation.items |
NOT (SIZEOF (['PRESENTATION_DEFINITION_SCHEMA.TEXT_LITERAL',
'PRESENTATION_DEFINITION_SCHEMA.ANNOTATION_TEXT',
'PRESENTATION_DEFINITION_SCHEMA.ANNOTATION_TEXT_CHARACTER',
'PRESENTATION_DEFINITION_SCHEMA.DEFINED_CHARACTER_GLYPH',
'PRESENTATION_DEFINITION_SCHEMA.COMPOSITE_TEXT'] *
TYPEOF (item)) = 0)
)) >= 1;
WR2: SIZEOF (
QUERY (a2p <*
QUERY (item <* SELF\representation.items |
'GEOMETRY_SCHEMA.AXIS2_PLACEMENT' IN TYPEOF (item)) |
NOT ((SIZEOF (
QUERY (at <*
QUERY (item <* SELF\representation.items |
'PRESENTATION_DEFINITION_SCHEMA.' +
'ANNOTATION_TEXT' IN TYPEOF (item)) |
(at\mapped_item.mapping_target :=: a2p))) >= 1) OR
(SIZEOF (
QUERY (atc <*
QUERY (item <* SELF\representation.items |
'PRESENTATION_DEFINITION_SCHEMA.' +
'ANNOTATION_TEXT_CHARACTER' IN TYPEOF (item)) |
(atc\mapped_item.mapping_target :=: a2p))) >= 1)
))) = 0;
END_ENTITY;
SUBTYPE_CONSTRAINT pds_geometric_representation_item_subtypes FOR geometric_representation_item;
ONEOF (annotation_fill_area,
composite_text,
curve,
defined_character_glyph,
defined_symbol,
point,
symbol_target,
text_literal);
END_SUBTYPE_CONSTRAINT;
FUNCTION acyclic_composite_text
(start_composite : composite_text; child_text : SET[1:?] OF text_or_character) : LOGICAL;
LOCAL
i : INTEGER;
local_composite_text : SET [0:?] OF composite_text;
local_annotation_text : SET [0:?] OF annotation_text;
local_children : SET [0:?] OF text_or_character;
END_LOCAL;
local_composite_text := QUERY (child <* child_text |
('PRESENTATION_DEFINITION_SCHEMA.COMPOSITE_TEXT'
IN TYPEOF (child)));
IF (SIZEOF (local_composite_text) > 0)
THEN
REPEAT i := 1 TO HIINDEX (local_composite_text);
IF (start_composite :=: local_composite_text[i])
THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
END_IF;
local_children := child_text;
IF (SIZEOF (local_composite_text)) > 0 THEN
REPEAT i := 1 TO HIINDEX (local_composite_text);
local_children := local_children +
local_composite_text[i].collected_text;
END_REPEAT;
END_IF;
local_annotation_text := QUERY (child <* child_text |
('PRESENTATION_DEFINITION_SCHEMA.ANNOTATION_TEXT'
IN TYPEOF (child)));
IF (SIZEOF (local_annotation_text) > 0) THEN
REPEAT i := 1 TO HIINDEX (local_annotation_text);
local_children := local_children +
QUERY (item <* local_annotation_text[i]\mapped_item.
mapping_source.mapped_representation.items |
SIZEOF(['PRESENTATION_DEFINITION_SCHEMA.ANNOTATION_TEXT',
'PRESENTATION_DEFINITION_SCHEMA.COMPOSITE_TEXT'] *
TYPEOF(item)) > 0);
END_REPEAT;
END_IF;
IF (local_children :<>: child_text) THEN
RETURN (acyclic_composite_text (start_composite, local_children));
ELSE
RETURN (TRUE);
END_IF;
END_FUNCTION;
FUNCTION acyclic_symbol_representation_relationship
(relation : symbol_representation_relationship; children : SET[0:?] OF symbol_representation) : BOOLEAN;
LOCAL
x : SET OF symbol_representation_relationship;
local_children : SET OF symbol_representation;
END_LOCAL;
REPEAT i:=1 TO HIINDEX(children);
IF relation\representation_relationship.rep_1 :=: children[i] THEN
RETURN(FALSE);
END_IF;
END_REPEAT;
x := bag_to_set (USEDIN ( relation\representation_relationship.rep_1,
'REPRESENTATION_SCHEMA.'+
'REPRESENTATION_RELATIONSHIP.'+ 'REP_2'));
local_children := children + relation\representation_relationship.rep_1;
IF SIZEOF (x) > 0 THEN
REPEAT i:=1 TO HIINDEX (x);
IF NOT acyclic_symbol_representation_relationship(x[i] ,
local_children) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
END_IF;
RETURN (TRUE);
END_FUNCTION;
FUNCTION control_characters_free
(s : STRING) : BOOLEAN;
LOCAL
ch : STRING;
END_LOCAL;
REPEAT i:=1 TO LENGTH(s);
ch := s[i];
IF (ch = '\x9') OR (ch = '\xA') OR (ch = '\xD') THEN
RETURN(FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE);
END_FUNCTION;
FUNCTION field_in_table
(field : table_record_field_representation; table : annotation_table_occurrence) : BOOLEAN;
LOCAL
table_rep : table_representation;
symbol_rep_rel_set : SET OF symbol_representation_relationship;
mapped_item_set : SET OF mapped_item;
table_record_rep_set : SET OF table_record_representation := [];
END_LOCAL;
table_rep := table\styled_item.item\mapped_item.mapping_source.
mapped_representation;
mapped_item_set := QUERY(item <* table_rep.items |
('REPRESENTATION_SCHEMA.MAPPED_ITEM' IN
TYPEOF(item))
AND
('PRESENTATION_DEFINITION_SCHEMA.'+
'TABLE_RECORD_REPRESENTATION' IN
TYPEOF(item\mapped_item.mapping_source.
mapped_representation ))
);
REPEAT i := 1 TO HIINDEX(mapped_item_set);
table_record_rep_set := table_record_rep_set +
mapped_item_set[i].mapping_source.mapped_representation;
END_REPEAT;
symbol_rep_rel_set := bag_to_set (USEDIN(table_rep,
'REPRESENTATION_SCHEMA.'+
'REPRESENTATION_RELATIONSHIP.REP_1'));
REPEAT i := 1 TO HIINDEX(symbol_rep_rel_set);
table_record_rep_set := table_record_rep_set +
symbol_rep_rel_set[i]\representation_relationship.rep_2;
END_REPEAT;
IF SIZEOF(QUERY( table_record_rep <* table_record_rep_set |
(SIZEOF(QUERY( rep_rel <* USEDIN(table_record_rep,
'REPRESENTATION_SCHEMA.'+
'REPRESENTATION_RELATIONSHIP.REP_1') |
('PRESENTATION_DEFINITION_SCHEMA.' +
'SYMBOL_REPRESENTATION_RELATIONSHIP' IN TYPEOF(rep_rel)) AND
(rep_rel.rep_2 :=: field)
)) > 0)
OR
(SIZEOF(QUERY(item <* table_record_rep.items |
('REPRESENTATION_SCHEMA.MAPPED_ITEM' IN
TYPEOF(item))
AND
(field :=: item\mapped_item.mapping_source.
mapped_representation )
)) > 0)
)) = 0 THEN
RETURN(FALSE);
END_IF;
RETURN(TRUE);
END_FUNCTION;
END_SCHEMA; -- presentation_definition_schema