(* SCHEMA explicit_draughting; *)
ENTITY draughting_annotation_occurrence
SUBTYPE OF (annotation_occurrence);
WHERE
curve_has_curve_style : (NOT ('EXPLICIT_DRAUGHTING.ANNOTATION_CURVE_OCCURRENCE'
IN TYPEOF(SELF))) OR (SIZEOF(
QUERY ( sty <* SELF\
styled_item.styles | (NOT ((
SIZEOF(sty.styles) = 1) AND ('EXPLICIT_DRAUGHTING.CURVE_STYLE'
IN TYPEOF(sty.styles[1])))) ))
= 0);
fill_area_has_fill_style : (NOT ('EXPLICIT_DRAUGHTING.ANNOTATION_FILL_AREA_OCCURRENCE'
IN TYPEOF(SELF))) OR (SIZEOF(
QUERY ( sty <* SELF\
styled_item.styles | (NOT ((
SIZEOF(sty.styles) = 1) AND ('EXPLICIT_DRAUGHTING.FILL_AREA_STYLE'
IN TYPEOF(sty.styles[1])))) ))
= 0);
styled_fill_boundaries : (NOT ('EXPLICIT_DRAUGHTING.ANNOTATION_FILL_AREA_OCCURRENCE'
IN TYPEOF(SELF))) OR (SIZEOF(
QUERY ( bound <* SELF\
styled_item.item\
annotation_fill_area.
boundaries | (NOT (SIZEOF(
QUERY ( si <* USEDIN(bound,
'EXPLICIT_DRAUGHTING.' +
'STYLED_ITEM.ITEM') | ('EXPLICIT_DRAUGHTING.ANNOTATION_CURVE_OCCURRENCE'
IN TYPEOF(si)) )) > 0)) )) =
0);
symbol_has_symbol_style : (NOT ('EXPLICIT_DRAUGHTING.ANNOTATION_SYMBOL_OCCURRENCE'
IN TYPEOF(SELF))) OR (SIZEOF(
QUERY ( sty <* SELF\
styled_item.styles | (NOT ((
SIZEOF(sty.styles) = 1) AND (
SIZEOF(TYPEOF(sty.styles[1])
* ['EXPLICIT_DRAUGHTING.SYMBOL_STYLE','EXPLICIT_DRAUGHTING.NULL_STYLE'])
= 1))) )) = 0);
allowable_symbol_representations : (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_SYMBOL_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.ANNOTATION_SYMBOL'
IN TYPEOF(SELF\styled_item.
item)))) OR (SIZEOF([
'EXPLICIT_DRAUGHTING.' + 'DRAUGHTING_SYMBOL_REPRESENTATION',
'EXPLICIT_DRAUGHTING.' + 'DRAUGHTING_SUBFIGURE_REPRESENTATION']
* TYPEOF(SELF\styled_item.
item\mapped_item.
mapping_source.
mapped_representation)) = 1);
text_has_text_style : (NOT ('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF))) OR (SIZEOF(
QUERY ( sty <* SELF\
styled_item.styles | (NOT ((
SIZEOF(sty.styles) = 1) AND ('EXPLICIT_DRAUGHTING.TEXT_STYLE'
IN TYPEOF(sty.styles[1])))) ))
= 0);
text_not_nested : (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.COMPOSITE_TEXT'
IN TYPEOF(SELF\styled_item.
item)))) OR (SIZEOF(
QUERY ( text <* SELF\
styled_item.item\
composite_text.collected_text
| (NOT ('EXPLICIT_DRAUGHTING.TEXT_LITERAL'
IN TYPEOF(text))) )) = 0);
allowable_text : NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND (SIZEOF(
TYPEOF(SELF\styled_item.item)
* ['EXPLICIT_DRAUGHTING.COMPOSITE_TEXT','EXPLICIT_DRAUGHTING.TEXT_LITERAL'])
= 1));
text_alignment_literals : (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.TEXT_LITERAL'
IN TYPEOF(SELF\styled_item.
item)))) OR (SELF\styled_item
.item\text_literal.alignment
IN ['baseline left',
'baseline centre',
'baseline right']);
text_alignment_composites : (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.COMPOSITE_TEXT'
IN TYPEOF(SELF\styled_item.
item)))) OR (SIZEOF(
QUERY ( literal <*
QUERY ( text <* SELF\
styled_item.item\
composite_text.collected_text
| ('EXPLICIT_DRAUGHTING.TEXT_LITERAL'
IN TYPEOF(text)) ) | (NOT (
literal.alignment IN [
'baseline left',
'baseline centre',
'baseline right'])) )) = 0);
text_literal_not_rotated : NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.TEXT_LITERAL'
IN TYPEOF(SELF\styled_item.
item)) AND EXISTS(SELF\
styled_item.item\text_literal
.placement\axis2_placement_2d
.ref_direction));
literals_in_composites_not_rotated: (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.COMPOSITE_TEXT'
IN TYPEOF(SELF\styled_item.
item)))) OR (SIZEOF(
QUERY ( literal <*
QUERY ( text <* SELF\
styled_item.item\
composite_text.collected_text
| ('EXPLICIT_DRAUGHTING.TEXT_LITERAL'
IN TYPEOF(text)) ) | EXISTS(
literal.placement\
axis2_placement_2d.
ref_direction) )) = 0);
single_text_alignment : (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.COMPOSITE_TEXT'
IN TYPEOF(SELF\styled_item.
item)))) OR
check_text_alignment(SELF\
styled_item.item);
single_text_font : (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.COMPOSITE_TEXT'
IN TYPEOF(SELF\styled_item.
item)))) OR check_text_font(
SELF\styled_item.item);
allowable_text_literals : (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.COMPOSITE_TEXT'
IN TYPEOF(SELF\styled_item.
item)))) OR (SIZEOF(
QUERY ( literal <*
QUERY ( text <* SELF\
styled_item.item\
composite_text.collected_text
| ('EXPLICIT_DRAUGHTING.TEXT_LITERAL'
IN TYPEOF(text)) ) | (NOT (
SIZEOF(TYPEOF(literal) * [
'EXPLICIT_DRAUGHTING.' + 'TEXT_LITERAL_WITH_BLANKING_BOX',
'EXPLICIT_DRAUGHTING.' + 'TEXT_LITERAL_WITH_ASSOCIATED_CURVES'])
= 0)) )) = 0);
styled_text_literal_curves : (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.TEXT_LITERAL_WITH_ASSOCIATED_CURVES'
IN TYPEOF(SELF\styled_item.
item)))) OR (SIZEOF(
QUERY ( crv <* SELF\
styled_item.item\text_literal_with_associated_curves
.associated_curves | (NOT (
SIZEOF(QUERY ( si <* USEDIN(
crv,'EXPLICIT_DRAUGHTING.' +
'STYLED_ITEM.ITEM') | ('EXPLICIT_DRAUGHTING.ANNOTATION_CURVE_OCCURRENCE'
IN TYPEOF(si)) )) > 0)) )) =
0);
styled_composite_text_curves : (NOT (('EXPLICIT_DRAUGHTING.ANNOTATION_TEXT_OCCURRENCE'
IN TYPEOF(SELF)) AND ('EXPLICIT_DRAUGHTING.COMPOSITE_TEXT_WITH_ASSOCIATED_CURVES'
IN TYPEOF(SELF\styled_item.
item)))) OR (SIZEOF(
QUERY ( crv <* SELF\
styled_item.item\composite_text_with_associated_curves
.associated_curves | (NOT (
SIZEOF(QUERY ( si <* USEDIN(
crv,'EXPLICIT_DRAUGHTING.' +
'STYLED_ITEM.ITEM') | ('EXPLICIT_DRAUGHTING.ANNOTATION_CURVE_OCCURRENCE'
IN TYPEOF(si)) )) > 0)) )) =
0);
curve_style_has_width : SIZEOF(QUERY ( cs <*
QUERY ( sty <* SELF\
styled_item.styles | ('EXPLICIT_DRAUGHTING.CURVE_STYLE'
IN TYPEOF(sty.styles[1])) )
| (NOT (('EXPLICIT_DRAUGHTING.LENGTH_MEASURE_WITH_UNIT'
IN TYPEOF(cs.styles[1]\
curve_style.curve_width)) AND
('EXPLICIT_DRAUGHTING.POSITIVE_LENGTH_MEASURE'
IN TYPEOF(cs.styles[1]\
curve_style.curve_width.
value_component)))) )) = 0;
tiling_constraints : SIZEOF(QUERY ( fas <*
QUERY ( sty <* SELF\
styled_item.styles | ('EXPLICIT_DRAUGHTING.FILL_AREA_STYLE'
IN TYPEOF(sty.styles[1])) )
| (NOT ((SIZEOF(
QUERY ( fs <* fas.styles[1]\
fill_area_style.fill_styles
| ('EXPLICIT_DRAUGHTING.FILL_AREA_STYLE_TILES'
IN TYPEOF(fs)) )) <= 1) AND (
SIZEOF(QUERY ( fst <*
QUERY ( fs <* fas.styles[1]\
fill_area_style.fill_styles
| ('EXPLICIT_DRAUGHTING.FILL_AREA_STYLE_TILES'
IN TYPEOF(fs)) ) | (NOT (
SIZEOF(fst.tiles) = 1)) )) =
0))) )) = 0;
hatching_constraints : SIZEOF(QUERY ( fas <*
QUERY ( sty <* SELF\
styled_item.styles | ('EXPLICIT_DRAUGHTING.FILL_AREA_STYLE'
IN TYPEOF(sty.styles[1])) )
| (NOT (SIZEOF(
QUERY ( fst <* QUERY ( fs <*
fas.styles[1]\fill_area_style
.fill_styles | ('EXPLICIT_DRAUGHTING.FILL_AREA_STYLE_HATCHING'
IN TYPEOF(fs)) ) | (NOT (fst.point_of_reference_hatch_line
:=: fst.pattern_start)) )) =
0)) )) = 0;
text_style_constraint : SIZEOF(QUERY ( ts <*
QUERY ( sty <* SELF\
styled_item.styles | ('EXPLICIT_DRAUGHTING.TEXT_STYLE'
IN TYPEOF(sty.styles[1])) )
| (NOT ('EXPLICIT_DRAUGHTING.TEXT_STYLE_WITH_BOX_CHARACTERISTICS'
IN TYPEOF(ts.styles[1]))) ))
= 0;
text_style_characteristics : SIZEOF(QUERY ( ts <*
QUERY ( sty <* SELF\
styled_item.styles | ((
'EXPLICIT_DRAUGHTING.' + 'TEXT_STYLE_WITH_BOX_CHARACTERISTICS')
IN TYPEOF(sty.styles[1])) )
| (NOT (SIZEOF(ts.styles[1]\text_style_with_box_characteristics
.characteristics) = 4)) )) =
0;
END_ENTITY; -- draughting_annotation_occurrence
|
Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2007-09-07T16:37:43-04:00