EncryptedPathWithLowerTrustlevel.secarc 510 Bytes
Newer Older
Bernhard Rumpe's avatar
BR-sy  
Bernhard Rumpe committed
1
/* (c) https://github.com/MontiCore/monticore */
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
package secarc.analysis.connector;

component EncryptedPathWithLowerTrustlevel {
	
	accesscontrol off;
	
	trustlevel +1;
		
	component Help help {
	
		trustlevel +1;
	}
	
	component TargetHelp targetHelp {
		trustlevel +0;
		
Paff's avatar
Paff committed
18
		port in int inputTarget;
19 20 21
		
	}
		
Paff's avatar
Paff committed
22 23
	connect encrypted subEncryptedConnector.inputSub2 -> targetHelp.inputTarget;
		
24 25 26 27 28
	component SubEncryptedConnector subEncryptedConnector {
	
		trustlevel +0;
		
		port
Paff's avatar
Paff committed
29
			out int inputSub2;
30 31 32 33
	
	}

	
Bernhard Rumpe's avatar
BR-sy  
Bernhard Rumpe committed
34
}