1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/java/isac/util/tactics/SimpleTactic.java	Wed Jun 15 18:31:02 2005 +0200
     1.3 @@ -0,0 +1,42 @@
     1.4 +/*
     1.5 + * Created on Oct 9, 2003
     1.6 + *
     1.7 + * To change the template for this generated file go to
     1.8 + * Window>Preferences>Java>Code Generation>Code and Comments
     1.9 + */
    1.10 +package isac.util.tactics;
    1.11 +
    1.12 +/**
    1.13 + * @author rgradisc
    1.14 + * 
    1.15 + * To change the template for this generated type comment go to
    1.16 + * Window>Preferences>Java>Code Generation>Code and Comments
    1.17 + */
    1.18 +public class SimpleTactic extends Tactic {
    1.19 +
    1.20 +    private String argument_; // placeholder for MATH-ML
    1.21 +
    1.22 +    public SimpleTactic() {
    1.23 +    }
    1.24 +
    1.25 +    public SimpleTactic(String name) {
    1.26 +        this.name_ = name;
    1.27 +    }
    1.28 +
    1.29 +    public SimpleTactic(String name, String argument) {
    1.30 +        this.name_ = name;
    1.31 +        this.argument_ = argument;
    1.32 +    }
    1.33 +
    1.34 +    public void setArgument(String argument) {
    1.35 +        this.argument_ = argument;
    1.36 +    }
    1.37 +
    1.38 +    public String getArgument() {
    1.39 +        return "";
    1.40 +    }
    1.41 +
    1.42 +    public String toSMLString() {
    1.43 +        return name_ + " \"" + argument_ + "\"";
    1.44 +    }
    1.45 +}
    1.46 \ No newline at end of file