Package: Ahven

Description

Ahven Unit Test Library

Copyright (c) 2007-2009 Tero Koskinen <tero.koskinen@iki.fi>

Permission to use, copy, modify, and distribute this software for any purpose with or without fee is hereby granted, provided that the above copyright notice and this permission notice appear in all copies.

THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.


Header

package Ahven is
 

Exceptions

Assertion_Error
Exception, raised when Assert fails.

Other Items:

procedure Assert (Condition : Boolean; Message : String);
If Condition is false, Assert raises Assertion_Error with given Message.

generic
   type Data_Type is private;
   with function Image (Item : Data_Type) return String is <>;
procedure Assert_Equal (Actual   : Data_Type;
                        Expected : Data_Type;
                        Message  : String);
If Expected /= Actual, Assert raises Assertion_Error with given Message + represenation of expected and acutal values

procedure Fail (Message : String);
Fail always raises Assertion_Error with given Message.
end Ahven;