Personal tools

c-dbc

From IEETA

Jump to: navigation, search
Description Design by Contract and exceptions for C programming language
Date 2013/11/21
Version 0.91
Type C library
Download http://sweet.ua.pt/mos/c-dbc/index.xhtml

The library extends C programming language with a complete exception mechanism and support for Design by Contract. Unlike common try-catch language mechanism (used in almost all recent programming languages), this library uses a safe try-catch mechanism (based on Eiffel's disciplined exception mechanism) in which an exception cannot be easily ignored.