> -- Rifat писал(а):
> 
Сейчас подумал про то, что процедуры Condition1, Command1, Condition2, Command2, Condition3, Command3 было бы хорошо сделать вложенными в процедуру Test. НО, по крайней мере в компиляторе Oberon-07M нельзя брать указатель на процедуру от вложенной процедуры. Это могло бы быть оправдано, если вложенная процедура может обращаться к локальным переменным той процедуру, в которую она вложена (как должно быть в Component Pascal), тогда если взять указатель на вложенную процедуру, то может потеряться контекст, так как внешней процедуры может не существовать в момент вызова вложенной. НО, в Oberon-07 есть такое правило, что вложенная процедура может обращаться только к своим локальным переменным и к глобальным переменным, поэтому получается, что вложенная процедура ничем не отличается от не вложенной и можно спокойно брать указатель на эту вложенную процедуру.