src/tests/gov/nasa/jpf/util/StringSetMatcherTest.java

   1 /*
   2  * Copyright (C) 2015, United States Government, as represented by the
   3  * Administrator of the National Aeronautics and Space Administration.
   4  * All rights reserved.
   5  *
   6  * The Java Pathfinder core (jpf-core) platform is licensed under the
   7  * Apache License, Version 2.0 (the "License"); you may not use this file except
   8  * in compliance with the License. You may obtain a copy of the License at
   9  *
  10  *        http://www.apache.org/licenses/LICENSE-2.0.
  11  *
  12  * Unless required by applicable law or agreed to in writing, software
  13  * distributed under the License is distributed on an "AS IS" BASIS,
  14  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  15  * See the License for the specific language governing permissions and
  16  * limitations under the License.
  17  */
  18 package gov.nasa.jpf.util;
  19
  20 import gov.nasa.jpf.util.test.TestJPF;
  21 import org.junit.Test;
  22
  23 /**
  24  * regression test for .util.StringSetMatcher
  25  */
  26 public class StringSetMatcherTest extends TestJPF {
  27
  28   @Test
  29   public void testInversion (){
  30     StringSetMatcher ssm = new StringSetMatcher("!failure-*", "failure-10");
  31
  32     assertTrue( ssm.matchesAny("blah"));
  33     assertFalse( ssm.matchesAny("failure-0"));
  34
  35     assertTrue( ssm.matchesAny("failure-10"));
  36     assertFalse( ssm.matchesAll("failure-10"));
  37   }
  38
  39   @Test
  40   public void testMatchesAll (){
  41     StringSetMatcher ssm = new StringSetMatcher("a*", "*blah");
  42
  43     assertTrue( ssm.matchesAll("aXXblah"));
  44     assertFalse( ssm.matchesAll("xblah"));
  45   }
  46
  47   @Test
  48   public void testMatchesAny (){
  49     StringSetMatcher ssm = new StringSetMatcher("blah", "gna");
  50
  51     assertTrue( ssm.matchesAny("blah"));
  52     assertFalse( ssm.matchesAny("xblah"));
  53   }
  54
  55   @Test
  56   public void testHasAnyPattern(){
  57     StringSetMatcher ssm = new StringSetMatcher("*", "gna");
  58     assertTrue( ssm.matchesAny("blubb"));
  59     assertTrue( ssm.matchesAll("gna"));
  60
  61     ssm = new StringSetMatcher("*");  // single pattern optimization
  62     assertTrue(ssm.matchesAll("gna"));
  63     assertTrue(ssm.matchesAny("gulp"));
  64   }
  65
  66 }