From e0f258db0cf3890017ab4325183f177f8f5ef6d2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Thu, 11 Jul 2019 10:26:44 +0200 Subject: [PATCH] GUI: Start adding some 'human knowledge' configuration options --- gui/projectfiledialog.ui | 152 ++++++++++++++++++++++++++++++++++++++- 1 file changed, 151 insertions(+), 1 deletion(-) diff --git a/gui/projectfiledialog.ui b/gui/projectfiledialog.ui index eab08aa8c..5f72bd9a4 100644 --- a/gui/projectfiledialog.ui +++ b/gui/projectfiledialog.ui @@ -7,7 +7,7 @@ 0 0 642 - 549 + 585 @@ -415,6 +415,156 @@ + + + Custom + + + + + + Qt::ScrollBarAlwaysOff + + + true + + + + + 0 + 0 + 605 + 522 + + + + + + + Here it will be possible to configure "human knowledge" about your project. + + + + + + + Arbitrary input from file/network/user/... + + + + + + TODO: Select the functions that give your project "arbitrary input" .... + + + + + + + + + + Interface headers + + + + + + TODO: Select "interface" headers. All public functions/variables in these must be "safe". + + + + + + + + + + Possible values of function parameters + + + + + + Experimental: All function parameters can have arbitrary values + + + + + + + TODO: Configure possible values of function parameters + + + + + + + Note: It must be possible to define parameter values in the code using annotations in the code (SAL , code contracts, etc) + + + true + + + + + + + + + + Classes + + + + + + All classes must have a "safe" public interface + + + true + + + + + + + + + "Safe" classes: + + + + + + + + + + + + + + + Global variables + + + + + + TODO: Possible values of global variables + + + + + + + + + + + + Warning options