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)