Smart pascal source code


var v = True;

Begin
Assert(1=1, 'should optimize itself away');

Assert(v);
try
   Assert(not v);
except
   on E: EAssertionFailed do
      WriteLn(E.Message);  // Assertion failed
end;

Assert(v, 'bug');
try
   Assert(not v, 'boom');
except
   on E: EAssertionFailed do
      WriteLn(E.Message);  // Assertion failed : boom
end;

Assert(True);
try
   Assert(False);
except
   on E: EAssertionFailed do
      WriteLn(E.Message);  // Assertion failed
end;

Assert(True, 'rebug');
try
   Assert(False, 'reboom');
except
   on E: EAssertionFailed do
      WriteLn(E.Message);  // Assertion failed : reboom
end;

{ CONSOLE OUTPUT

Assertion failed
Assertion failed : boom
Assertion failed
Assertion failed : reboom

}

var Exception={
	$ClassName: "Exception",
	$Parent: TObject,
	$Init: function () { FMessage="" },
	Create: function (s,Msg) { s.FMessage=Msg; return s }
}
var EAssertionFailed={
	$ClassName: "EAssertionFailed",
	$Parent: Exception,
	$Init: Exception.$Init
}
function $W(e) { return e.ClassType?e:Exception.Create($New(Exception),e.constructor.name+", "+e.message) }
function $New(c) { var i={ClassType:c}; c.$Init(i); return i }
function $Is(o,c) {
	if (o===null) return false;
	return $Inh(o.ClassType,c);
};
function $Inh(s,c) {
	if (s===null) return false;
	while ((s)&&(s!==c)) s=s.$Parent;
	return (s)?true:false;
};

function $Assert(b, m, z) {
	if (!b)
		throw Exception.Create($New(EAssertionFailed), "Assertion failed" + z + ((m == "") ? "" : " : ") + m);
}

      var v = true;
      $Assert(v,"","");
      try {
         $Assert(!v,"","");
      } catch ($e) {
         if ($Is($e,EAssertionFailed)) {
            var E = $W($e);
            /* null */
         }
         else throw $e
      }