我知道JIF的受众人数很少,但这就是Stack Overflow的目的。
我的问题与是否有人拥有一个片段集有关,我可以用它来解密字符串并将其作为输出发送到屏幕。
例:
String data{Alice:} = "123";
output.println("this is it" + data);
注意:更合适的标签是JIF,但我还不能添加标签。
最佳答案
找到了部分答案。目前,我正在使用朋友提供的代码存根。
此处创建了具有最低限制({},公共)的输出流:
PrintStream[{}] output = declassify(runtime.stdout(new label{}), {});
if (output == null) return;
然后必须调用declassify(...)才能将其解密为公开内容,然后再打印。
因此,稍后在程序中:
int{Alice:} iAlice = 3;
int aliceDec;
aliceDec = declassify(ziAlice, {});
output.println("aliceDec: " + aliceDec);