情報のあるJavaフロー、画面に出力

Question

私は、JIFというオーディエンスが非常に小さいことを知っていますが、それはスタックオーバーフローのためです。 誰かがsnipsetを持っていて、文字列を解除して画面に出力することができるのであれば、私の質問は関係あります。 例：

String data{Alice:} = "123"; 

output.println("this is it" + data); 

注：より適切なタグはJIFだろうが、私はまだタグを追加することはできません。

Answer 1

部分的な回答が見つかりました。当面、私は友人が提供するコードスタブで作業しています。 はここで、最低制限付きで作成された出力ストリーム（{}は、公共、）があります：

PrintStream[{}] output = declassify(runtime.stdout(new label{}), {}); 
if (output == null) return; 

その後declassify（...）を公衆にdeclassify、その後に印刷するために呼ばれなければなりません。したがって、後にプログラムで ：http://www.cs.cornell.edu/jif/：リーダーの啓発について

int{Alice:} iAlice = 3; 
int aliceDec; 
aliceDec = declassify(ziAlice, {}); 
output.println("aliceDec: " + aliceDec);