public PairInstrumentation(AnalysisContext ac, EntryPointPair pair)
{
Contract.Requires(ac != null && pair != null);
this.AC = ac;
this.EP1 = pair.EntryPoint1;
this.EP2 = pair.EntryPoint2;
}
public PairParameterAliasAnalysis(AnalysisContext ac, EntryPointPair pair)
{
Contract.Requires(ac != null && pair != null);
this.AC = ac;
this.EP1 = pair.EntryPoint1;
this.EP2 = pair.EntryPoint2;
}
public YieldInstrumentation(AnalysisContext ac, AnalysisContext raceCheckedAc,
EntryPointPair pair, ErrorReporter errorReporter)
{
Contract.Requires(ac != null && raceCheckedAc != null && pair != null && errorReporter != null);
this.AC = ac;
this.RaceCheckedAC = raceCheckedAc;
this.Pair = pair;
this.ErrorReporter = errorReporter;
}
public AsyncCheckingInstrumentation(AnalysisContext ac, EntryPointPair pair)
{
Contract.Requires(ac != null && pair != null);
this.AC = ac;
this.EP1 = pair.EntryPoint1;
this.EP2 = pair.EntryPoint2;
this.AlreadyCalledFuncs = new List <Implementation>();
this.InParams = new Dictionary <string, Tuple <int, IdentifierExpr, Variable> >();
}
public StaticLocksetAnalyser(AnalysisContext ac, EntryPointPair pair, ErrorReporter errorReporter,
PipelineStatistics stats)
{
Contract.Requires(ac != null && pair != null && errorReporter != null && stats != null);
this.AC = ac;
this.EP1 = pair.EntryPoint1;
this.EP2 = pair.EntryPoint2;
this.ErrorReporter = errorReporter;
this.Stats = stats;
}
public PairWiseCheckingInstrumentationEngine(AnalysisContext ac, EntryPointPair pair)
{
Contract.Requires(ac != null && pair != null);
this.AC = ac;
this.Pair = pair;
}
public static IPass CreatePairParameterAliasAnalysis(AnalysisContext ac, EntryPointPair pair)
{
return(new PairParameterAliasAnalysis(ac, pair));
}
public static IPass CreateYieldInstrumentation(AnalysisContext ac, AnalysisContext raceCheckedAc,
EntryPointPair pair, ErrorReporter errorReporter)
{
return(new YieldInstrumentation(ac, raceCheckedAc, pair, errorReporter));
}
public static IPass CreateAsyncCheckingInstrumentation(AnalysisContext ac, EntryPointPair pair)
{
return(new AsyncCheckingInstrumentation(ac, pair));
}
public static IPass CreatePairInstrumentation(AnalysisContext ac, EntryPointPair pair)
{
return(new PairInstrumentation(ac, pair));
}
public ErrorReporter(EntryPointPair pair)
{
this.Pair = pair;
this.UnprotectedResources = new HashSet <string>();
this.FoundErrors = false;
}
