Generate additional AnalysisException constructor

In particular, this constructor does not generate a stack trace for every Exception created -- which is expensive!
overturetool · Jan 13, 2017 · 427eaea · 427eaea
1 parent aa09247
commit 427eaea
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.../src/main/java/org/overture/tools/astcreator/definitions/AnalysisExceptionDefinition.java b/.../src/main/java/org/overture/tools/astcreator/definitions/AnalysisExceptionDefinition.java
@@ -16,6 +16,8 @@ public AnalysisExceptionDefinition(JavaName name, Environment env)
 		addMethod(new SuperConstructorMethod(this, new Argument("String", "message")));
 		addMethod(new SuperConstructorMethod(this, new Argument("String", "message"), new Argument("Throwable", "cause")));
 		addMethod(new SuperConstructorMethod(this, new Argument("Throwable", "cause")));
+		addMethod(new SuperConstructorMethod(this, new Argument("String", "message"), new Argument("Throwable", "cause"),
+				new Argument("boolean", "enableSuppression"), new Argument("boolean", "writableStackTrace")));
 	}
 
 	public AnalysisExceptionDefinition(String packageName, String name,