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

reduced log level if no param descriptions are present

Browse Source
This commit is contained in:
hdaniels
2005-06-22 14:57:02 +00:00
parent ebae7eedc1
commit d211d311d0
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/JavaGUI2/de/uka/ilkd/key/ocl/gf/Printname.java
View File

@@ -113,7 +113,7 @@ class Printname {
try { try {
name = (String)this.paramNames.get(n); name = (String)this.paramNames.get(n);
} catch (ArrayIndexOutOfBoundsException e) { } catch (ArrayIndexOutOfBoundsException e) {
subcatLogger.warning(e.getLocalizedMessage()); subcatLogger.fine(e.getLocalizedMessage());
} }
return name; return name;
} }
@@ -393,7 +393,7 @@ class Printname {
+ "<dd>" + this.paramTexts.get(which) + "</dd>"; + "<dd>" + this.paramTexts.get(which) + "</dd>";
return result; return result;
} catch (ArrayIndexOutOfBoundsException e) { } catch (ArrayIndexOutOfBoundsException e) {
subcatLogger.warning(e.getLocalizedMessage()); subcatLogger.fine(e.getLocalizedMessage());
return ""; return "";
} }