Constraint Expression Languages

By Rainer Storn

Dr. Dobb's Journal February 1997

BaseClassDtor (
  Class B;
  Class D | D.is_descendant(B);
   Assert(MemberFunction B::m; | m.name() == "~" +  B.name() && m.is_virtual());
);

Example 1: Rule 10 in CCEL.

Back to Article