Model:
	'scenario' name=ID '{' scenari+=Scenario* '}'
	
	;

Scenario:
	'asset' name=ID '{' assets+=Asset* '}' |
	'networkAsset' name=ID '{' networkassets+=networktAsset* '}'	
;

Asset:
	'name:'		names=STRING		|
	'vendor:'	vendor=STRING		|
	'version:'	version=STRING		|
	'owner:'	ownerid=STRING		|
	'value:'	valueid=STRING		| 
	HardwareAsset					|
	PhisicalInfraStructureAsset		|
	SoftwareAsset					
	;
PhisicalInfraStructureAsset:
	'phisicalInfrastructure' name=ID '{' phisicalInfrastructueModules+=phisicalInfrastructueModule* '}'
	
;

phisicalInfrastructueModule:
	'phisicalType:' 	phisicalType=PHISICALENUM	';'		|		/*wlan/eth*/
	'phisicalModel:' 	phisicalModel=STRING		';'		| 		/*realtek, intel, broadcom..*/
	'phisicalAddress:' 	phisicalAddress=RULEMAC		';'		|
	'isConnected:'		isConnected=BOOLEAN			';'		
	
;

@Check
	def checkConnection(phisicalInfrastructueModule pmodule){
		val visitedModule = <phisicalInfrastructueModule>newHashSet()
		
		visitedModule.add(pmodule)
		var current = pmodule.phisicalAddress
		
		while(current !== null){
			if (visitedModule.contains(current)){
				error('equal MAC address, ATTENTION!', 
					ThreatarrestPackage.Literals.PHISICAL_INFRASTRUCTUE_MODULE__PHISICAL_ADDRESS
					)
				return
			}
			
		}
		
	}

@Check
	def checkNameandTypephisicalInfrastructure(Scenario scenario){
		var check = newHashSet()
		var tutto = EcoreUtil2.getAllContentsOfType(scenario, PhisicalInfraStructureAsset)
		for (g : tutto){
			var phisicalAddress = g.phisicalInfrastructueModules.get(2).phisicalAddress
			
			if(check.add(phisicalAddress)){
				
			}else{
				error("check the mac: "+phisicalAddress+" it's equal to another", g, ThreatarrestPackage.Literals.PHISICAL_INFRA_STRUCTURE_ASSET__PHISICAL_INFRASTRUCTUE_MODULES
					)
			}
		}
	}

@Check
	def checkNameandTypephisicalInfrastructure(Scenario scenario){
		var check = newHashSet()
		var modules = EcoreUtil2.getAllContentsOfType(scenario, phisicalInfrastructueModule)
		for (module : modules){
			var phisicalAddress = module.phisicalAddress
			if (phisicalAddress !== null){
				if(!check.add(phisicalAddress)){
					error("check the mac: "+phisicalAddress+" it's equal to another", module, ThreatarrestPackage.Literals.PHISICAL_INFRASTRUCTUE_MODULE__PHISICAL_ADDRESS
					)
				}
			}
			
		}
	}