public HashSet <string> getInstrumentedProcedures() { var t = new HashSet <string>(); t.Add(inst.getContextSwitchProcedure().Name); return(t); }
public HashSet <string> getInstrumentedProcedures() { var t = new HashSet <string>(); t.Add(inst.getContextSwitchProcedure().Name); return(t); }