Restriction r1 = LiteralRestriction.createRestriction( pattern1,
"" );
Restriction r2 = LiteralRestriction.createRestriction( pattern1,
"" );
Opposites o1 = new Opposites( r1,
r2 );
SubPattern pp1 = new SubPattern( pattern1,
0 );
pp1.add( r1 );
pp1.add( r2 );
Restriction r3 = new VariableRestriction( pattern1 );
Restriction r4 = new VariableRestriction( pattern1 );
Opposites o2 = new Opposites( r1,
r2 );
SubPattern pp2 = new SubPattern( pattern1,
1 );
pp2.add( r1 );
pp2.add( r2 );
// This pattern is okay.
Pattern pattern2 = VerifierComponentMockFactory.createPattern2();
Restriction r5 = LiteralRestriction.createRestriction( pattern2,
"" );
Restriction r6 = LiteralRestriction.createRestriction( pattern2,
"" );
SubPattern pp3 = new SubPattern( pattern2,
0 );
pp3.add( r5 );
pp3.add( r6 );
Restriction r7 = new VariableRestriction( pattern2 );
Restriction r8 = new VariableRestriction( pattern2 );
Opposites o4 = new Opposites( r7,
r8 );
SubPattern pp4 = new SubPattern( pattern2,
1 );
pp4.add( r7 );
pp4.add( r8 );