package ceylon.language;

import com.redhat.ceylon.compiler.metadata.java.TypeInfo;

public class Exception extends IdentifiableObject {

    public Exception(
            @TypeInfo("ceylon.language.String|ceylon.language.Nothing")
            ceylon.language.String message,
            @TypeInfo("ceylon.language.Exception|ceylon.language.Nothing")
            java.lang.Throwable t) {
        // This isn't actually used at runtime, but is required by the type checker
    }
    
    public Exception getCause() {
        return null;
    }
    
    public ceylon.language.String getMessage() {
        return null;
    }
}

@@ -19,16 +19,70 @@
 guage;%0A%0A
+import com.redhat.ceylon.compiler.metadata.java.Name;%0A
 import c
@@ -131,16 +131,16 @@
 peInfo;%0A
-
 %0Apublic 
@@ -271,32 +271,61 @@
 guage.Nothing%22)%0A
+            @Name(%22message%22)%0A
             ceyl
@@ -419,32 +419,59 @@
 guage.Nothing%22)%0A
+            @Name(%22cause%22)%0A
             java
@@ -486,17 +486,21 @@
 rowable 
-t
+cause
 ) %7B%0A    

Add test for named args instantiated Exception