constraints/Superconstraint.java

   1 package org.simantics.scl.compiler.internal.elaboration.constraints;
   2
   3 import org.simantics.scl.compiler.constants.Constant;
   4 import org.simantics.scl.compiler.types.TPred;
   5
   6 class Superconstraint {
   7
   8     public static final Superconstraint[] EMPTY_ARRAY = new Superconstraint[0];
   9
  10     TPred superconstraint;
  11     Constant generator;
  12
  13     public Superconstraint(TPred superconstraint, Constant generator) {
  14         this.superconstraint = superconstraint;
  15         this.generator = generator;
  16     }
  17 }