6 public class FlagEffects {
12 public FlagEffects(String name) {
14 tageffects=new Vector();
18 public void setVar(VarDescriptor vd) {
22 public VarDescriptor getVar() {
26 public String getName() {
30 public void addEffect(FlagEffect fe) {
34 public void addTagEffect(TagEffect te) {
38 public int numTagEffects() {
39 return tageffects.size();
42 public TagEffect getTagEffect(int i) {
43 return (TagEffect) tageffects.get(i);
46 public int numEffects() {
47 return effects.size();
50 public FlagEffect getEffect(int i) {
51 return (FlagEffect) effects.get(i);
54 public String printNode(int indent) {
56 for(int i=0; i<effects.size(); i++) {
57 FlagEffect fe=(FlagEffect)effects.get(i);
59 if ((i+1)!=effects.size())