我知道JIF的观众数量非常少,但这就是Stack Overflow的用途。 我的问题与如果有人有一个剪辑集有关,我可以解析一个字符串并将其作为输出发送到屏幕。 例如:
String data{Alice:} = "123";
output.println("this is it" + data);
注意:更合适的标签是JIF,但我还不能添加标签。
答案 0 :(得分:0)
找到了部分答案。目前我正在使用朋友提供的代码存根。 这里有一个使用最低限制({},public)创建的输出流:
PrintStream[{}] output = declassify(runtime.stdout(new label{}), {});
if (output == null) return;
然后必须调用declassify(...)解密为public,然后打印。 因此,稍后在该计划中:
int{Alice:} iAlice = 3;
int aliceDec;
aliceDec = declassify(ziAlice, {});
output.println("aliceDec: " + aliceDec);