src
qt_gui
plugin_instance_id.py
Go to the documentation of this file.
1
# Copyright (c) 2011, Dirk Thomas, Dorian Scholz, TU Darmstadt
2
# All rights reserved.
3
#
4
# Redistribution and use in source and binary forms, with or without
5
# modification, are permitted provided that the following conditions
6
# are met:
7
#
8
# * Redistributions of source code must retain the above copyright
9
# notice, this list of conditions and the following disclaimer.
10
# * Redistributions in binary form must reproduce the above
11
# copyright notice, this list of conditions and the following
12
# disclaimer in the documentation and/or other materials provided
13
# with the distribution.
14
# * Neither the name of the TU Darmstadt nor the names of its
15
# contributors may be used to endorse or promote products derived
16
# from this software without specific prior written permission.
17
#
18
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
21
# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
22
# COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
23
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
24
# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
25
# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
26
# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27
# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
28
# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29
# POSSIBILITY OF SUCH DAMAGE.
30
31
32
class
PluginInstanceId
():
33
"""Identifier of a plugin instance."""
34
35
def
__init__
(self, plugin_id=None, serial_number=None, instance_id=None):
36
if
instance_id
is
not
None
:
37
# convert from unicode
38
instance_id = str(instance_id)
39
parts = instance_id.rsplit(
'#'
, 1)
40
self.
plugin_id
= parts[0]
41
self.
serial_number
= int(parts[1])
42
else
:
43
# convert from unicode
44
self.
plugin_id
= str(plugin_id)
45
self.
serial_number
= int(serial_number)
if
serial_number
is
not
None
else
None
46
47
def
__eq__
(self, other):
48
return
self.
plugin_id
== other.plugin_id
and
self.
serial_number
== other.serial_number
49
50
def
__hash__
(self):
51
return
hash(str(self))
52
53
def
__str__
(self):
54
return
self.
plugin_id
+
'#'
+ str(self.
serial_number
)
55
56
def
tidy_str
(self):
57
return
self.
plugin_id
.replace(
'/'
,
'__'
) +
'__'
+ str(self.
serial_number
)
58
59
def
tidy_plugin_str
(self):
60
return
self.
plugin_id
.replace(
'/'
,
'__'
)
qt_gui.plugin_instance_id.PluginInstanceId
Definition:
plugin_instance_id.py:32
qt_gui.plugin_instance_id.PluginInstanceId.__init__
def __init__(self, plugin_id=None, serial_number=None, instance_id=None)
Definition:
plugin_instance_id.py:35
qt_gui.plugin_instance_id.PluginInstanceId.tidy_plugin_str
def tidy_plugin_str(self)
Definition:
plugin_instance_id.py:59
qt_gui.plugin_instance_id.PluginInstanceId.__str__
def __str__(self)
Definition:
plugin_instance_id.py:53
qt_gui.plugin_instance_id.PluginInstanceId.tidy_str
def tidy_str(self)
Definition:
plugin_instance_id.py:56
qt_gui.plugin_instance_id.PluginInstanceId.__eq__
def __eq__(self, other)
Definition:
plugin_instance_id.py:47
qt_gui.plugin_instance_id.PluginInstanceId.__hash__
def __hash__(self)
Definition:
plugin_instance_id.py:50
qt_gui.plugin_instance_id.PluginInstanceId.serial_number
serial_number
Definition:
plugin_instance_id.py:41
qt_gui.plugin_instance_id.PluginInstanceId.plugin_id
plugin_id
Definition:
plugin_instance_id.py:40
qt_gui
Author(s): Dirk Thomas
autogenerated on Sat Jun 25 2022 02:15:05