ENTITY box_domain SUBTYPE OF (founded_item); corner : cartesian_point; xlength : positive_length_measure; ylength : positive_length_measure; zlength : positive_length_measure; WHERE wr1: SIZEOF(QUERY(item <* USEDIN(SELF,'')| NOT ('GEOMETRIC_MODEL_SCHEMA.BOXED_HALF_SPACE' IN TYPEOF(item)))) = 0; END_ENTITY; -- box_domain |
Entity data types and their attributesfounded_item(DER) users: SET [0:?] OF founded_item_select; box_domain corner: cartesian_point; xlength: positive_length_measure; ylength: positive_length_measure; zlength: positive_length_measure; |
Usersfounded_itemfounded_item.users founded_item_select box_domain boxed_half_space.enclosure |
Global rules for this entity data type- |
public interface EBox_domain extends EFounded_itemcorner (explicit attribute)boolean testCorner(EBox_domain type)ECartesian_point getCorner(EBox_domain type) void setCorner(EBox_domain type, ECartesian_point value) void unsetCorner(EBox_domain type) xlength (explicit attribute)boolean testXlength(EBox_domain type)double getXlength(EBox_domain type) void setXlength(EBox_domain type, double value) void unsetXlength(EBox_domain type) ylength (explicit attribute)boolean testYlength(EBox_domain type)double getYlength(EBox_domain type) void setYlength(EBox_domain type, double value) void unsetYlength(EBox_domain type) zlength (explicit attribute)boolean testZlength(EBox_domain type)double getZlength(EBox_domain type) void setZlength(EBox_domain type, double value) void unsetZlength(EBox_domain type) |
public class CBox_domain implements EBox_domainstatic EAttribute attributeCorner(EBox_domain type)static int usedinCorner(EBox_domain type, ECartesian_point instance, ASdaiModel domain, ABox_domain result) static EAttribute attributeXlength(EBox_domain type) static EAttribute attributeYlength(EBox_domain type) static EAttribute attributeZlength(EBox_domain type) |
public class ABox_domain extends AEntitypublic EBox_domain getByIndex(int index)public EBox_domain getCurrentMember(SdaiIterator it) |