import org.simantics.scl.compiler.types.util.TypeUnparsingContext;
import gnu.trove.map.hash.TObjectIntHashMap;
-import gnu.trove.set.hash.THashSet;
import gnu.trove.set.hash.TIntHashSet;
public class EExternalConstant extends Expression {
return mw.getExternalConstant(value, getType());
}
- @Override
- public void collectFreeVariables(THashSet<Variable> vars) {
- }
-
-
@Override
public Expression simplify(SimplificationContext context) {
return this;
return new EExternalConstant(value, getType().replace(context.tvarMap));
}
- @Override
- public void removeFreeVariables(THashSet<Variable> vars) {
- }
-
@Override
public Expression inferType(TypingContext context) {
return this;