Check that both returnTypeDesc and parameterTypeDescs are initialized

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / constants / JavaStaticMethod.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/JavaStaticMethod.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/JavaStaticMethod.java
index 9e071e9cb9002c700d9c398fec92a3b4eafca8ff..a72b844bae99c89cea35cc1304678da62209df4f 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/JavaStaticMethod.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/JavaStaticMethod.java
@@ -56,6 +56,8 @@ public class JavaStaticMethod extends FunctionValue {
                     if(td.equals(TypeDesc.VOID))
                         throw new InternalCompilerError();
         }
+        if( (returnTypeDesc == null) != (parameterTypeDescs == null) )
+            throw new IllegalArgumentException("Either specify both returnTypeDesc and parameterTypeDescs or neither");
         ClassBuilder.checkClassName(className);
         this.className = className;
         this.methodName = methodName;
@@ -73,8 +75,11 @@ public class JavaStaticMethod extends FunctionValue {
     }
     
     @Override
-    public Type applyExact(MethodBuilder mb, Val[] parameters) {        
-        if(returnTypeDesc == null) {
+    public Type applyExact(MethodBuilder mb, Val[] parameters) {
+        if(returnTypeDesc == null || parameterTypeDescs == null) {
+            // This method may be called from multiple threads at the same time when returnTypeDesc
+            // and parameterTypeDescs are uninitialized. Double initialization is OK in this case,
+            // but because there are two fields, we have to check that both are initialized.             
             JavaTypeTranslator tt = mb.getJavaTypeTranslator();
             returnTypeDesc = tt.toTypeDesc(returnType);
             parameterTypeDescs = JavaTypeTranslator.filterVoid(