Beispiel #1
0
 private TypeSystemStateTreeNode createNode(String category, List<String> entries, Color color) {
   TypeSystemStateTreeNode result = new TypeSystemStateTreeNode(category);
   if (color != null) {
     result.setColor(color);
   }
   for (String string : entries) {
     result.add(new TypeSystemStateTreeNode(string));
   }
   return result;
 }
Beispiel #2
0
 private TypeSystemStateTreeNode createNode(String category, Set<Block> entries, Color color) {
   TypeSystemStateTreeNode result =
       new TypeSystemStateTreeNode(category + " (" + entries.size() + ")");
   if (color == null) color = Color.LIGHT_GRAY;
   result.setColor(color);
   for (Block block : entries) {
     result.add(new BlockTreeNode(block, myState, myEditorComponent));
   }
   return result;
 }
 private TypeSystemStateTreeNode createNode(String category, Set<Block> entries, Color color) {
   TypeSystemStateTreeNode result =
       new TypeSystemStateTreeNode(category + " (" + entries.size() + ")", myOperationContext);
   if (color != null) {
     result.setColor(color);
   }
   for (Block block : entries) {
     result.add(new BlockTreeNode(block, myOperationContext, myState, myEditorComponent));
   }
   return result;
 }