Lines Matching defs:filename
172 void openPolicy(String filename) throws FileNotFoundException,
198 if (filename == null) {
208 setPolicyFileName(filename);
209 parser.read(new FileReader(filename));
305 void savePolicy(String filename)
312 parser.write(new FileWriter(filename));
2281 // pop up a dialog box for the user to enter a filename.
2296 // get the entered filename
2298 String filename = saveAsFile.getPath();
2303 tool.savePolicy(filename);
2307 ("Policy.successfully.written.to.filename"));
2308 Object[] source = {filename};
2311 // display the new policy filename
2314 newFilename.setText(filename);
2322 if (filename == null || filename.equals("")) {
2324 (PolicyTool.rb.getString("null.filename")));
2419 // display null policy filename and keystore
2428 // pop up a dialog box for the user to enter a filename.
2443 // get the entered filename
2461 // display the new policy filename
2481 // display a null policy filename
2696 // get the previously entered filename
2697 String filename = ((TextField)
2700 // if there is no filename, do a SAVE_AS
2701 if (filename == null || filename.length() == 0) {
2709 tool.savePolicy(filename);
2714 ("Policy.successfully.written.to.filename"));
2715 Object[] source = {filename};
2718 if (filename == null || filename.equals("")) {
2720 (PolicyTool.rb.getString("null.filename")));
3524 String filename = ((TextField)
3526 if (filename == null || filename.equals("")) {
3533 tool.savePolicy(filename);
3538 ("Policy.successfully.written.to.filename"));
3539 Object[] source = {filename};