Making it so that the nodes are different colors depending on whether or not they're a basic/case/contradiction/ rule

Author: AndrewAirasian

src/main/java/edu/rpi/legup/history/AutoCaseRuleCommand.java

@@ -63,6 +63,7 @@ public void executeCommand() {
         final TreeViewSelection newSelection = new TreeViewSelection();
 
         TreeNode node = (TreeNode) selection.getFirstSelection().getTreeElement();
+        node.markAsCaseRule();//See TreeNode.java:17
         if (caseTrans.isEmpty()) {
             List<Board> cases =
                     caseRule.getCases(caseBoard.getBaseBoard(), elementView.getPuzzleElement());

src/main/java/edu/rpi/legup/model/tree/TreeNode.java

@@ -14,6 +14,19 @@ public class TreeNode extends TreeElement {
     private List<TreeTransition> children;
     private boolean isRoot;
 
+    /**
+     * This group of member variables and functions is here so that the nodes on the tree will have different
+     * colors depending on what flavor or rule they are supposed to represent, or some other mark on them.
+     *
+     * This is intended as a minor UI improvement.
+     *
+     * This is a work in progress, the implementation of this functionality is NOT complete.
+     * */
+    private boolean isBasicRule;
+    private boolean isCaseRule;
+    private boolean isContrRule;
+    public void markAsCaseRule(){this.isCaseRule=true;}
+
     /**
      * TreeNode Constructor creates a tree node whenever a rule has been made
      *