/* * Copyright 2016 Red Hat, Inc. and/or its affiliates. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package org.drools.workbench.services.verifier.core.cache.inspectors.condition; import java.util.Arrays; import java.util.Collection; import org.drools.workbench.services.verifier.api.client.index.Column; import org.drools.workbench.services.verifier.api.client.index.Field; import org.drools.workbench.services.verifier.api.client.index.keys.Values; import org.drools.workbench.services.verifier.api.client.index.FieldCondition; import org.drools.workbench.services.verifier.core.checks.AnalyzerConfigurationMock; import org.junit.Test; import org.junit.runner.RunWith; import org.junit.runners.Parameterized; import org.junit.runners.Parameterized.Parameters; import static java.lang.String.format; import static org.junit.Assert.assertEquals; import static org.mockito.Mockito.*; @RunWith(Parameterized.class) public class StringConditionInspectorSubsumptionTest { private final Values value1; private final Values value2; private final String operator1; private final String operator2; private final boolean aSubsumesB; private final boolean bSubsumesA; private final Field field; public StringConditionInspectorSubsumptionTest( String operator1, Values value1, String operator2, Values value2, boolean aSubsumesB, boolean bSubsumesA ) { this.field = mock( Field.class ); this.value1 = value1; this.value2 = value2; this.operator1 = operator1; this.operator2 = operator2; this.aSubsumesB = aSubsumesB; this.bSubsumesA = bSubsumesA; } @Parameters public static Collection<Object[]> testData() { return Arrays.asList( new Object[][]{ // op1, val1, op2, val2, aSubsumesB, bSubsumesA {"==", new Values( "a" ), "==", new Values( "a" ), true, true}, {"!=", new Values( "a" ), "!=", new Values( "a" ), true, true}, {">", new Values( "a" ), ">", new Values( "a" ), true, true}, {">=", new Values( "a" ), ">=", new Values( "a" ), true, true}, {"<", new Values( "a" ), "<", new Values( "a" ), true, true}, {"<=", new Values( "a" ), "<=", new Values( "a" ), true, true}, {"in", new Values( "a", "b" ), "in", new Values( "a", "b" ), true, true}, {"not in", new Values( "a", "b" ), "not in", new Values( "a", "b" ), true, true}, {"matches", new Values( "a" ), "matches", new Values( "a" ), true, true}, {"soundslike", new Values( "a" ), "soundslike", new Values( "a" ), true, true}, {"==", new Values( "a" ), "soundslike", new Values( "a" ), true, true}, {"matches", new Values( "a" ), "soundslike", new Values( "a" ), true, true}, {"==", new Values( "a" ), "==", new Values( "b" ), false, false}, {"==", new Values( "a" ), "!=", new Values( "a" ), false, false}, {"==", new Values( "a" ), "!=", new Values( "b" ), false, true}, {"==", new Values( "a" ), ">", new Values( "a" ), false, false}, {"==", new Values( "a" ), ">", new Values( " " ), false, false}, {"==", new Values( "a" ), ">=", new Values( "b" ), false, false}, {"==", new Values( "a" ), ">=", new Values( "a" ), false, true}, {"==", new Values( "a" ), ">=", new Values( " " ), false, false}, {"==", new Values( "a" ), "<", new Values( "a" ), false, false}, {"==", new Values( "a" ), "<", new Values( "b" ), false, false}, {"==", new Values( "a" ), "<=", new Values( "a" ), false, true}, {"==", new Values( "a" ), "<=", new Values( " " ), false, false}, {"==", new Values( "a" ), "<=", new Values( "b" ), false, false}, {"==", new Values( "a" ), "in", new Values( "a", "b" ), false, true}, {"==", new Values( "a" ), "in", new Values( "b", "c" ), false, false}, {"==", new Values( "a" ), "not in", new Values( "a", "b" ), false, false}, {"==", new Values( "a" ), "not in", new Values( "b", "c" ), false, true}, {"!=", new Values( "a" ), "!=", new Values( "b" ), false, false}, {"!=", new Values( "a" ), ">", new Values( " " ), false, false}, {"!=", new Values( "a" ), ">", new Values( "b" ), false, false}, {"!=", new Values( "a" ), ">=", new Values( " " ), false, false}, {"!=", new Values( "a" ), ">=", new Values( "a" ), false, false}, {"!=", new Values( "a" ), ">=", new Values( "b" ), false, false}, {"!=", new Values( "a" ), "<", new Values( "b" ), false, false}, {"!=", new Values( "a" ), "<", new Values( " " ), false, false}, {"!=", new Values( "a" ), "<=", new Values( "b" ), false, false}, {"!=", new Values( "a" ), "<=", new Values( "a" ), false, false}, {"!=", new Values( "a" ), "<=", new Values( " " ), false, false}, // This is tricky since, != a conflicts with ==a, but subsumes ==b // At this point we need to ignore this, since we do not support "or" {"!=", new Values( "a" ), "in", new Values( "a", "b" ), false, false}, {"!=", new Values( "a" ), "in", new Values( "b", "c" ), true, false}, {"!=", new Values( "a" ), "not in", new Values( "a", "b" ), false, true}, {"!=", new Values( "a" ), "not in", new Values( "b", "c" ), false, false}, {">", new Values( "a" ), ">", new Values( "b" ), false, false}, {">", new Values( "a" ), ">=", new Values( "a" ), false, true}, {">", new Values( "a" ), ">=", new Values( "b" ), false, false}, {">", new Values( "a" ), "<", new Values( " " ), false, false}, {">", new Values( "a" ), "<", new Values( "c" ), false, false}, {">", new Values( "a" ), "<=", new Values( " " ), false, false}, {">", new Values( "a" ), "<=", new Values( "b" ), false, false}, {">", new Values( "a" ), "in", new Values( "a", "b" ), false, false}, {">", new Values( "a" ), "in", new Values( "b", "c" ), false, false}, {">", new Values( "a" ), "not in", new Values( "a", "b" ), false, false}, {">", new Values( "a" ), "not in", new Values( "0", "1" ), false, false}, {">=", new Values( "a" ), ">=", new Values( "b" ), false, false}, {">=", new Values( "a" ), "<", new Values( " " ), false, false}, {">=", new Values( "a" ), "<", new Values( "b" ), false, false}, {">=", new Values( "a" ), "<=", new Values( " " ), false, false}, {">=", new Values( "a" ), "<=", new Values( "c" ), false, false}, {">=", new Values( "a" ), "in", new Values( "0", "b" ), false, false}, {">=", new Values( "a" ), "in", new Values( "b", "c" ), false, false}, {">=", new Values( "a" ), "not in", new Values( "a", "b" ), false, false}, {">=", new Values( "a" ), "not in", new Values( "0", "1" ), false, false}, {"<", new Values( "a" ), "<", new Values( "b" ), false, false}, {"<", new Values( "a" ), "<=", new Values( " " ), false, false}, {"<", new Values( "a" ), "<=", new Values( "c" ), false, false}, {"<", new Values( "a" ), "in", new Values( "a", "b" ), false, false}, {"<", new Values( "a" ), "in", new Values( "0", "1" ), false, false}, {"<", new Values( "a" ), "not in", new Values( "a", "b" ), false, false}, {"<", new Values( "a" ), "not in", new Values( "0", "1" ), false, false}, {"<=", new Values( "a" ), "<=", new Values( "b" ), false, false}, {"<=", new Values( "a" ), "in", new Values( "a", "b" ), false, false}, {"<=", new Values( "a" ), "in", new Values( "0", "1" ), false, false}, {"<=", new Values( "a" ), "not in", new Values( "b", "c" ), false, false}, {"<=", new Values( "a" ), "not in", new Values( "0", "1" ), false, false}, {"in", new Values( "a" ), "in", new Values( "a", "b" ), false, true}, {"in", new Values( "b", "a" ), "in", new Values( "a", "b" ), true, true}, {"in", new Values( "a" ), "in", new Values( "0", "1" ), false, false}, {"in", new Values( "a" ), "not in", new Values( "a", "b" ), false, false}, {"in", new Values( "a" ), "not in", new Values( "b", "c" ), false, true}, {"not in", new Values( "b", "a" ), "not in", new Values( "a", "b" ), true, true}, {"not in", new Values( "a" ), "not in", new Values( "a", "b" ), false, true}, {"not in", new Values( "a" ), "not in", new Values( "b", "c" ), false, false}, } ); } @Test public void testASubsumesB() { StringConditionInspector a = getCondition( value1, operator1 ); StringConditionInspector b = getCondition( value2, operator2 ); assertEquals( getAssertDescription( a, b, aSubsumesB ), aSubsumesB, a.subsumes( b ) ); } @Test public void testBSubsumesA() { StringConditionInspector a = getCondition( value1, operator1 ); StringConditionInspector b = getCondition( value2, operator2 ); assertEquals( getAssertDescription( b, a, bSubsumesA ), bSubsumesA, b.subsumes( a ) ); } private String getAssertDescription( StringConditionInspector a, StringConditionInspector b, boolean conflictExpected ) { return format( "Expected condition '%s' %sto subsume condition '%s':", a.toHumanReadableString(), conflictExpected ? "" : "not ", b.toHumanReadableString() ); } private StringConditionInspector getCondition( final Values values, final String operator ) { AnalyzerConfigurationMock configurationMock = new AnalyzerConfigurationMock(); return new StringConditionInspector( new FieldCondition<>( field, mock( Column.class ), operator, values, configurationMock ), configurationMock ); } }