code: public synchronized List<INode> getRootElementList()
  	{
  		List<INode> list = new Vector<INode>();
  		for (IVdmSourceUnit unit : vdmSourceUnits)
  		{
  			list.addAll(unit.getParseList());
  		}
  		return list;
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.core.ast.IVdmElement#getRootElementList()