session.setGlobal( "result",
result );
// This pattern is always true.
Pattern pattern1 = VerifierComponentMockFactory.createPattern1();
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,
"" );