Commit Graph

10 Commits

Author SHA1 Message Date
Chris PeBenito
05776e12c8 DirectedGraphResultTab: Add tree browser.
This is for direct analyses.

Signed-off-by: Chris PeBenito <chpebeni@linux.microsoft.com>
2024-03-20 08:19:06 -04:00
Chris PeBenito
be79ffa7cd apol: Add graphical output for Infoflow and DTA.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00
Chris PeBenito
7e9d0fded9 Update to PyQt6.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00
Chris PeBenito
cd24446963 setoolsgui: Address new errors in mypy 1.6.0.
Most come from the union-attr check, throwing errors because PyQt returns,
for example, "QObjecet | None", so code is using attributes on the PyQt
object that don't exist on None.

In some cases, classes gained new overridden method implementations that
do type narrowing to ensure a non-None object is returned.

This also includes a new QListView subclass with the above overrides.  With
the new class, there is some light refactoring in ListCriteriaWidget,
moving the selection methods to the new class.

The test code (unit tests and module __main__) simply ignore union-attr
errors, since we want that kind of runtime error to pop loudly.

There are some remaining issues, but they seem to be issues in the PyQt5
typing.

Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00
Chris PeBenito
8b6e1980ea QueryResultsUpdater: Add result limit.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00
Chris PeBenito
be63a5be7b QueryResultsUpdate: Add support for a custom renderer.
This is to support more complex rendering than the default, str().

Also support configurations where there is no model to update.

Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-02-14 09:11:35 -05:00
Chris PeBenito
b71f9eda92 QueryResultsUpdater: Handle exceptions and emit a failure signal.
Prevent crashes in the unlikely event there is an exception while a query
is processing.

Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-01-31 10:11:55 -05:00
Chris PeBenito
cfb097b1af QueryResultsUpdater: Clean up and add typing.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-01-31 10:11:55 -05:00
Chris PeBenito
df0e89eafc Add new TE rule query tab implementation.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-01-31 10:11:55 -05:00
Chris PeBenito
2edb93e2d5 Add base classes for top level app tabs.
Signed-off-by: Chris PeBenito <pebenito@ieee.org>
2024-01-31 10:11:55 -05:00