Verträge für Delphi / Design by Contract

Thema durchsuchen

Ansicht

Themen-Optionen

Verträge für Delphi / Design by Contract

Offene Frage von "jaenicke"

Ein Thema von dominikkv · begonnen am 26. Jun 2013 · letzter Beitrag vom 29. Nov 2013

Vorheriger Beitrag

Nächster Beitrag

Namenloser

Registriert seit: 7. Jun 2006
Ort: Karlsruhe
3.724 Beiträge

FreePascal / Lazarus

#15

AW: Verträge für Delphi / Design by Contract

28. Jun 2013, 17:50

Zitat von BUG:

Das Argument mit dem Halteproblem kann ich nicht nachvollziehen. Abgesehen von dem begrenzten Speicher sollte es problemlos möglich sein, eine Turingmaschine zu realisieren. Schließlich bieten die Contracts keine Aussage über die Laufzeit.

Doch, das ist theoretisch schon ein Problem. Angenommen, dein Contract wäre, dass ein kryptographischer Hash des Parameters nicht 0 sein darf. Also z.B. SHA1(Parameter) <> 0. Viel Spaß dabei, zur Compilezeit auszuwerten, welche Werte erlaubt sind.