-package org.simantics.scl.compiler.internal.elaboration.constraints;\r
-\r
-import org.simantics.scl.compiler.elaboration.expressions.Expression;\r
-import org.simantics.scl.compiler.top.SCLCompilerConfiguration;\r
-import org.simantics.scl.compiler.types.TPred;\r
-import org.simantics.scl.compiler.types.Type;\r
-\r
-class Reduction {\r
- Expression generator;\r
- Type[] parameters;\r
- TPred[] demands;\r
- \r
- public Reduction(Expression generator, Type[] parameters, TPred[] demands) {\r
- if(SCLCompilerConfiguration.DEBUG) {\r
- if(generator == null)\r
- throw new NullPointerException();\r
- for(Type parameter : parameters)\r
- if(parameter == null)\r
- throw new NullPointerException();\r
- for(Type demand : demands)\r
- if(demand == null)\r
- throw new NullPointerException();\r
- }\r
- this.generator = generator;\r
- this.parameters = parameters;\r
- this.demands = demands;\r
- }\r
-}\r
+package org.simantics.scl.compiler.internal.elaboration.constraints;
+
+import org.simantics.scl.compiler.elaboration.expressions.Expression;
+import org.simantics.scl.compiler.top.SCLCompilerConfiguration;
+import org.simantics.scl.compiler.types.TPred;
+import org.simantics.scl.compiler.types.Type;
+
+class Reduction {
+ Expression generator;
+ Type[] parameters;
+ TPred[] demands;
+
+ public Reduction(Expression generator, Type[] parameters, TPred[] demands) {
+ if(SCLCompilerConfiguration.DEBUG) {
+ if(generator == null)
+ throw new NullPointerException();
+ for(Type parameter : parameters)
+ if(parameter == null)
+ throw new NullPointerException();
+ for(Type demand : demands)
+ if(demand == null)
+ throw new NullPointerException();
+ }
+ this.generator = generator;
+ this.parameters = parameters;
+ this.demands = demands;
+ }
+}