result );
// This pattern has an error.
Pattern pattern1 = VerifierComponentMockFactory.createPattern1();
Restriction r1 = LiteralRestriction.createRestriction( pattern1,
"" );
Restriction r2 = LiteralRestriction.createRestriction( pattern1,
"" );
Incompatibility i1 = new Incompatibility( r1,
r2 );
SubPattern pp1 = new SubPattern( pattern1,
0 );
pp1.add( r1 );
pp1.add( r2 );
Restriction r3 = new VariableRestriction( pattern1 );
Restriction r4 = new VariableRestriction( pattern1 );
Incompatibility i2 = new Incompatibility( r1,
r2 );
SubPattern pp2 = new SubPattern( pattern1,
1 );
pp2.add( r1 );
pp2.add( r2 );
// This pattern does not have an error.
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 );
Incompatibility i4 = new Incompatibility( r7,
r8 );
SubPattern pp4 = new SubPattern( pattern2,
1 );
pp4.add( r7 );