--- a/eric7/E5XML/PluginRepositoryReader.py Fri May 21 20:14:48 2021 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,102 +0,0 @@
-# -*- coding: utf-8 -*-
-
-# Copyright (c) 2010 - 2021 Detlev Offenbach <detlev@die-offenbachs.de>
-#
-
-"""
-Module to read the plug-in repository contents file.
-"""
-
-from .Config import pluginRepositoryFileFormatVersion
-from .XMLStreamReaderBase import XMLStreamReaderBase
-
-import Preferences
-
-
-class PluginRepositoryReader(XMLStreamReaderBase):
- """
- Class to read the plug-in repository contents file.
- """
- supportedVersions = ["4.1", "4.2"]
-
- def __init__(self, device, entryCallback):
- """
- Constructor
-
- @param device reference to the I/O device to read from (QIODevice)
- @param entryCallback reference to a function to be called once the
- data for a plug-in has been read (function)
- """
- XMLStreamReaderBase.__init__(self, device)
-
- self.__entryCallback = entryCallback
-
- self.version = ""
-
- def readXML(self):
- """
- Public method to read and parse the XML document.
- """
- while not self.atEnd():
- self.readNext()
- if self.isStartElement():
- if self.name() == "Plugins":
- self.version = self.attribute(
- "version",
- pluginRepositoryFileFormatVersion)
- if self.version not in self.supportedVersions:
- self.raiseUnsupportedFormatVersion(self.version)
- elif self.name() == "RepositoryUrl":
- url = self.readElementText()
- Preferences.setUI("PluginRepositoryUrl7", url)
- elif self.name() == "Plugin":
- self.__readPlugin()
- else:
- self._skipUnknownElement()
-
- self.showErrorMessage()
-
- def __readPlugin(self):
- """
- Private method to read the plug-in info.
- """
- pluginInfo = {"name": "",
- "short": "",
- "description": "",
- "url": "",
- "author": "",
- "version": "",
- "filename": "",
- }
- pluginInfo["status"] = self.attribute("status", "unknown")
-
- while not self.atEnd():
- self.readNext()
- if self.isEndElement() and self.name() == "Plugin":
- self.__entryCallback(
- pluginInfo["name"], pluginInfo["short"],
- pluginInfo["description"], pluginInfo["url"],
- pluginInfo["author"], pluginInfo["version"],
- pluginInfo["filename"], pluginInfo["status"])
- break
-
- if self.isStartElement():
- if self.name() == "Name":
- pluginInfo["name"] = self.readElementText()
- elif self.name() == "Short":
- pluginInfo["short"] = self.readElementText()
- elif self.name() == "Description":
- txt = self.readElementText()
- pluginInfo["description"] = [
- line.strip() for line in txt.splitlines()
- ]
- elif self.name() == "Url":
- pluginInfo["url"] = self.readElementText()
- elif self.name() == "Author":
- pluginInfo["author"] = self.readElementText()
- elif self.name() == "Version":
- pluginInfo["version"] = self.readElementText()
- elif self.name() == "Filename":
- pluginInfo["filename"] = self.readElementText()
- else:
- self.raiseUnexpectedStartTag(self.name())
