bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/equation/Equation.java

   1 package org.simantics.scl.compiler.elaboration.equation;
   2
   3 import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext;
   4 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
   5 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
   6 import org.simantics.scl.compiler.internal.parsing.Symbol;
   7
   8 public abstract class Equation extends Symbol {
   9     public static final Equation[] EMPTY_ARRAY = new Equation[0];
  10
  11     public abstract void setLocationDeep(long loc);
  12
  13     public abstract void checkType(TypingContext context);
  14     public abstract void resolve(TranslationContext context);
  15     public abstract void accept(EquationVisitor visitor);
  16     public abstract Equation replace(ReplaceContext context);
  17
  18 }