GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 21:19:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

gfcm in Java ; Finnish close to finished

Browse Source
This commit is contained in:
aarne
2005-06-30 22:09:36 +00:00
parent 7bb9e88cb8
commit 4d94cdfd66
4 changed files with 19 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/JavaGUI2/de/uka/ilkd/key/ocl/gf/GrammarFilter.java
View File

@@ -20,7 +20,7 @@ import javax.swing.filechooser.*;
public class GrammarFilter extends FileFilter {
// Accept all directories and all gf, gfm files.
// Accept all directories and all gf, gfcm files.
public boolean accept(File f) {
if (f.isDirectory()) {
return true;
@@ -29,7 +29,7 @@ public class GrammarFilter extends FileFilter {
String extension = Utils.getExtension(f);
if (extension != null) {
if (extension.equals(Utils.gf) ||
extension.equals(Utils.gfm)) {
extension.equals(Utils.gfcm)) {
return true;
} else {
return false;
@@ -41,6 +41,6 @@ public class GrammarFilter extends FileFilter {
// The description of this filter
public String getDescription() {
return "Just Grammars (*.gf, *.gfm)";
return "Just Grammars (*.gf, *.gfcm)";
}
}

2
src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Utils.java
View File

@@ -30,7 +30,7 @@ public class Utils {
}
public static final String gf = "gf";
public static final String gfm = "gfm";
public static final String gfcm = "gfcm";
/*
* Get the extension of a file.