Changeset 3835 for trunk/ProjectFortress/src/com/sun/fortress/exceptions/FortressException.java

Timestamp:

06/10/09 19:56:03 (6 months ago)

Author:

sukyoungryu

Message:

[type checker] Fixed small things in the Scala type checker. Matched some error messages from the Java type checker and the Scala type checker. Do not type check programs with syntax errors. Moved two tests from not_working_static_tests to compiler_tests.

Files:

• trunk/ProjectFortress/src/com/sun/fortress/exceptions/FortressException.java (modified) (2 diffs)

trunk/ProjectFortress/src/com/sun/fortress/exceptions/FortressException.java

@@ -23 +23 @@
 import java.util.ArrayList;
 
+import edu.rice.cs.plt.tuple.Option;
 import com.sun.fortress.interpreter.evaluator.Environment;
 import com.sun.fortress.nodes_util.ErrorMsgMaker;
@@ -111 +112 @@
     public FortressException(Iterable<? extends StaticError> errors) {
         this.staticErrors = errors;
+    }
+
+    public Option<HasAt> getLoc() {
+        if ( this.where.isEmpty() )
+            return Option.none();
+        else return Option.wrap(this.where.get(0));
+    }
+
+    public String getOriginalMessage() {
+        return super.getMessage();
     }