code: public synchronized ModuleList getModuleList() throws NotAllowedException
  	{
  		ModuleList modules = new ModuleList();
  		for (Object definition : getRootElementList())
  		{
  			if (definition instanceof AModuleModules)
  				modules.add((AModuleModules) definition);
  			else
  				throw new NotAllowedException("Other definition than Module is found: "
  						+ definition.getClass().getName());
  		}
  
  		modules.combineDefaults();
  
  		return modules;
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.core.ast.IVdmElement#getModuleList()