2 import java.util.Vector;
6 public class FlagNode extends FlagExpressionNode {
10 public FlagNode(String flag) {
14 public void setFlag(FlagDescriptor flag) {
18 public FlagDescriptor getFlag() {
22 public String getFlagName() {
30 public String printNode(int indent) {
34 public DNFFlag getDNF() {
35 return new DNFFlag(this);
38 public String toString() {