projects
/
IRC.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
changes
[IRC.git]
/
Robust
/
src
/
Analysis
/
TaskStateAnalysis
/
ObjWrapper.java
1
package Analysis.TaskStateAnalysis;
2
import IR.*;
3
import IR.Tree.*;
4
import IR.Flat.*;
5
import java.util.*;
6
7
public class ObjWrapper implements Wrapper{
8
Flagstate initfs;
9
HashSet<FlagState> fs;
10
HashSet<TagWrapper> tags;
11
12
public ObjWrapper(FlagState fs) {
13
this.initfs=fs;
14
this.fs=new HashSet<FlagState>();
15
this.fs.add(fs);
16
tags=new HashSet<TagWrapper>();
17
}
18
19
}