Exemplo n.º 1
0
        public PairWatchdogInformationAnalysis(AnalysisContext ac, EntryPoint ep)
        {
            Contract.Requires(ac != null && ep != null);
            this.AC = ac;
            this.EP = ep;

            this.PairEntryPoints = DeviceDriver.GetPairs(ep);
            this.PairAccesses    = new HashSet <Expr>();

            this.Region = this.AC.InstrumentationRegions.Find(val =>
                                                              val.Implementation().Name.Equals(ep.Name));
        }