validator/constraints/InternalConsistencyConstraints.cpp

85   pre( c.getLevel() == 1 || (c.getLevel() == 2 && c.getVersion() == 1)
266   pre( c.getLevel() == 1 || (c.getLevel() == 2 && c.getVersion() < 3));
276   pre( ct.getLevel() == 1 || (ct.getLevel() == 2 && ct.getVersion() < 3));
286   pre( d.getLevel() == 1 || (d.getLevel() == 2 && d.getVersion() < 3));
296   pre( s.getLevel() == 1 || (s.getLevel() == 2 && s.getVersion() < 3));
306   pre( s.getLevel() == 1 || (s.getLevel() == 2 && s.getVersion() < 3));
319   pre( sr.getLevel() == 1 || (sr.getLevel() == 2 && sr.getVersion() < 3));
331   pre( t.getLevel() == 1 || (t.getLevel() == 2 && t.getVersion() < 3));
341   pre( u.getLevel() == 1 || (u.getLevel() == 2 && u.getVersion() < 3));
351   pre( u.getLevel() == 1 || (u.getLevel() == 2 && u.getVersion() < 3));
377   pre( c.getLevel() == 1 && c.getVersion() == 1)
387   pre( x.getLevel() == 1 ||(x.getLevel() == 2 && x.getVersion() == 1)
398   pre( x.getLevel() == 1 ||(x.getLevel() == 2 && x.getVersion() == 1));
420   pre( e.getLevel() == 1 || (e.getLevel() == 2 && e.getVersion() == 1));
430   pre( ea.getLevel() == 1 || (ea.getLevel() == 2 && ea.getVersion() == 1));
440   pre( fd.getLevel() == 1 || (fd.getLevel() == 2 && fd.getVersion() == 1));
450   pre( kl.getLevel() == 1 || (kl.getLevel() == 2 && kl.getVersion() == 1));
460   pre( m1.getLevel() == 1 || (m1.getLevel() == 2 && m1.getVersion() == 1));
470   pre( p.getLevel() == 1 || (p.getLevel() == 2 && p.getVersion() == 1));
480   pre( r.getLevel() == 1 || (r.getLevel() == 2 && r.getVersion() == 1));
490   pre( r.getLevel() == 1 || (r.getLevel() == 2 && r.getVersion() == 1));
500   pre( r.getLevel() == 1 || (r.getLevel() == 2 && r.getVersion() == 1));
510   pre( r.getLevel() == 1 || (r.getLevel() == 2 && r.getVersion() == 1));
520   pre( sr.getLevel() == 1 || (sr.getLevel() == 2 && sr.getVersion() == 1));
540   pre( x.getLevel() == 1 ||(x.getLevel() == 2 && x.getVersion() == 1));
628     || (s.getLevel() == 2 && s.getVersion() > 2)
639   pre( s.getLevel() == 1 || (s.getLevel() == 2 && s.getVersion() == 1)
660   pre( sr.getLevel() == 1 || (sr.getLevel() == 2 && sr.getVersion() == 1));
670   pre( sr.getLevel() == 1 || (sr.getLevel() == 2 && sr.getVersion() == 1));
680   pre( x.getLevel() == 1 ||(x.getLevel() == 2 && x.getVersion() == 1)
717     || (u.getLevel() == 2 && u.getVersion() != 1)
773     pre(r.getVersion() < 2);
792   pre(r.getVersion() > 1);
807     pre(e.getVersion() < 2);