public Map<String, Object> genAllCorrInvariant() {
Map<String, Object> invs = new HashMap<String, Object>();
for (Iterator iter = getTggRules().iterator(); iter.hasNext(); ) {
MTggRule tgg = (MTggRule) iter.next();
invs.putAll(tgg.genCorrInvariant());
}
return invs;
}
public Collection getTggRuleNames() {
Collection res = new ArrayList();
Iterator it = fTggRules.values().iterator();
while (it.hasNext()) {
MTggRule tggRule = (MTggRule) it.next();
res.add(tggRule.name());
}
return res;
}
public void setHTMLFile(String htmlFile) {
Map alterTggRules = new TreeMap();
Iterator it = fTggRules.values().iterator();
while (it.hasNext()) {
MTggRule tggRule = (MTggRule) it.next();
tggRule.setfHTMLFile(htmlFile);
alterTggRules.put(tggRule.name(), tggRule);
}
fTggRules.clear();
fTggRules = alterTggRules;
}
public void addTggRule(MTggRule tggRule) {
// TODO Auto-generated method stub
fTggRules.put(tggRule.name(), tggRule);
}
