FilterWithLowerTrustlevel.secarc 432 Bytes
Newer Older
Bernhard Rumpe's avatar
BR-sy  
Bernhard Rumpe committed
1
/* (c) https://github.com/MontiCore/monticore */
Paff's avatar
Paff committed
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
package secarc.analysis.filter;

component FilterWithLowerTrustlevel {
	
	accesscontrol off;
	
	trustlevel +1;
	
	component Help help {
	
		trustlevel +1;
	}
	
	component TargetHelp targetHelp {		
		port out int output;
		
		trustlevel +2;
	}
		
	component (filter url) FilterURL filterURL {
	
		port in int input;
	
	}
	
Paff's avatar
Paff committed
27 28
	connect encrypted targetHelp.output -> filterURL.input;
	
Bernhard Rumpe's avatar
BR-sy  
Bernhard Rumpe committed
29
}