/** * Creates a new ConfigurationParser for the given file and the given * Properties. */ public ConfigurationParser(File file, Properties properties) throws IOException { this(new FileWordReader(file), properties); }
/** * Creates a new ConfigurationParser for the given file and the given * Properties. */ public ConfigurationParser(File file, Properties properties) throws IOException { this(new FileWordReader(file), properties); }
/** * Creates a new ConfigurationParser for the given file and the given * Properties. */ public ConfigurationParser(File file, Properties properties) throws IOException { this(new FileWordReader(file), properties); }
/** * Creates a new ConfigurationParser for the given URL and the given * Properties. */ public ConfigurationParser(URL url, Properties properties) throws IOException { this(new FileWordReader(url), properties); }
/** * Creates a new ConfigurationParser for the given URL and the given * Properties. */ public ConfigurationParser(URL url, Properties properties) throws IOException { this(new FileWordReader(url), properties); }
/** * Creates a new ConfigurationParser for the given URL and the given * Properties. */ public ConfigurationParser(URL url, Properties properties) throws IOException { this(new FileWordReader(url), properties); }
/** * Creates a new ConfigurationParser for the given URL. */ public ConfigurationParser(URL url) throws IOException { reader = new FileWordReader(url); readNextWord(); }
/** * Creates a new ConfigurationParser for the given file. */ public ConfigurationParser(File file) throws IOException { reader = new FileWordReader(file); readNextWord(); }
private long parseIncludeArgument(long lastModified) throws ParseException, IOException { // Read the configuation file name. readNextWord("configuration file name"); File file = file(nextWord); reader.includeWordReader(new FileWordReader(file)); readNextWord(); return Math.max(lastModified, file.lastModified()); }
reader.includeWordReader(new FileWordReader(url)); reader.includeWordReader(new FileWordReader(url)); if (url != null) reader.includeWordReader(new FileWordReader(url)); reader.includeWordReader(new FileWordReader(file));
reader.includeWordReader(new FileWordReader(url)); reader.includeWordReader(new FileWordReader(url)); if (url != null) reader.includeWordReader(new FileWordReader(url)); reader.includeWordReader(new FileWordReader(file));
reader.includeWordReader(new FileWordReader(url)); reader.includeWordReader(new FileWordReader(url)); if (url != null) reader.includeWordReader(new FileWordReader(url)); reader.includeWordReader(new FileWordReader(file));