readonlyはconstで代用できるんじゃ？
A, B : Integer := 0;
この形式はどうだろうねぇ。
クラスだったらA,Bは同じ一つのインスタンスを刺す参照？