Oberon getters

gistfile1.txt

PROCEDURE Pos*     (self : Type): INTEGER ; RETURN self.pos     END Pos;
PROCEDURE Size*    (self : Type): INTEGER ; RETURN self.size    END Size;
PROCEDURE Foo*     (self : Type): REAL    ; RETURN self.foo     END Foo;
PROCEDURE Bar*     (self : Type): INTEGER ; RETURN self.bar     END Bar;
PROCEDURE Color*   (self : Type): ColorT  ; RETURN self.color   END Color;
PROCEDURE Top*     (self : Type): INTEGER ; RETURN self.top     END Top;
PROCEDURE Width*   (self : Type): INTEGER ; RETURN self.width   END Width;
PROCEDURE Options* (self : Type): SET     ; RETURN self.options END Options;