Overview Schemas Index

GEOMETRIC_MODEL_SCHEMA (jsdai.SGeometric_model_schema)


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 attributes

founded_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;

Users

founded_item
          founded_item.users
                    founded_item_select
box_domain
          boxed_half_space.enclosure

Global rules for this entity data type

          -

public interface EBox_domain extends EFounded_item

corner (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_domain

          static 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 AEntity

          public EBox_domain getByIndex(int index)
          public EBox_domain getCurrentMember(SdaiIterator it)