FilterPort.secarc 333 Bytes
Newer Older
1
2
3
4
package secarc.analysis.filter;

component FilterPort {
	
Paff's avatar
Paff committed
5
	accesscontrol off;
6
7
8
9
10
11
	
	trustlevel +1;
	
	component Help help {
	
		trustlevel +1;
Paff's avatar
Paff committed
12
13
14
15
		
		port 
			out int output;
		
16
17
	}
	
Paff's avatar
Paff committed
18
19
	component TargetHelp targetHelp {
	
20
		trustlevel +2;		
21
	
Paff's avatar
Paff committed
22
		port
Paff's avatar
Paff committed
23
			(filter sql) in int input;
Paff's avatar
Paff committed
24
	}
25
	
Paff's avatar
Paff committed
26
27
	connect encrypted help.output -> targetHelp.input;
	
28
}