gov.nasa.jpf.util

Class PathnameExpander

java.lang.Object

gov.nasa.jpf.util.PathnameExpander

public class PathnameExpander
extends Object

utility to perform pathname expansion the following patterns are supported so far: (1) brace expansion ala bash: foo{Boo,Shoo} => fooBoo, fooShoo (this doesn't check for existence, its simply lexical) (2) '*' wildcard pathname expansion ala bash: "*.java" | "*\Main*.java" (supports wildcards in mutiple path elements and within file/dir name) (3) recursive dir expansion ala Ant: "**\*.jar"

Constructor Summary

Constructors

Constructor and Description
PathnameExpander()

Method Summary

Methods

Modifier and Type	Method and Description
String[]	expandPath(String s)
protected String[]	expandWildcards(String s)
protected String[]	getPaths(ArrayList<File> list)
protected Pattern	getPattern(String s)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PathnameExpander

public PathnameExpander()

Method Detail

expandPath

public String[] expandPath(String s)

expandWildcards

protected String[] expandWildcards(String s)

getPaths

protected String[] getPaths(ArrayList<File> list)

getPattern

protected Pattern getPattern(String s)