src/java/isac/util/tactics/StringListTactic.java
author wneuper
Wed, 15 Jun 2005 18:31:02 +0200
branchjava_rename_format
changeset 3922 fcd5648113ca
permissions -rw-r--r--
java: isac.util.tactics .. end renamed, formatted, inst_var_, import cleaned
wneuper@3922
     1
/*
wneuper@3922
     2
 * Created on Oct 9, 2003
wneuper@3922
     3
 *
wneuper@3922
     4
 * To change the template for this generated file go to
wneuper@3922
     5
 * Window>Preferences>Java>Code Generation>Code and Comments
wneuper@3922
     6
 */
wneuper@3922
     7
package isac.util.tactics;
wneuper@3922
     8
wneuper@3922
     9
import java.util.Iterator;
wneuper@3922
    10
import java.util.Vector;
wneuper@3922
    11
wneuper@3922
    12
/**
wneuper@3922
    13
 * @author rgradisc
wneuper@3922
    14
 * 
wneuper@3922
    15
 * To change the template for this generated type comment go to
wneuper@3922
    16
 * Window>Preferences>Java>Code Generation>Code and Comments
wneuper@3922
    17
 */
wneuper@3922
    18
public class StringListTactic extends Tactic {
wneuper@3922
    19
wneuper@3922
    20
    private Vector string_list_ = new Vector();
wneuper@3922
    21
wneuper@3922
    22
    public StringListTactic() {
wneuper@3922
    23
    }
wneuper@3922
    24
wneuper@3922
    25
    public StringListTactic(String name) {
wneuper@3922
    26
        this.name_ = name;
wneuper@3922
    27
    }
wneuper@3922
    28
wneuper@3922
    29
    public StringListTactic(String name, Vector keyList) {
wneuper@3922
    30
        this.name_ = name;
wneuper@3922
    31
        this.string_list_ = keyList;
wneuper@3922
    32
    }
wneuper@3922
    33
wneuper@3922
    34
    public void addKey(String key) {
wneuper@3922
    35
        this.string_list_.add(key);
wneuper@3922
    36
    }
wneuper@3922
    37
wneuper@3922
    38
    public String toSMLString() {
wneuper@3922
    39
        StringBuffer sb = new StringBuffer();
wneuper@3922
    40
        sb.append(name_);
wneuper@3922
    41
        if (string_list_.size() > 0) {
wneuper@3922
    42
            sb.append(" [");
wneuper@3922
    43
            Iterator it = string_list_.iterator();
wneuper@3922
    44
            while (it.hasNext()) {
wneuper@3922
    45
                sb.append("\"" + it.next() + "\",");
wneuper@3922
    46
            }
wneuper@3922
    47
            sb.deleteCharAt(sb.length() - 1); // remove last ","
wneuper@3922
    48
            sb.append("]");
wneuper@3922
    49
        }
wneuper@3922
    50
        return sb.toString();
wneuper@3922
    51
    }
wneuper@3922
    52
wneuper@3922
    53
}