Ejemplos de IFC en Java

Ejemplo n.º 1

Archivo: TimeSensitiveIFCDecorator.java Proyecto: majestyhao/joana

 /* (non-Javadoc)
  * @see edu.kit.joana.ifc.sdg.core.IFC#checkIFlow()
  */
 @Override
 public Collection<? extends IViolation<SecurityNode>> checkIFlow() throws NotInLatticeException {
   Collection<? extends IViolation<SecurityNode>> baseVios = baseIFC.checkIFlow();
   Nanda tsbwSlicer = new Nanda(baseIFC.getSDG(), new NandaBackward());
   TSFilter filter = new TSFilter(tsbwSlicer);
   return filter.filter(baseVios);
 }

Ejemplo n.º 2

Archivo: TimeSensitiveIFCDecorator.java Proyecto: majestyhao/joana

 public TimeSensitiveIFCDecorator(IFC baseIFC) {
   super(baseIFC.getSDG(), baseIFC.getLattice());
   this.baseIFC = baseIFC;
 }