2009-06-24 12 views
1

Ich weiß, dass das Publikum von JIF ist sehr klein in Zahlen, aber das ist, dass Stack Overflow ist für. Meine Frage hat damit zu tun, ob jemand ein Snipset hat, mit dem ich einen String deklassifizieren und als Ausgabe an den Bildschirm senden kann. Beispiel:Java mit Informationen fließt, Bildschirmausgabe

String data{Alice:} = "123"; 

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

Anmerkung: geeigneteren Tag JIF sein würde, aber ich kann nicht Tags hinzufügen.

+0

Für die Aufklärung des Lesers ist dies JIF: http://www.cs.cornell.edu/jif/. Es ist "eine Sicherheitstyp-Programmiersprache, die Java mit Unterstützung für Informationsflusssteuerung und Zugriffssteuerung erweitert, die sowohl zur Kompilierungszeit als auch zur Laufzeit durchgesetzt wird." – Zarkonnen

Antwort

0

Eine Teilantwort gefunden. Im Moment arbeite ich in einem Code-Stub von einem Freund zur Verfügung gestellt. Hier gibt es einen Ausgangsstrom mit den niedrigsten Einschränkungen erstellt ({} public):

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

Dann wird die declassify (...) aufgerufen werden muss, um die Öffentlichkeit zu deklassieren und anschließend drucken. Daher später im Programm:

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