public ExposureInstructionVisitor(ExposureChecker c)
{
ExposureChecker=c;
ts=c.typeSystem;
reportedErrors=new Hashtable();
}
/// <summary>
/// Entry point to check a method.
/// </summary>
/// <param name="t"></param>
/// <param name="method"></param>
public static void Check(TypeSystem t, Method method, Analyzer analyzer) {
if(method==null)
return;
if (method.HasCompilerGeneratedSignature)
return; // REVIEW: this means we don't check default ctors, among other things.
ExposureChecker checker= new ExposureChecker(t,method);
Analyzer.WriteLine("");
ControlFlowGraph cfg=analyzer.GetCFG(method);
if(cfg!=null)
{
checker.Run( cfg, new ExposureState(t));
}
}
