X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fquery%2FQNegation.java;h=030d419f7e6153cdc2bc0cce90c8b830c20ac57d;hb=3448b94a8e90047c88eb62a0542c1596acb701b8;hp=20147c7dfd21288b43637019ebd196857d1beb2a;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/QNegation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/QNegation.java index 20147c7df..030d419f7 100644 --- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/QNegation.java +++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/query/QNegation.java @@ -1,9 +1,6 @@ package org.simantics.scl.compiler.elaboration.query; -import gnu.trove.map.hash.THashMap; -import gnu.trove.set.hash.TIntHashSet; - -import org.simantics.scl.compiler.common.names.Name; +import org.simantics.scl.compiler.common.names.Names; import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext; import org.simantics.scl.compiler.elaboration.expressions.EApply; import org.simantics.scl.compiler.elaboration.expressions.QueryTransformer; @@ -15,6 +12,9 @@ import org.simantics.scl.compiler.elaboration.query.compilation.UnsolvableQueryE import org.simantics.scl.compiler.elaboration.relations.LocalRelation; import org.simantics.scl.compiler.types.Type; +import gnu.trove.map.hash.THashMap; +import gnu.trove.set.hash.TIntHashSet; + public class QNegation extends QAbstractModifier { @@ -60,7 +60,7 @@ public class QNegation extends QAbstractModifier { @Override public void generate(QueryCompilationContext context) { context.condition(new EApply( - context.getConstant(Name.create("Prelude", "not"), Type.EMPTY_ARRAY), + context.getConstant(Names.Prelude_not, Type.EMPTY_ARRAY), innerContext.getContinuation())); } });