merge of localization branch into HEAD. mh and zap
[mir.git] / source / mir / config / ConfigChecker.java
index 70006bf..bc5528d 100755 (executable)
@@ -25,7 +25,7 @@ public class ConfigChecker {
     rootNode = new Node();\r
   }\r
 \r
-  public void check(ConfigNode aNode) throws ConfigException {\r
+  public void check(ConfigNode aNode) throws ConfigFailure {\r
     getRootNode().check(aNode);\r
   }\r
 \r
@@ -63,7 +63,7 @@ public class ConfigChecker {
       addTypeConstraint(aPropertyName, aType);\r
     }\r
 \r
-    public void check(ConfigNode aNode) throws ConfigException {\r
+    public void check(ConfigNode aNode) throws ConfigFailure {\r
       Iterator iterator;\r
 \r
       iterator=constraints.iterator();\r
@@ -86,7 +86,7 @@ public class ConfigChecker {
         propertyName=aPropertyName;\r
       }\r
 \r
-      public void check(ConfigNode aNode) throws ConfigException {\r
+      public void check(ConfigNode aNode) throws ConfigFailure {\r
       };\r
     }\r
 \r
@@ -95,7 +95,7 @@ public class ConfigChecker {
         super(aPropertyName);\r
       }\r
 \r
-      public void check(ConfigNode aNode) throws ConfigException {\r
+      public void check(ConfigNode aNode) throws ConfigFailure {\r
         aNode.getRequiredStringProperty(propertyName);\r
       };\r
     }\r
@@ -109,7 +109,7 @@ public class ConfigChecker {
         type=aType;\r
       }\r
 \r
-      public void check(ConfigNode aNode) throws ConfigException {\r
+      public void check(ConfigNode aNode) throws ConfigFailure {\r
         switch(type) {\r
           case INTEGER:\r
             aNode.getOptionalIntegerProperty(propertyName, new Integer(0));\r
@@ -124,7 +124,7 @@ public class ConfigChecker {
             aNode.getOptionalBooleanProperty(propertyName, Boolean.FALSE);\r
             break;\r
           default:\r
-            throw new ConfigException("Invalid value for type in type constraint: "+new Integer(type).toString());\r
+            throw new ConfigFailure("Invalid value for type in type constraint: "+new Integer(type).toString());\r
         }\r
       }\r
     }\r