
addAnnotation(new IFCAnnotation(AnnotationType.SOURCE, level, toMark, context));
</BUG>
}
<BUG>private void addSinkAnnotation(SDGProgramPart toMark, String level, SDGMethod context) {

addAnnotation(new IFCAnnotation(AnnotationType.SINK, level, toMark, context));
</BUG>
}
public void addDeclassification(SDGProgramPart toMark, String level1, String level2) {

return program;
}
public IStaticLattice<String> getLattice() {
return secLattice;
}
private void addSourceAnnotation(SDGProgramPart toMark, String level, SDGMethod context, AnnotationCause cause) {
addAnnotation(new IFCAnnotation(AnnotationType.SOURCE, level, toMark, context, cause));
}
private void addSinkAnnotation(SDGProgramPart toMark, String level, SDGMethod context, AnnotationCause cause) {
addAnnotation(new IFCAnnotation(AnnotationType.SINK, level, toMark, context, cause));
}
public void addDeclassification(SDGProgramPart toMark, String level1, String level2) {
