Monthly Archives: April 2006

XOOPS 2.0.14 JP is available

XOOPS 2.0.14 JP released. It nearly equals RC1 which was released at last week. But, one bug was fixed. You get possible to install XOOPS 2.0.14 JP in PHP 5.1.x by this bug fix. Perhaps 2.0.14 will be the last … Continue reading

Posted in XOOPS Cube | Leave a comment

XOOPS 2.0.14 JP RC1 is available

XOOPS 2.0.14 JP RC1 has been released by the XOOPS Cube core team. In this version, most notices in PHP 4.4.x were removed by onokazu’s good job. And, the third libraries were updated. This version needs to be helped by … Continue reading

Posted in XOOPS Cube | Leave a comment

True DbC

You understood simple DbC in C++ until yesterday’s entry. But, there are powerful features in true DbC. Let’s check it today. Features of DbC which you should pay attention to are the following. Class invariants are inherited, that means that … Continue reading

Posted in Uncategorized | Leave a comment

Class Invariants in C++

Class invariants is consistency checks that is written as a method. That method is called when every normal entrance and exit from the function. Let’s write class invariants simply. This page which my site introduces every time shows the following … Continue reading

Posted in Uncategorized | Leave a comment

Pre-condition and Post-condition in C++

Ok, let’s check the method that realize DbC in standard C++. About realizing pre-condition, anybody think that an assert in a first part of function is effectual. That’s right. And, it is also correct method about assert. Then, do you … Continue reading

Posted in Uncategorized | Leave a comment

DbC in standard C++ compiler

So, how should you write the contract in standard C++ or your C++ environment? You can get many sample codes from internet because many C++ programmers challenge the proposition. Ironically, one of the best solutions is shown in D programming … Continue reading

Posted in Uncategorized | Leave a comment

Digital Mars C++ Compiler

Digital Mars C++ Compiler is the only C++ compiler which implements DbC. It isn’t an open source project, but we can get it free. A programmer can write the contract naturally with this compiler. It was developed by Walter Bright … Continue reading

Posted in Uncategorized | Leave a comment