我知道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);

07-26 04:28