MESSAGE
      NewFuncMsg (VAR error: INTEGER);
      FuncNameMsg (name: Name; VAR error: INTEGER);
      NewSentMsg (VAR error: INTEGER);
      BeginExprMsg (VAR error: INTEGER);
      EndExprMsg (VAR error: INTEGER);
      CharMsg (char: CHAR; encode: BOOLEAN; VAR error: INTEGER);
      CharVarMsg (symTab: Structs.SymTab; name: Name; VAR error: INTEGER);
      FreeVarMsg (symTab: Structs.SymTab; name: Name; VAR error: INTEGER);
      NewCondMsg (VAR error: INTEGER);

 TYPE
      ConditionDesc* = RECORD (Structs.Expr)
         predicate*: Name;
         expect*: BOOLEAN
      END;

      Condition* = OBJECT BASED ON ConditionDesc;
      Template* = OBJECT BASED ON Structs.Expr;
      Program* = OBJECT BASED ON Structs.Expr;


METHOD CharMsg (char: CHAR; encode: BOOLEAN; VAR error: INTEGER) -> t: Template;
      VAR c: Char;
   BEGIN
         NEW(c); c.c := char; c.encode := encode;
         t.Insert(c, t.last)
   END CharMsg;

METHOD CharVarMsg (symTab: Structs.SymTab; name: Name; VAR error: INTEGER)-> t: Template;
   VAR lastVar: ANYPTR;
            var: CharVar;
            ref: VarRef;
   BEGIN
         lastVar := symTab.Look(name);
         IF ~ ((lastVar = NIL) OR (lastVar IS CharVar)) THEN
            error := sameNameForDifVars
         ELSIF lastVar = NIL THEN
            NEW(var);
            var.name := name;
            symTab.Add(name, var);
            t.Insert(var, t.last)
         ELSE
            NEW(ref); ref.var := lastVar(Variable);
            t.Insert(ref, t.last)
         END
   END CharVarMsg;



METHOD CharMsg (char: CHAR; encode: BOOLEAN; VAR error: INTEGER) -> c: Condition;
   BEGIN
         CASE char OF
         | 'T': c.expect := TRUE
         | 'F': c.expect := FALSE
         END
   END CharMsg;

METHOD CharVarMsg (symTab: Structs.SymTab; name: Name; VAR error: INTEGER)-> c: Condition;
   VAR lastVar: ANYPTR;
            ref: VarRef;
   BEGIN
         lastVar := symTab.Look(name);
         IF ~( (lastVar # NIL) & (lastVar IS CharVar) ) THEN
            error := unknownVariable
         ELSE
            NEW(ref); ref.var := lastVar(Variable)(CharVar);
            c.Insert(ref, c.last)
         END
   END CharVarMsg;

figure.h:
class Figure {
public:
    virtual void draw(Device &d); // интерфейсный метод
    ...
};

circle.cpp:
class Circle : public Figure
                , handle_draw<Screen,Printer>
{
    virtual void draw(Device &d); // обрабатываем "неизвестные" Device
   
    void draw(Screen &s); // НЕ интерфейсный метод
    void draw(Printer &p); // НЕ интерфейсный метод
};