apol: Add ipbkeycon query tab.

Signed-off-by: Chris PeBenito <pebenito@ieee.org>

setoolsgui/apol/chooseanalysis.py

@@ -32,6 +32,7 @@ from .defaultquery import DefaultQueryTab
 from .dta import DomainTransitionAnalysisTab
 from .fsusequery import FSUseQueryTab
 from .genfsconquery import GenfsconQueryTab
+from .ibpkeyconquery import IbpkeyconQueryTab
 from .infoflow import InfoFlowAnalysisTab
 from .initsidquery import InitialSIDQueryTab
 from .mlsrulequery import MLSRuleQueryTab
@@ -59,6 +60,7 @@ tab_map = {"BoolQueryTab": BoolQueryTab,
            "DomainTransitionAnalysisTab": DomainTransitionAnalysisTab,
            "FSUseQueryTab": FSUseQueryTab,
            "GenfsconQueryTab": GenfsconQueryTab,
+           "IbpkeyconQueryTab": IbpkeyconQueryTab,
            "InfoFlowAnalysisTab": InfoFlowAnalysisTab,
            "InitialSIDQueryTab": InitialSIDQueryTab,
            "MLSRuleQueryTab": MLSRuleQueryTab,
@@ -109,6 +111,7 @@ class ChooseAnalysis(SEToolsWidget, QDialog):
                     "TE Rules": TERuleQueryTab}
         labeling_map = {"Fs_use_* Statements": FSUseQueryTab,
                         "Genfscon Statements": GenfsconQueryTab,
+                        "Infiniband Partition Key Contexts": IbpkeyconQueryTab,
                         "Initial SID Statements": InitialSIDQueryTab,
                         "Netifcon Statements": NetifconQueryTab,
                         "Nodecon Statements": NodeconQueryTab,

setoolsgui/apol/ibpkeyconquery.py

@@ -0,0 +1,328 @@
+# Copyright 2019, Chris PeBenito <pebenito@ieee.org>
+#
+# This file is part of SETools.
+#
+# SETools is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as
+# published by the Free Software Foundation, either version 2.1 of
+# the License, or (at your option) any later version.
+#
+# SETools is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+#
+# You should have received a copy of the GNU Lesser General Public
+# License along with SETools.  If not, see
+# <http://www.gnu.org/licenses/>.
+#
+
+import logging
+
+from PyQt5.QtCore import Qt, QSortFilterProxyModel, QStringListModel, QThread
+from PyQt5.QtGui import QPalette, QTextCursor
+from PyQt5.QtWidgets import QCompleter, QProgressDialog
+from setools import IbpkeyconQuery
+
+from ..logtosignal import LogHandlerToSignal
+from ..ibpkeyconmodel import IbpkeyconTableModel
+from .analysistab import AnalysisTab
+from .exception import TabFieldError
+from .queryupdater import QueryResultsUpdater
+from .workspace import load_checkboxes, load_lineedits, load_textedits, \
+    save_checkboxes, save_lineedits, save_textedits
+
+
+class IbpkeyconQueryTab(AnalysisTab):
+
+    """An ibpkeycon query."""
+
+    def __init__(self, parent, policy, perm_map):
+        super().__init__(parent)
+        self.log = logging.getLogger(__name__)
+        self.policy = policy
+        self.query = IbpkeyconQuery(policy)
+        self.setupUi()
+
+    def __del__(self):
+        self.thread.quit()
+        self.thread.wait(5000)
+        logging.getLogger("setools.ibpkeyconquery").removeHandler(self.handler)
+
+    def setupUi(self):
+        self.load_ui("apol/ibpkeyconquery.ui")
+
+        # set up user autocompletion
+        user_completion_list = [str(u) for u in self.policy.users()]
+        user_completer_model = QStringListModel(self)
+        user_completer_model.setStringList(sorted(user_completion_list))
+        self.user_completion = QCompleter()
+        self.user_completion.setModel(user_completer_model)
+        self.user.setCompleter(self.user_completion)
+
+        # set up role autocompletion
+        role_completion_list = [str(r) for r in self.policy.roles()]
+        role_completer_model = QStringListModel(self)
+        role_completer_model.setStringList(sorted(role_completion_list))
+        self.role_completion = QCompleter()
+        self.role_completion.setModel(role_completer_model)
+        self.role.setCompleter(self.role_completion)
+
+        # set up type autocompletion
+        type_completion_list = [str(t) for t in self.policy.types()]
+        type_completer_model = QStringListModel(self)
+        type_completer_model.setStringList(sorted(type_completion_list))
+        self.type_completion = QCompleter()
+        self.type_completion.setModel(type_completer_model)
+        self.type_.setCompleter(self.type_completion)
+
+        # setup indications of errors on source/target/default
+        self.errors = set()
+        self.orig_palette = self.type_.palette()
+        self.error_palette = self.type_.palette()
+        self.error_palette.setColor(QPalette.Base, Qt.red)
+        self.clear_subnet_prefix_error()
+        self.clear_pkeys_error()
+        self.clear_user_error()
+        self.clear_type_error()
+        self.clear_role_error()
+        self.clear_range_error()
+
+        # set up results
+        self.table_results_model = IbpkeyconTableModel(self)
+        self.sort_proxy = QSortFilterProxyModel(self)
+        self.sort_proxy.setSourceModel(self.table_results_model)
+        self.table_results.setModel(self.sort_proxy)
+        self.table_results.sortByColumn(0, Qt.AscendingOrder)
+
+        # set up processing thread
+        self.thread = QThread()
+        self.worker = QueryResultsUpdater(self.query, self.table_results_model)
+        self.worker.moveToThread(self.thread)
+        self.worker.raw_line.connect(self.raw_results.appendPlainText)
+        self.worker.finished.connect(self.update_complete)
+        self.worker.finished.connect(self.thread.quit)
+        self.thread.started.connect(self.worker.update)
+
+        # create a "busy, please wait" dialog
+        self.busy = QProgressDialog(self)
+        self.busy.setModal(True)
+        self.busy.setRange(0, 0)
+        self.busy.setMinimumDuration(0)
+        self.busy.canceled.connect(self.thread.requestInterruption)
+        self.busy.reset()
+
+        # update busy dialog from query INFO logs
+        self.handler = LogHandlerToSignal()
+        self.handler.message.connect(self.busy.setLabelText)
+        logging.getLogger("setools.ibpkeyconquery").addHandler(self.handler)
+
+        # Ensure settings are consistent with the initial .ui state
+        self.criteria_frame.setHidden(not self.criteria_expander.isChecked())
+        self.notes.setHidden(not self.notes_expander.isChecked())
+
+        # Range criteria is available only if policy is MLS
+        if not self.policy.mls:
+            self.range_criteria.setEnabled(False)
+            self.range_criteria.setToolTip("MLS is disabled in this policy.")
+            self.range_.setToolTip("MLS is disabled in this policy.")
+            self.range_exact.setToolTip("MLS is disabled in this policy.")
+            self.range_overlap.setToolTip("MLS is disabled in this policy.")
+            self.range_subset.setToolTip("MLS is disabled in this policy.")
+            self.range_superset.setToolTip("MLS is disabled in this policy.")
+
+        # connect signals
+        self.buttonBox.clicked.connect(self.run)
+        self.subnet_prefix.textEdited.connect(self.clear_subnet_prefix_error)
+        self.subnet_prefix.editingFinished.connect(self.set_subnet_prefix)
+        self.pkeys.textEdited.connect(self.clear_pkeys_error)
+        self.pkeys.editingFinished.connect(self.set_pkeys)
+        self.user.textEdited.connect(self.clear_user_error)
+        self.user.editingFinished.connect(self.set_user)
+        self.user_regex.toggled.connect(self.set_user_regex)
+        self.role.textEdited.connect(self.clear_role_error)
+        self.role.editingFinished.connect(self.set_role)
+        self.role_regex.toggled.connect(self.set_role_regex)
+        self.type_.textEdited.connect(self.clear_type_error)
+        self.type_.editingFinished.connect(self.set_type)
+        self.type_regex.toggled.connect(self.set_type_regex)
+        self.range_.textEdited.connect(self.clear_range_error)
+        self.range_.editingFinished.connect(self.set_range)
+
+    #
+    # Subnet prefix criteria
+    #
+    def clear_subnet_prefix_error(self):
+        self.clear_criteria_error(self.subnet_prefix, "Match the subnet prefix.")
+
+    def set_subnet_prefix(self):
+        try:
+            self.query.subnet_prefix = self.subnet_prefix.text()
+        except Exception as ex:
+            self.log.error("Subnet prefix error: {0}".format(ex))
+            self.set_criteria_error(self.subnet_prefix, ex)
+
+    #
+    # Pkey criteria
+    #
+    def clear_pkeys_error(self):
+        self.clear_criteria_error(self.pkeys, "Match the partition keys.")
+
+    def set_pkeys(self):
+        try:
+            pending_pkeys = self.pkeys.text()
+            if pending_pkeys:
+                try:
+                    pkeys = [int(i) for i in pending_pkeys.split("-")]
+                except ValueError as ex:
+                    raise ValueError("Enter a pkey number or range, e.g. 22 or 6000-6020") from ex
+
+                if len(pkeys) == 2:
+                    self.query.pkeys = pkeys
+                elif len(pkeys) == 1:
+                    self.query.pkeys = (pkeys[0], pkeys[0])
+                else:
+                    raise ValueError("Enter a pkey number or range, e.g. 22 or 6000-6020")
+            else:
+                self.query.pkeys = None
+
+        except Exception as ex:
+            self.log.error("Partition key error: {0}".format(ex))
+            self.set_criteria_error(self.pkeys, ex)
+
+    #
+    # User criteria
+    #
+    def clear_user_error(self):
+        self.clear_criteria_error(self.user, "Match the user of the context.")
+
+    def set_user(self):
+        try:
+            self.query.user = self.user.text()
+        except Exception as ex:
+            self.log.error("Context user error: {0}".format(ex))
+            self.set_criteria_error(self.user, ex)
+
+    def set_user_regex(self, state):
+        self.log.debug("Setting user_regex {0}".format(state))
+        self.query.user_regex = state
+        self.clear_user_error()
+        self.set_user()
+
+    #
+    # Role criteria
+    #
+    def clear_role_error(self):
+        self.clear_criteria_error(self.role, "Match the role of the context.")
+
+    def set_role(self):
+        try:
+            self.query.role = self.role.text()
+        except Exception as ex:
+            self.log.error("Context role error: {0}".format(ex))
+            self.set_criteria_error(self.role, ex)
+
+    def set_role_regex(self, state):
+        self.log.debug("Setting role_regex {0}".format(state))
+        self.query.role_regex = state
+        self.clear_role_error()
+        self.set_role()
+
+    #
+    # Type criteria
+    #
+    def clear_type_error(self):
+        self.clear_criteria_error(self.type_, "Match the type of the context.")
+
+    def set_type(self):
+        try:
+            self.query.type_ = self.type_.text()
+        except Exception as ex:
+            self.log.error("Context type error: {0}".format(ex))
+            self.set_criteria_error(self.type_, ex)
+
+    def set_type_regex(self, state):
+        self.log.debug("Setting type_regex {0}".format(state))
+        self.query.type_regex = state
+        self.clear_type_error()
+        self.set_type()
+
+    #
+    # Range criteria
+    #
+    def clear_range_error(self):
+        self.clear_criteria_error(self.range_, "Match the range of the context.")
+
+    def set_range(self):
+        try:
+            self.query.range_ = self.range_.text()
+        except Exception as ex:
+            self.log.info("Context range error: " + str(ex))
+            self.set_criteria_error(self.range_, ex)
+
+    #
+    # Save/Load tab
+    #
+    def save(self):
+        """Return a dictionary of settings."""
+        if self.errors:
+            raise TabFieldError("Field(s) are in error: {0}".
+                                format(" ".join(o.objectName() for o in self.errors)))
+
+        settings = {}
+        save_checkboxes(self, settings, ["criteria_expander", "notes_expander", "pkeys_exact",
+                                         "pkeys_overlap", "pkeys_subset", "pkeys_superset",
+                                         "user_regex", "role_regex", "type_regex", "range_exact",
+                                         "range_overlap", "range_subset", "range_superset"])
+        save_lineedits(self, settings, ["subnet_prefix", "pkeys", "user", "role", "type_",
+                                        "range_"])
+        save_textedits(self, settings, ["notes"])
+        return settings
+
+    def load(self, settings):
+        load_checkboxes(self, settings, ["criteria_expander", "notes_expander", "pkeys_exact",
+                                         "pkeys_overlap", "pkeys_subset", "pkeys_superset",
+                                         "user_regex", "role_regex", "type_regex", "range_exact",
+                                         "range_overlap", "range_subset", "range_superset"])
+        load_lineedits(self, settings, ["subnet_prefix", "pkeys", "user", "role", "type_",
+                                        "range_"])
+        load_textedits(self, settings, ["notes"])
+
+    #
+    # Results runner
+    #
+    def run(self, button):
+        # right now there is only one button.
+        self.query.pkeys_overlap = self.pkeys_overlap.isChecked()
+        self.query.pkeys_subset = self.pkeys_subset.isChecked()
+        self.query.pkeys_superset = self.pkeys_superset.isChecked()
+        self.query.range_overlap = self.range_overlap.isChecked()
+        self.query.range_subset = self.range_subset.isChecked()
+        self.query.range_superset = self.range_superset.isChecked()
+
+        # start processing
+        self.busy.setLabelText("Processing query...")
+        self.busy.show()
+        self.raw_results.clear()
+        self.thread.start()
+
+    def update_complete(self, count):
+        self.log.info("{0} ibpkeycon statment(s) found.".format(count))
+
+        # update sizes/location of result displays
+        if not self.busy.wasCanceled():
+            self.busy.setLabelText("Resizing the result table's columns; GUI may be unresponsive")
+            self.busy.repaint()
+            self.table_results.resizeColumnsToContents()
+
+        if not self.busy.wasCanceled():
+            self.busy.setLabelText("Resizing the result table's rows; GUI may be unresponsive")
+            self.busy.repaint()
+            self.table_results.resizeRowsToContents()
+
+        if not self.busy.wasCanceled():
+            self.busy.setLabelText("Moving the raw result to top; GUI may be unresponsive")
+            self.busy.repaint()
+            self.raw_results.moveCursor(QTextCursor.Start)
+
+        self.busy.reset()

setoolsgui/apol/ibpkeyconquery.ui

@@ -0,0 +1,841 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ui version="4.0">
+ <class>PortconQueryTab_ui</class>
+ <widget class="QScrollArea" name="PortconQueryTab_ui">
+  <property name="geometry">
+   <rect>
+    <x>0</x>
+    <y>0</y>
+    <width>774</width>
+    <height>846</height>
+   </rect>
+  </property>
+  <property name="sizeAdjustPolicy">
+   <enum>QAbstractScrollArea::AdjustToContents</enum>
+  </property>
+  <property name="widgetResizable">
+   <bool>true</bool>
+  </property>
+  <widget class="QWidget" name="contents">
+   <property name="geometry">
+    <rect>
+     <x>0</x>
+     <y>0</y>
+     <width>772</width>
+     <height>844</height>
+    </rect>
+   </property>
+   <property name="minimumSize">
+    <size>
+     <width>0</width>
+     <height>0</height>
+    </size>
+   </property>
+   <layout class="QGridLayout" name="gridLayout_9">
+    <property name="leftMargin">
+     <number>6</number>
+    </property>
+    <property name="topMargin">
+     <number>6</number>
+    </property>
+    <property name="rightMargin">
+     <number>6</number>
+    </property>
+    <property name="bottomMargin">
+     <number>6</number>
+    </property>
+    <property name="spacing">
+     <number>3</number>
+    </property>
+    <item row="3" column="0" colspan="5">
+     <widget class="QTextEdit" name="notes">
+      <property name="sizePolicy">
+       <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
+        <horstretch>0</horstretch>
+        <verstretch>0</verstretch>
+       </sizepolicy>
+      </property>
+      <property name="minimumSize">
+       <size>
+        <width>0</width>
+        <height>80</height>
+       </size>
+      </property>
+      <property name="toolTip">
+       <string>Optionally enter notes here about the query.</string>
+      </property>
+      <property name="placeholderText">
+       <string>Enter notes here.</string>
+      </property>
+     </widget>
+    </item>
+    <item row="0" column="4">
+     <widget class="QCheckBox" name="notes_expander">
+      <property name="toolTip">
+       <string>Show or hide the notes field (no data is lost)</string>
+      </property>
+      <property name="text">
+       <string>Notes</string>
+      </property>
+     </widget>
+    </item>
+    <item row="0" column="3">
+     <widget class="QCheckBox" name="criteria_expander">
+      <property name="toolTip">
+       <string>Show or hide the search criteria (no settings are lost)</string>
+      </property>
+      <property name="text">
+       <string>Criteria</string>
+      </property>
+      <property name="checked">
+       <bool>true</bool>
+      </property>
+     </widget>
+    </item>
+    <item row="0" column="0">
+     <widget class="QLabel" name="label">
+      <property name="sizePolicy">
+       <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
+        <horstretch>0</horstretch>
+        <verstretch>0</verstretch>
+       </sizepolicy>
+      </property>
+      <property name="maximumSize">
+       <size>
+        <width>16777215</width>
+        <height>20</height>
+       </size>
+      </property>
+      <property name="font">
+       <font>
+        <pointsize>12</pointsize>
+        <weight>75</weight>
+        <bold>true</bold>
+       </font>
+      </property>
+      <property name="text">
+       <string>Infiniband Partition Key Contexts</string>
+      </property>
+     </widget>
+    </item>
+    <item row="0" column="2">
+     <widget class="QLabel" name="label_2">
+      <property name="text">
+       <string>Show:</string>
+      </property>
+     </widget>
+    </item>
+    <item row="0" column="1">
+     <spacer name="horizontalSpacer_5">
+      <property name="orientation">
+       <enum>Qt::Horizontal</enum>
+      </property>
+      <property name="sizeHint" stdset="0">
+       <size>
+        <width>40</width>
+        <height>20</height>
+       </size>
+      </property>
+     </spacer>
+    </item>
+    <item row="2" column="0" colspan="5">
+     <widget class="QTabWidget" name="results_frame">
+      <property name="sizePolicy">
+       <sizepolicy hsizetype="Preferred" vsizetype="MinimumExpanding">
+        <horstretch>0</horstretch>
+        <verstretch>1</verstretch>
+       </sizepolicy>
+      </property>
+      <property name="currentIndex">
+       <number>0</number>
+      </property>
+      <widget class="QWidget" name="results_framePage1">
+       <property name="sizePolicy">
+        <sizepolicy hsizetype="Preferred" vsizetype="MinimumExpanding">
+         <horstretch>0</horstretch>
+         <verstretch>0</verstretch>
+        </sizepolicy>
+       </property>
+       <attribute name="title">
+        <string>Results</string>
+       </attribute>
+       <layout class="QVBoxLayout" name="verticalLayout_3">
+        <property name="leftMargin">
+         <number>6</number>
+        </property>
+        <property name="topMargin">
+         <number>6</number>
+        </property>
+        <property name="rightMargin">
+         <number>6</number>
+        </property>
+        <property name="bottomMargin">
+         <number>6</number>
+        </property>
+        <item>
+         <widget class="SEToolsTableView" name="table_results">
+          <property name="sizePolicy">
+           <sizepolicy hsizetype="Preferred" vsizetype="MinimumExpanding">
+            <horstretch>0</horstretch>
+            <verstretch>0</verstretch>
+           </sizepolicy>
+          </property>
+          <property name="sizeAdjustPolicy">
+           <enum>QAbstractScrollArea::AdjustIgnored</enum>
+          </property>
+          <property name="alternatingRowColors">
+           <bool>true</bool>
+          </property>
+          <property name="sortingEnabled">
+           <bool>true</bool>
+          </property>
+         </widget>
+        </item>
+       </layout>
+      </widget>
+      <widget class="QWidget" name="results_framePage2">
+       <property name="sizePolicy">
+        <sizepolicy hsizetype="Preferred" vsizetype="MinimumExpanding">
+         <horstretch>0</horstretch>
+         <verstretch>0</verstretch>
+        </sizepolicy>
+       </property>
+       <attribute name="title">
+        <string>Raw Results</string>
+       </attribute>
+       <layout class="QVBoxLayout" name="verticalLayout_2">
+        <property name="leftMargin">
+         <number>6</number>
+        </property>
+        <property name="topMargin">
+         <number>6</number>
+        </property>
+        <property name="rightMargin">
+         <number>6</number>
+        </property>
+        <property name="bottomMargin">
+         <number>6</number>
+        </property>
+        <item>
+         <widget class="QPlainTextEdit" name="raw_results">
+          <property name="sizePolicy">
+           <sizepolicy hsizetype="Preferred" vsizetype="MinimumExpanding">
+            <horstretch>0</horstretch>
+            <verstretch>0</verstretch>
+           </sizepolicy>
+          </property>
+          <property name="minimumSize">
+           <size>
+            <width>0</width>
+            <height>0</height>
+           </size>
+          </property>
+          <property name="font">
+           <font>
+            <family>Monospace</family>
+           </font>
+          </property>
+          <property name="documentTitle">
+           <string/>
+          </property>
+          <property name="lineWrapMode">
+           <enum>QPlainTextEdit::NoWrap</enum>
+          </property>
+          <property name="readOnly">
+           <bool>true</bool>
+          </property>
+         </widget>
+        </item>
+       </layout>
+      </widget>
+     </widget>
+    </item>
+    <item row="1" column="0" colspan="5">
+     <widget class="QFrame" name="criteria_frame">
+      <property name="maximumSize">
+       <size>
+        <width>16777215</width>
+        <height>16777215</height>
+       </size>
+      </property>
+      <property name="frameShape">
+       <enum>QFrame::StyledPanel</enum>
+      </property>
+      <property name="frameShadow">
+       <enum>QFrame::Raised</enum>
+      </property>
+      <layout class="QGridLayout" name="gridLayout_4">
+       <item row="0" column="0" colspan="2">
+        <widget class="QGroupBox" name="subnet_prefix_criteria">
+         <property name="title">
+          <string>Subnet Prefix</string>
+         </property>
+         <layout class="QGridLayout" name="gridLayout_3">
+          <item row="0" column="0">
+           <widget class="QLineEdit" name="subnet_prefix">
+            <property name="sizePolicy">
+             <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+              <horstretch>0</horstretch>
+              <verstretch>0</verstretch>
+             </sizepolicy>
+            </property>
+            <property name="minimumSize">
+             <size>
+              <width>150</width>
+              <height>0</height>
+             </size>
+            </property>
+            <property name="maximumSize">
+             <size>
+              <width>250</width>
+              <height>16777215</height>
+             </size>
+            </property>
+            <property name="placeholderText">
+             <string>e.g. ff00::</string>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="1">
+           <widget class="QRadioButton" name="subnet_prefix_exact">
+            <property name="enabled">
+             <bool>false</bool>
+            </property>
+            <property name="toolTip">
+             <string>Match the subnet mask if the criteria is equal to the ibpkeycon's subnet prefix.</string>
+            </property>
+            <property name="text">
+             <string>Equal</string>
+            </property>
+            <property name="checked">
+             <bool>true</bool>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="2">
+           <widget class="QRadioButton" name="subnet_prefix_overlap">
+            <property name="enabled">
+             <bool>false</bool>
+            </property>
+            <property name="toolTip">
+             <string>Match the subnet prefix if the criteria overlaps the ibpkeycon's subnet prefix.</string>
+            </property>
+            <property name="text">
+             <string>Overlap</string>
+            </property>
+            <property name="checked">
+             <bool>false</bool>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="3">
+           <spacer name="horizontalSpacer_2">
+            <property name="orientation">
+             <enum>Qt::Horizontal</enum>
+            </property>
+            <property name="sizeHint" stdset="0">
+             <size>
+              <width>40</width>
+              <height>20</height>
+             </size>
+            </property>
+           </spacer>
+          </item>
+         </layout>
+        </widget>
+       </item>
+       <item row="1" column="0">
+        <widget class="QGroupBox" name="user_critera">
+         <property name="title">
+          <string>Context User</string>
+         </property>
+         <layout class="QGridLayout" name="gridLayout_6">
+          <item row="0" column="0">
+           <widget class="QLineEdit" name="user">
+            <property name="sizePolicy">
+             <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+              <horstretch>0</horstretch>
+              <verstretch>0</verstretch>
+             </sizepolicy>
+            </property>
+            <property name="minimumSize">
+             <size>
+              <width>150</width>
+              <height>0</height>
+             </size>
+            </property>
+           </widget>
+          </item>
+          <item row="1" column="0">
+           <widget class="QCheckBox" name="user_regex">
+            <property name="toolTip">
+             <string>Use regular expressions to match the context's user.</string>
+            </property>
+            <property name="text">
+             <string>Regex</string>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="1">
+           <spacer name="horizontalSpacer_3">
+            <property name="orientation">
+             <enum>Qt::Horizontal</enum>
+            </property>
+            <property name="sizeHint" stdset="0">
+             <size>
+              <width>40</width>
+              <height>20</height>
+             </size>
+            </property>
+           </spacer>
+          </item>
+         </layout>
+        </widget>
+       </item>
+       <item row="1" column="1">
+        <widget class="QGroupBox" name="role_criteria">
+         <property name="maximumSize">
+          <size>
+           <width>16777215</width>
+           <height>100</height>
+          </size>
+         </property>
+         <property name="title">
+          <string>Context Role</string>
+         </property>
+         <layout class="QGridLayout" name="gridLayout_2">
+          <property name="leftMargin">
+           <number>6</number>
+          </property>
+          <property name="topMargin">
+           <number>6</number>
+          </property>
+          <property name="rightMargin">
+           <number>6</number>
+          </property>
+          <property name="bottomMargin">
+           <number>6</number>
+          </property>
+          <property name="spacing">
+           <number>3</number>
+          </property>
+          <item row="0" column="0">
+           <widget class="QLineEdit" name="role">
+            <property name="sizePolicy">
+             <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+              <horstretch>0</horstretch>
+              <verstretch>0</verstretch>
+             </sizepolicy>
+            </property>
+            <property name="minimumSize">
+             <size>
+              <width>150</width>
+              <height>0</height>
+             </size>
+            </property>
+            <property name="maximumSize">
+             <size>
+              <width>250</width>
+              <height>16777215</height>
+             </size>
+            </property>
+           </widget>
+          </item>
+          <item row="1" column="0">
+           <widget class="QCheckBox" name="role_regex">
+            <property name="enabled">
+             <bool>true</bool>
+            </property>
+            <property name="toolTip">
+             <string>Use regular expressions to match the context's role.</string>
+            </property>
+            <property name="text">
+             <string>Regex</string>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="1">
+           <spacer name="horizontalSpacer_4">
+            <property name="orientation">
+             <enum>Qt::Horizontal</enum>
+            </property>
+            <property name="sizeHint" stdset="0">
+             <size>
+              <width>40</width>
+              <height>20</height>
+             </size>
+            </property>
+           </spacer>
+          </item>
+         </layout>
+        </widget>
+       </item>
+       <item row="1" column="2">
+        <widget class="QGroupBox" name="type_criteria">
+         <property name="maximumSize">
+          <size>
+           <width>16777215</width>
+           <height>100</height>
+          </size>
+         </property>
+         <property name="title">
+          <string>Context Type</string>
+         </property>
+         <layout class="QGridLayout" name="gridLayout_5">
+          <property name="leftMargin">
+           <number>6</number>
+          </property>
+          <property name="topMargin">
+           <number>6</number>
+          </property>
+          <property name="rightMargin">
+           <number>6</number>
+          </property>
+          <property name="bottomMargin">
+           <number>6</number>
+          </property>
+          <property name="spacing">
+           <number>3</number>
+          </property>
+          <item row="1" column="1">
+           <widget class="QCheckBox" name="type_regex">
+            <property name="toolTip">
+             <string>Use regular expressions to match the context's type.</string>
+            </property>
+            <property name="text">
+             <string>Regex</string>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="1">
+           <widget class="QLineEdit" name="type_">
+            <property name="sizePolicy">
+             <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+              <horstretch>0</horstretch>
+              <verstretch>0</verstretch>
+             </sizepolicy>
+            </property>
+            <property name="minimumSize">
+             <size>
+              <width>150</width>
+              <height>0</height>
+             </size>
+            </property>
+            <property name="maximumSize">
+             <size>
+              <width>250</width>
+              <height>16777215</height>
+             </size>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="2">
+           <spacer name="horizontalSpacer_6">
+            <property name="orientation">
+             <enum>Qt::Horizontal</enum>
+            </property>
+            <property name="sizeHint" stdset="0">
+             <size>
+              <width>40</width>
+              <height>20</height>
+             </size>
+            </property>
+           </spacer>
+          </item>
+         </layout>
+        </widget>
+       </item>
+       <item row="1" column="3">
+        <widget class="QGroupBox" name="range_criteria">
+         <property name="maximumSize">
+          <size>
+           <width>16777215</width>
+           <height>16777215</height>
+          </size>
+         </property>
+         <property name="title">
+          <string>Context MLS Range</string>
+         </property>
+         <layout class="QGridLayout" name="gridLayout_8">
+          <property name="leftMargin">
+           <number>6</number>
+          </property>
+          <property name="topMargin">
+           <number>6</number>
+          </property>
+          <property name="rightMargin">
+           <number>6</number>
+          </property>
+          <property name="bottomMargin">
+           <number>6</number>
+          </property>
+          <property name="spacing">
+           <number>3</number>
+          </property>
+          <item row="2" column="1">
+           <widget class="QRadioButton" name="range_exact">
+            <property name="toolTip">
+             <string>Match the context's range if the criteria is equal to the context's range.</string>
+            </property>
+            <property name="text">
+             <string>Equal</string>
+            </property>
+            <property name="checked">
+             <bool>true</bool>
+            </property>
+           </widget>
+          </item>
+          <item row="2" column="2">
+           <widget class="QRadioButton" name="range_overlap">
+            <property name="toolTip">
+             <string>Match the context's range if the criteria overlaps the context's range.</string>
+            </property>
+            <property name="text">
+             <string>Overlap</string>
+            </property>
+           </widget>
+          </item>
+          <item row="3" column="1">
+           <widget class="QRadioButton" name="range_subset">
+            <property name="toolTip">
+             <string>Match the context's range if the criteria is a subset of the context's range.</string>
+            </property>
+            <property name="text">
+             <string>Subset</string>
+            </property>
+           </widget>
+          </item>
+          <item row="3" column="2">
+           <widget class="QRadioButton" name="range_superset">
+            <property name="toolTip">
+             <string>Match the context's range if the criteria is a superset to the context's range.</string>
+            </property>
+            <property name="text">
+             <string>Superset</string>
+            </property>
+           </widget>
+          </item>
+          <item row="1" column="1" colspan="2">
+           <widget class="QLineEdit" name="range_">
+            <property name="sizePolicy">
+             <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+              <horstretch>0</horstretch>
+              <verstretch>0</verstretch>
+             </sizepolicy>
+            </property>
+            <property name="minimumSize">
+             <size>
+              <width>150</width>
+              <height>20</height>
+             </size>
+            </property>
+            <property name="maximumSize">
+             <size>
+              <width>250</width>
+              <height>16777215</height>
+             </size>
+            </property>
+           </widget>
+          </item>
+          <item row="1" column="3">
+           <spacer name="horizontalSpacer_7">
+            <property name="orientation">
+             <enum>Qt::Horizontal</enum>
+            </property>
+            <property name="sizeType">
+             <enum>QSizePolicy::Preferred</enum>
+            </property>
+            <property name="sizeHint" stdset="0">
+             <size>
+              <width>40</width>
+              <height>20</height>
+             </size>
+            </property>
+           </spacer>
+          </item>
+         </layout>
+        </widget>
+       </item>
+       <item row="2" column="3">
+        <widget class="QDialogButtonBox" name="buttonBox">
+         <property name="standardButtons">
+          <set>QDialogButtonBox::Apply</set>
+         </property>
+        </widget>
+       </item>
+       <item row="0" column="2" colspan="2">
+        <widget class="QGroupBox" name="pkeys_criteria">
+         <property name="title">
+          <string>Partition Keys</string>
+         </property>
+         <layout class="QGridLayout" name="gridLayout">
+          <item row="0" column="0">
+           <widget class="QLineEdit" name="pkeys">
+            <property name="sizePolicy">
+             <sizepolicy hsizetype="Expanding" vsizetype="Fixed">
+              <horstretch>0</horstretch>
+              <verstretch>0</verstretch>
+             </sizepolicy>
+            </property>
+            <property name="minimumSize">
+             <size>
+              <width>150</width>
+              <height>0</height>
+             </size>
+            </property>
+            <property name="maximumSize">
+             <size>
+              <width>250</width>
+              <height>16777215</height>
+             </size>
+            </property>
+            <property name="placeholderText">
+             <string>e.g. 80 or 6000-6010</string>
+            </property>
+           </widget>
+          </item>
+          <item row="1" column="3">
+           <widget class="QRadioButton" name="pkeys_superset">
+            <property name="toolTip">
+             <string>Match the port range if the criteria is a superset to the portcon's port range.</string>
+            </property>
+            <property name="text">
+             <string>Superset</string>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="3">
+           <widget class="QRadioButton" name="pkeys_overlap">
+            <property name="toolTip">
+             <string>Match the port range if the criteria overlaps the portcon's port range.</string>
+            </property>
+            <property name="text">
+             <string>Overlap</string>
+            </property>
+            <property name="checked">
+             <bool>true</bool>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="2">
+           <widget class="QRadioButton" name="pkeys_exact">
+            <property name="toolTip">
+             <string>Match the port range if the criteria is equal to the portcon's port range.</string>
+            </property>
+            <property name="text">
+             <string>Equal</string>
+            </property>
+            <property name="checked">
+             <bool>false</bool>
+            </property>
+           </widget>
+          </item>
+          <item row="1" column="2">
+           <widget class="QRadioButton" name="pkeys_subset">
+            <property name="toolTip">
+             <string>Match the port range if the criteria is a subset of the portcon's port range.</string>
+            </property>
+            <property name="text">
+             <string>Subset</string>
+            </property>
+           </widget>
+          </item>
+          <item row="0" column="4">
+           <spacer name="horizontalSpacer">
+            <property name="orientation">
+             <enum>Qt::Horizontal</enum>
+            </property>
+            <property name="sizeHint" stdset="0">
+             <size>
+              <width>40</width>
+              <height>20</height>
+             </size>
+            </property>
+           </spacer>
+          </item>
+         </layout>
+        </widget>
+       </item>
+      </layout>
+      <zorder>role_criteria</zorder>
+      <zorder>type_criteria</zorder>
+      <zorder>user_critera</zorder>
+      <zorder>range_criteria</zorder>
+      <zorder>buttonBox</zorder>
+      <zorder>pkeys_criteria</zorder>
+      <zorder>subnet_prefix_criteria</zorder>
+     </widget>
+    </item>
+   </layout>
+  </widget>
+ </widget>
+ <customwidgets>
+  <customwidget>
+   <class>SEToolsTableView</class>
+   <extends>QTableView</extends>
+   <header>setoolsgui/tableview.h</header>
+  </customwidget>
+ </customwidgets>
+ <tabstops>
+  <tabstop>criteria_expander</tabstop>
+  <tabstop>notes_expander</tabstop>
+  <tabstop>subnet_prefix</tabstop>
+  <tabstop>subnet_prefix_exact</tabstop>
+  <tabstop>subnet_prefix_overlap</tabstop>
+  <tabstop>pkeys</tabstop>
+  <tabstop>pkeys_exact</tabstop>
+  <tabstop>pkeys_overlap</tabstop>
+  <tabstop>pkeys_subset</tabstop>
+  <tabstop>pkeys_superset</tabstop>
+  <tabstop>user</tabstop>
+  <tabstop>user_regex</tabstop>
+  <tabstop>role</tabstop>
+  <tabstop>role_regex</tabstop>
+  <tabstop>type_</tabstop>
+  <tabstop>type_regex</tabstop>
+  <tabstop>range_</tabstop>
+  <tabstop>range_exact</tabstop>
+  <tabstop>range_overlap</tabstop>
+  <tabstop>range_subset</tabstop>
+  <tabstop>range_superset</tabstop>
+  <tabstop>results_frame</tabstop>
+  <tabstop>table_results</tabstop>
+  <tabstop>raw_results</tabstop>
+  <tabstop>notes</tabstop>
+ </tabstops>
+ <resources/>
+ <connections>
+  <connection>
+   <sender>criteria_expander</sender>
+   <signal>toggled(bool)</signal>
+   <receiver>criteria_frame</receiver>
+   <slot>setVisible(bool)</slot>
+   <hints>
+    <hint type="sourcelabel">
+     <x>592</x>
+     <y>16</y>
+    </hint>
+    <hint type="destinationlabel">
+     <x>386</x>
+     <y>232</y>
+    </hint>
+   </hints>
+  </connection>
+  <connection>
+   <sender>notes_expander</sender>
+   <signal>toggled(bool)</signal>
+   <receiver>notes</receiver>
+   <slot>setVisible(bool)</slot>
+   <hints>
+    <hint type="sourcelabel">
+     <x>735</x>
+     <y>16</y>
+    </hint>
+    <hint type="destinationlabel">
+     <x>386</x>
+     <y>756</y>
+    </hint>
+   </hints>
+  </connection>
+ </connections>
+</ui>

setoolsgui/ibpkeyconmodel.py

@@ -0,0 +1,49 @@
+# Copyright 2019, Chris PeBenito <pebenito@ieee.org>
+#
+# This file is part of SETools.
+#
+# SETools is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as
+# published by the Free Software Foundation, either version 2.1 of
+# the License, or (at your option) any later version.
+#
+# SETools is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+#
+# You should have received a copy of the GNU Lesser General Public
+# License along with SETools.  If not, see
+# <http://www.gnu.org/licenses/>.
+#
+from PyQt5.QtCore import Qt
+
+from .models import SEToolsTableModel
+
+
+class IbpkeyconTableModel(SEToolsTableModel):
+
+    """Table-based model for ibpkeycons."""
+
+    headers = ["Subnet Prefix", "Partition Keys", "Context"]
+
+    def data(self, index, role):
+        if self.resultlist and index.isValid():
+            row = index.row()
+            col = index.column()
+            rule = self.resultlist[row]
+
+            if role == Qt.DisplayRole:
+                if col == 0:
+                    return str(rule.subnet_prefix)
+                elif col == 1:
+                    low, high = rule.pkeys
+                    if low == high:
+                        return "{0:#x}".format(low)
+                    else:
+                        return "{0:#x}-{1:#x}".format(low, high)
+                elif col == 2:
+                    return str(rule.context)
+
+            elif role == Qt.UserRole:
+                return rule