use accessors
authoradam <adam@megacz.com>
Mon, 26 Mar 2007 05:43:36 +0000 (01:43 -0400)
committeradam <adam@megacz.com>
Mon, 26 Mar 2007 05:43:36 +0000 (01:43 -0400)
darcs-hash:20070326054336-5007d-596a314ca5f23563e64384e68845d3b4565cf7e8.gz

src/edu/berkeley/sbp/ParseFailed.java

index 9bc2ae8..9870746 100644 (file)
@@ -39,10 +39,10 @@ public class ParseFailed extends Exception {
         if (p.element() == null) return false;
         if (!(p.element() instanceof Union)) return false;
         Union u = (Union)p.element();
-        if (u.synthetic) return false;
-        if (u.name==null) return false;
-        if (u.name.length() == 0) return false;
-        char c = u.name.charAt(0);
+        if (u.isSynthetic()) return false;
+        if (u.getName()==null) return false;
+        if (u.getName().length() == 0) return false;
+        char c = u.getName().charAt(0);
         return (c >= 'A' && c <= 'Z');
     }