📄 grouptree.java
字号:
/*
* YALE - Yet Another Learning Environment
* Copyright (C) 2001-2004
* Simon Fischer, Ralf Klinkenberg, Ingo Mierswa,
* Katharina Morik, Oliver Ritthoff
* Artificial Intelligence Unit
* Computer Science Department
* University of Dortmund
* 44221 Dortmund, Germany
* email: yale-team@lists.sourceforge.net
* web: http://yale.cs.uni-dortmund.de/
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License as
* published by the Free Software Foundation; either version 2 of the
* License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
* USA.
*/
package edu.udo.cs.yale.tools;
import java.util.Collection;
import java.util.Set;
import java.util.Iterator;
import java.util.Map;
import java.util.HashMap;
import java.util.TreeMap;
import java.util.TreeSet;
/**
* @version $Id: GroupTree.java,v 2.4 2004/08/27 11:57:45 ingomierswa Exp $
*/
public class GroupTree {
/** The list of operator in this group. */
private Set operators = new TreeSet();
/** The subgroups of this group. */
private Map children = new TreeMap();
/** The name of this group. */
private String name = null;
/** The parent of this group. */
private GroupTree parent = null;
/** Creates a new group tree with no operators and children. */
public GroupTree(String name) {
this.name = name;
}
/** Returns the name of this group. */
public String getName() {
return name;
}
/** Sets the parent of this group. */
public void setParent(GroupTree parent) {
this.parent = parent;
}
/** Returns the parent of this group. Returns null if no parent does exist. */
public GroupTree getParent() {
return parent;
}
/** Adds a subgroup to this group. */
public void addSubGroup(GroupTree child) {
children.put(child.getName(), child);
child.setParent(this);
}
/** Returns the subgroup with the given name. */
public GroupTree getSubGroup(String name) {
return (GroupTree)children.get(name);
}
/** Returns a set of all children group trees. */
public Collection getSubGroups() {
return children.values();
}
/** Adds an operator to this group. */
public void addOperator(String operator) {
operators.add(operator);
}
/** Returns all operators in this group or an empty list if this operator does not contain
* any operators. */
public Set getOperators() {
return operators;
}
/** Returns all operator in this group and recursively the operators of all children. */
public Set getAllOperators() {
Set result = new TreeSet();
addAllOperators(result);
return result;
}
private void addAllOperators(Set operators) {
operators.addAll(this.operators);
Iterator i = children.values().iterator();
while (i.hasNext()) {
GroupTree child = (GroupTree)i.next();
child.addAllOperators(operators);
}
}
public String toString() {
String result = "(" + name + "# " + operators.size();
result += getSubGroups().toString();
result += ")";
return result;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -