elaboration/constraints/Superconstraint.java

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