X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Felaboration%2Fconstraints%2FReduction.java;h=cb6256f72c6ca221f76325463d7cbee8c43b51c4;hb=2420f847edec02c27130709c8b333a72776f69c6;hp=6a684d25116572f69d879b9ec750a91579451981;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Reduction.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Reduction.java index 6a684d251..cb6256f72 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Reduction.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Reduction.java @@ -1,28 +1,28 @@ -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; - } -} +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; + } +}