Overview Schemas Index

GEOMETRIC_MODEL_SCHEMA (jsdai.SGeometric_model_schema)

ENTITY rectangle_domain
          SUBTYPE OF (founded_item);
          corner : cartesian_point;
          xlength : positive_length_measure;
          ylength : positive_length_measure;
WHERE
          wr1: SIZEOF(QUERY(item <* USEDIN(SELF, '')| NOT
   ('GEOMETRIC_MODEL_SCHEMA.RECTANGLED_HALF_SPACE' IN TYPEOF(item)))) = 0;
END_ENTITY; -- rectangle_domain

Entity data types and their attributes

founded_item
          (DER) users: SET [0:?] OF founded_item_select;
rectangle_domain
          corner: cartesian_point;
          xlength: positive_length_measure;
          ylength: positive_length_measure;

Users

founded_item
          founded_item.users
                    founded_item_select
rectangle_domain
          rectangled_half_space.enclosure

Global rules for this entity data type

          -

public interface ERectangle_domain extends EFounded_item

corner (explicit attribute)

          boolean testCorner(ERectangle_domain type)
          ECartesian_point getCorner(ERectangle_domain type)
          void setCorner(ERectangle_domain type, ECartesian_point value)
          void unsetCorner(ERectangle_domain type)

xlength (explicit attribute)

          boolean testXlength(ERectangle_domain type)
          double getXlength(ERectangle_domain type)
          void setXlength(ERectangle_domain type, double value)
          void unsetXlength(ERectangle_domain type)

ylength (explicit attribute)

          boolean testYlength(ERectangle_domain type)
          double getYlength(ERectangle_domain type)
          void setYlength(ERectangle_domain type, double value)
          void unsetYlength(ERectangle_domain type)

public class CRectangle_domain implements ERectangle_domain

          static EAttribute attributeCorner(ERectangle_domain type)
          static int usedinCorner(ERectangle_domain type, ECartesian_point instance, ASdaiModel domain, ARectangle_domain result)
          static EAttribute attributeXlength(ERectangle_domain type)
          static EAttribute attributeYlength(ERectangle_domain type)

public class ARectangle_domain extends AEntity

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