equal
deleted
inserted
replaced
|
1 /* |
|
2 * Created on Oct 10, 2003 |
|
3 * |
|
4 * To change the template for this generated file go to |
|
5 * Window>Preferences>Java>Code Generation>Code and Comments |
|
6 */ |
|
7 package isac.util.tactics; |
|
8 |
|
9 /** |
|
10 * @author rgradisc |
|
11 * |
|
12 * To change the template for this generated type comment go to |
|
13 * Window>Preferences>Java>Code Generation>Code and Comments |
|
14 */ |
|
15 public class RewriteSetInst extends Tactic { |
|
16 |
|
17 String rule_set_, variable_, value_; |
|
18 |
|
19 public RewriteSetInst() { |
|
20 } |
|
21 |
|
22 public RewriteSetInst(String name) { |
|
23 this.name_ = name; |
|
24 } |
|
25 |
|
26 public String getName() { |
|
27 return name_; |
|
28 } |
|
29 |
|
30 public String toSMLString() { |
|
31 return name_ + " ([\"(" + variable_ + "," + value_ + ")\"], \"" |
|
32 + rule_set_ + "\")"; |
|
33 } |
|
34 |
|
35 /** |
|
36 * @return |
|
37 */ |
|
38 public String getRuleSet() { |
|
39 return rule_set_; |
|
40 } |
|
41 |
|
42 /** |
|
43 * @return |
|
44 */ |
|
45 public String getValue() { |
|
46 return value_; |
|
47 } |
|
48 |
|
49 /** |
|
50 * @return |
|
51 */ |
|
52 public String getVariable() { |
|
53 return variable_; |
|
54 } |
|
55 |
|
56 /** |
|
57 * @param string |
|
58 */ |
|
59 public void setRuleSet(String string) { |
|
60 rule_set_ = string; |
|
61 } |
|
62 |
|
63 /** |
|
64 * @param string |
|
65 */ |
|
66 public void setValue(String string) { |
|
67 value_ = string; |
|
68 } |
|
69 |
|
70 /** |
|
71 * @param string |
|
72 */ |
|
73 public void setVariable(String string) { |
|
74 variable_ = string; |
|
75 } |
|
76 |
|
77 } |