Section Header

    + name := LIMIT_Y;

    - comment := "Sub structure for AREA.";

    - author := "Benoit Sonntag (bsonntag@loria.fr), Jerome Boutet (boutet@loria.fr)";

    - version := 1;

Section Inherit

    - parent_object:OBJECT :=

Section Public

    + value:INTEGER;

    + plan:PLAN;

    + is_top:BOOLEAN;

    + next:LIMIT_Y;

    + prev:LIMIT_Y;

Section Public

    - make y:INTEGER plan p:PLAN is_top b:BOOLEAN <-

    - create_top y:INTEGER plan p:PLAN :LIMIT_Y <-

    - create_bottom y:INTEGER plan p:PLAN :LIMIT_Y <-

    - append old_root:LIMIT_Y :LIMIT_Y <-

    - remove old_root:LIMIT_Y :LIMIT_Y <-

    - set_value v:INTEGER <-

    - set_next new:LIMIT_Y <-

    - set_prev new:LIMIT_Y <-