1 package Analysis.TaskStateAnalysis;
7 public class TagWrapper implements Wrapper {
11 public TagWrapper(TagState ts) {
13 this.ts=new HashSet<TagState>();
17 private TagWrapper() {
20 public TagState getState() {
22 return ts.iterator().next();
25 public TagWrapper clone() {
26 TagWrapper tw=new TagWrapper();
28 tw.ts=(HashSet<TagState>)ts.clone();