main(){ aadl_source.objects()[AadlSpec]->map AadlSpecMapping(); } mapping AadlSpec::AadlSpecMapping() : SimulationConfig{ }
var AllObjects : Set(Element); AllObjects := aadl_source.objects();
modeltype AADL_source uses 'http:///AADL/core'; modeltype Target_Model uses 'http://target'; transformation AADL_trans1(in aadl_source: AADL_core, out target: Target_Model); main(){ aadl_source.objects()[AadlSpec]->map AadlSpecMapping(); -- get all Objects var AllObjects : Set(Element); AllObjects := aadl_source.objects(); } mapping AadlSpec::AadlSpecMapping() : SimulationConfig{ -- ... }