1 package org.simantics.scl.compiler.elaboration.expressions.list;
3 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
4 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
5 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
6 import org.simantics.scl.compiler.elaboration.expressions.Variable;
7 import org.simantics.scl.compiler.internal.parsing.Symbol;
9 import gnu.trove.map.hash.TObjectIntHashMap;
10 import gnu.trove.set.hash.TIntHashSet;
12 public abstract class ListQualifier extends Symbol {
14 public abstract void checkType(TypingContext context);
15 public abstract void collectVars(TObjectIntHashMap<Variable> allVars, TIntHashSet vars);
17 * Called in simplification.
19 public abstract CompiledQualifier compile(SimplificationContext context);
20 public abstract void resolve(TranslationContext context);
21 public abstract void setLocationDeep(long loc);
22 public abstract void accept(ListQualifierVisitor visitor);
23 public abstract ListQualifier accept(ListQualifierTransformer transformer);