(* SCHEMA explicit_draughting; *)
ENTITY draughting_symbol_representation
SUBTYPE OF (symbol_representation);
UNIQUE
ur1 : name;
WHERE
wr1: SIZEOF(QUERY ( item <* SELF\representation.items | (NOT (
SIZEOF(['EXPLICIT_DRAUGHTING.' +
'ANNOTATION_CURVE_OCCURRENCE','EXPLICIT_DRAUGHTING.' +
'ANNOTATION_SYMBOL_OCCURRENCE','EXPLICIT_DRAUGHTING.' +
'ANNOTATION_FILL_AREA_OCCURRENCE','EXPLICIT_DRAUGHTING.' +
'ANNOTATION_TEXT_OCCURRENCE','EXPLICIT_DRAUGHTING.' +
'AXIS2_PLACEMENT'] * TYPEOF(item)) = 1)) )) = 0;
wr2: SIZEOF(QUERY ( item <* SELF\representation.items | (SIZEOF([
'EXPLICIT_DRAUGHTING.' + 'ANNOTATION_CURVE_OCCURRENCE',
'EXPLICIT_DRAUGHTING.' + 'ANNOTATION_SYMBOL_OCCURRENCE',
'EXPLICIT_DRAUGHTING.' + 'ANNOTATION_FILL_AREA_OCCURRENCE',
'EXPLICIT_DRAUGHTING.' + 'ANNOTATION_TEXT_OCCURRENCE'] *
TYPEOF(item)) = 1) )) >= 1;
wr3: SIZEOF(QUERY ( item <* SELF\representation.items | (
'EXPLICIT_DRAUGHTING.ANNOTATION_SUBFIGURE_OCCURRENCE' IN
TYPEOF(item)) )) = 0;
wr4: SIZEOF(QUERY ( srm <* QUERY ( rm <* USEDIN(SELF,
'EXPLICIT_DRAUGHTING.' + 'REPRESENTATION_MAP.' +
'MAPPED_REPRESENTATION') | (
'EXPLICIT_DRAUGHTING.SYMBOL_REPRESENTATION_MAP' IN TYPEOF(rm)) )
| (NOT (SIZEOF(QUERY ( a_s <* QUERY ( mi <* srm.map_usage
| ('EXPLICIT_DRAUGHTING.ANNOTATION_SYMBOL' IN TYPEOF(mi)) )
| (NOT (SIZEOF(QUERY ( aso <* USEDIN(a_s,
'EXPLICIT_DRAUGHTING.' + 'STYLED_ITEM.ITEM') | (NOT ((
'EXPLICIT_DRAUGHTING.' + 'ANNOTATION_SYMBOL_OCCURRENCE') IN
TYPEOF(aso))) )) = 0)) )) = 0)) )) > 0;
wr5: NOT acyclic_mapped_item_usage(SELF);
wr6: SIZEOF(SELF.context_of_items.representations_in_context) = 1;
END_ENTITY; -- draughting_symbol_representation
|
Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2007-09-07T16:37:43-04:00