Methoden-Parameter soll Referenz, aber kein nil sein können

[jensw_2000]

Sowas hier?

Delphi-Quellcode:

method MyObject.DivideBy(aValue: Integer);
require
  aValue <> 0;
begin
  MyValue := MyValue/aValue;
end;

Delphi-Quellcode:

method MyObject.Add(aItem: ListItem);
begin
  InternalList.Add(aItem);
ensure
  Count > 0;
End;

Require_(keyword)


Pre- und Postconditions stehen auch auf meiner Delphi Sprachfeature Wunschliste ganz oben.
Hoffentlich baut EMBT das irgendwann mit ein.
Wird echt mal wieder Zeit für ein paar echte Delphi Features, anstatt nur Halbherzigkeiten drum herum zu bauen.