[em] suppress warning for $STDIN and $IO

daejunpark · daejunpark · commit 77b3d3725467 · 2016-01-05T14:51:45.000+09:00
Former-commit-id: 7e8770c907efed071bd276348581b3aee9b23f95 [formerly 4b897a23b8759ea52d02c558476afb4b45603587]
Former-commit-id: 71f3294265702718ff92e378a4ae2b924e5e4e7e
diff --git a/k-distribution/tests/regression/error-messages/config-var-not-exist-or-missing/b.k b/k-distribution/tests/regression/error-messages/config-var-not-exist-or-missing/b.k
@@ -12,7 +12,6 @@ module B
         <k> $PGM:Pgm </k>
         <a> $XA:Int </a>
         <b> $XB:Int </b>
-        <in stream="stdin"> .List </in>
     </T>
 
     rule run => 0
diff --git a/kernel/src/main/java/org/kframework/krun/KRun.java b/kernel/src/main/java/org/kframework/krun/KRun.java
@@ -287,7 +287,9 @@ private void checkConfigVars(Set<KToken> inputConfigVars, CompiledDefinition com
 
         for (KToken inputConfigVar : inputConfigVars) {
             if (!defConfigVars.contains(inputConfigVar)) {
-                kem.registerCompilerWarning("User specified configuration variable " + inputConfigVar.s() + " which does not exist.");
+                if (!inputConfigVar.s().equals("$STDIN") && !inputConfigVar.s().equals("$IO")) {
+                    kem.registerCompilerWarning("User specified configuration variable " + inputConfigVar.s() + " which does not exist.");
+                }
             }
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -287,7 +287,9 @@ private void checkConfigVars(Set<KToken> inputConfigVars, CompiledDefinition com`
`287`	`287`
`288`	`288`	`for (KToken inputConfigVar : inputConfigVars) {`
`289`	`289`	`if (!defConfigVars.contains(inputConfigVar)) {`
`290`		`- kem.registerCompilerWarning("User specified configuration variable " + inputConfigVar.s() + " which does not exist.");`
	`290`	`+ if (!inputConfigVar.s().equals("$STDIN") && !inputConfigVar.s().equals("$IO")) {`
	`291`	`+ kem.registerCompilerWarning("User specified configuration variable " + inputConfigVar.s() + " which does not exist.");`
	`292`	`+ }`
`291`	`293`	`}`
`292`	`294`	`}`
`293`	`295`	`}`