(* SCHEMA associative_draughting; *)
ENTITY draughting_subfigure_representation
SUBTYPE OF (symbol_representation);
WHERE
wr1: SIZEOF(QUERY ( item <* SELF\representation.items | (NOT (
SIZEOF(['ASSOCIATIVE_DRAUGHTING.ANNOTATION_OCCURRENCE',
'ASSOCIATIVE_DRAUGHTING.DRAUGHTING_CALLOUT',
'ASSOCIATIVE_DRAUGHTING.AXIS2_PLACEMENT'] * TYPEOF(item)) =
1)) )) = 0;
wr2: SIZEOF(QUERY ( item <* SELF\representation.items | (SIZEOF([
'ASSOCIATIVE_DRAUGHTING.ANNOTATION_OCCURRENCE',
'ASSOCIATIVE_DRAUGHTING.DRAUGHTING_CALLOUT'] * TYPEOF(item))
= 1) )) >= 1;
wr3: SIZEOF(QUERY ( srm <* QUERY ( rm <* USEDIN(SELF,
'ASSOCIATIVE_DRAUGHTING.' +
'REPRESENTATION_MAP.MAPPED_REPRESENTATION') | (
'ASSOCIATIVE_DRAUGHTING.SYMBOL_REPRESENTATION_MAP' IN
TYPEOF(rm)) ) | (NOT (SIZEOF(QUERY ( a_s <* QUERY ( mi <*
srm.map_usage | ('ASSOCIATIVE_DRAUGHTING.ANNOTATION_SYMBOL'
IN TYPEOF(mi)) ) | (NOT (SIZEOF(QUERY ( aso <* USEDIN(a_s,
'ASSOCIATIVE_DRAUGHTING.STYLED_ITEM.ITEM') | (NOT (
'ASSOCIATIVE_DRAUGHTING.ANNOTATION_SUBFIGURE_OCCURRENCE' IN
TYPEOF(aso))) )) = 0)) )) = 0)) )) > 0;
wr4: NOT acyclic_mapped_item_usage(SELF);
wr5: SIZEOF(SELF.context_of_items.representations_in_context) = 1;
END_ENTITY; -- draughting_subfigure_representation
|
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:14:12-04:00