From 385b8b2d324d128f36a8e33ad88eb28177afb9c8 Mon Sep 17 00:00:00 2001 From: Jonathan Shahen Date: Fri, 8 Jan 2016 13:27:44 -0500 Subject: [PATCH] adds comments; a new convenience command to the CUI --- src/mohawk/MohawkCUI.java | 1 + src/mohawk/rbac/RBACInstance.java | 4 ++++ src/mohawk/singleton/MohawkSettings.java | 6 ++++++ 3 files changed, 11 insertions(+) diff --git a/src/mohawk/MohawkCUI.java b/src/mohawk/MohawkCUI.java index 255d488..6bfd03e 100644 --- a/src/mohawk/MohawkCUI.java +++ b/src/mohawk/MohawkCUI.java @@ -95,6 +95,7 @@ public class MohawkCUI { System.out.println(""); System.out.println("-mode bmc -run all -input data/ahn/test.st.mohawk.T.mohawk !exit"); System.out.println("-mode bmc -run all -input data/bug/isolation/ -skiprefine -bulk !exit"); + System.out.println("-mode bmc -run all -input data/TestsuiteC/hos -skiprefine -bulk !exit"); System.out.println(""); try { BufferedReader bfr = new BufferedReader(new FileReader(previousCommandFilename)); diff --git a/src/mohawk/rbac/RBACInstance.java b/src/mohawk/rbac/RBACInstance.java index ef27419..80a1439 100644 --- a/src/mohawk/rbac/RBACInstance.java +++ b/src/mohawk/rbac/RBACInstance.java @@ -88,6 +88,10 @@ public class RBACInstance { return vUsers; } + /** + * Get the admin users + * @return + */ public Vector getAdmin() { return vAdmin; } diff --git a/src/mohawk/singleton/MohawkSettings.java b/src/mohawk/singleton/MohawkSettings.java index a264cde..4b80a63 100644 --- a/src/mohawk/singleton/MohawkSettings.java +++ b/src/mohawk/singleton/MohawkSettings.java @@ -65,6 +65,12 @@ public class MohawkSettings { */ public boolean skipRefine = false; + /** + * Flag for optimizing RBAC instances by removing the roles that are not present in any rules as a target + * and replacing them in all CA rule conditions as a constant (TRUE or FALSE) + */ + public boolean optimizeRBAC = false; + protected MohawkSettings() { } -- GitLab