2016-03-16 12:47:55 +00:00
|
|
|
# Copyright 2016, Tresys Technology, LLC
|
|
|
|
#
|
2021-11-20 19:03:26 +00:00
|
|
|
# SPDX-License-Identifier: LGPL-2.1-only
|
2016-03-16 12:47:55 +00:00
|
|
|
#
|
|
|
|
#
|
2016-04-01 18:50:25 +00:00
|
|
|
from PyQt5.QtCore import Qt
|
2016-03-16 12:47:55 +00:00
|
|
|
from PyQt5.QtGui import QPalette, QTextCursor
|
|
|
|
|
2018-08-10 19:36:48 +00:00
|
|
|
from setools.exception import MLSDisabled
|
2016-03-16 12:47:55 +00:00
|
|
|
|
|
|
|
from .details import DetailsPopup
|
2016-04-01 13:00:17 +00:00
|
|
|
from .models import SEToolsTableModel
|
2016-03-16 12:47:55 +00:00
|
|
|
|
|
|
|
|
|
|
|
def type_detail(parent, type_):
|
|
|
|
"""
|
|
|
|
Create a dialog box for type details.
|
|
|
|
|
|
|
|
Parameters:
|
|
|
|
parent The parent Qt Widget
|
|
|
|
type_ The type
|
|
|
|
"""
|
|
|
|
|
|
|
|
detail = DetailsPopup(parent, "Type detail: {0}".format(type_))
|
|
|
|
|
|
|
|
detail.append_header("Permissive: {0}\n".format("Yes" if type_.ispermissive else "No"))
|
|
|
|
|
|
|
|
attrs = sorted(type_.attributes())
|
|
|
|
detail.append_header("Attributes ({0}):".format(len(attrs)))
|
|
|
|
for a in attrs:
|
|
|
|
detail.append(" {0}".format(a))
|
|
|
|
|
|
|
|
aliases = sorted(type_.aliases())
|
|
|
|
detail.append_header("\nAliases ({0}):".format(len(aliases)))
|
|
|
|
for a in aliases:
|
|
|
|
detail.append(" {0}".format(a))
|
|
|
|
|
|
|
|
detail.show()
|
|
|
|
|
|
|
|
|
2016-04-01 13:00:17 +00:00
|
|
|
class TypeTableModel(SEToolsTableModel):
|
2016-03-16 12:47:55 +00:00
|
|
|
|
|
|
|
"""Table-based model for types."""
|
|
|
|
|
2016-06-08 11:26:32 +00:00
|
|
|
headers = ["Name", "Attributes", "Aliases", "Permissive"]
|
2016-03-29 12:56:40 +00:00
|
|
|
|
|
|
|
def data(self, index, role):
|
2016-04-21 14:07:12 +00:00
|
|
|
if self.resultlist and index.isValid():
|
2016-03-16 12:47:55 +00:00
|
|
|
row = index.row()
|
|
|
|
col = index.column()
|
2016-03-29 12:56:40 +00:00
|
|
|
item = self.resultlist[row]
|
|
|
|
|
|
|
|
if role == Qt.DisplayRole:
|
|
|
|
if col == 0:
|
2018-08-18 17:35:09 +00:00
|
|
|
return item.name
|
2016-03-29 12:56:40 +00:00
|
|
|
elif col == 1:
|
2018-08-18 17:35:09 +00:00
|
|
|
return ", ".join(sorted(a.name for a in item.attributes()))
|
2016-03-29 12:56:40 +00:00
|
|
|
elif col == 2:
|
2018-08-18 17:35:09 +00:00
|
|
|
return ", ".join(sorted(a for a in item.aliases()))
|
2016-03-29 12:56:40 +00:00
|
|
|
elif col == 3 and item.ispermissive:
|
|
|
|
return "Permissive"
|
|
|
|
|
|
|
|
elif role == Qt.UserRole:
|
|
|
|
return item
|