C# (CSharp) EntryPointPair示例

示例#1

 public PairInstrumentation(AnalysisContext ac, EntryPointPair pair)
 {
     Contract.Requires(ac != null && pair != null);
     this.AC  = ac;
     this.EP1 = pair.EntryPoint1;
     this.EP2 = pair.EntryPoint2;
 }

示例#2

文件： PairParameterAliasAnalysis.cs 项目： ufwt/whoop

 public PairParameterAliasAnalysis(AnalysisContext ac, EntryPointPair pair)
 {
     Contract.Requires(ac != null && pair != null);
     this.AC  = ac;
     this.EP1 = pair.EntryPoint1;
     this.EP2 = pair.EntryPoint2;
 }

示例#3

文件： YieldInstrumentation.cs 项目： ufwt/whoop

 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;
 }

示例#4

文件： AsyncCheckingInstrumentation.cs 项目： ufwt/whoop

        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> >();
        }

示例#5

文件： StaticLocksetAnalyser.cs 项目： ufwt/whoop

 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;
 }

示例#6

 public PairWiseCheckingInstrumentationEngine(AnalysisContext ac, EntryPointPair pair)
 {
     Contract.Requires(ac != null && pair != null);
     this.AC   = ac;
     this.Pair = pair;
 }

示例#7

文件： Factory.cs 项目： ufwt/whoop

 public static IPass CreatePairParameterAliasAnalysis(AnalysisContext ac, EntryPointPair pair)
 {
     return(new PairParameterAliasAnalysis(ac, pair));
 }

示例#8

 public static IPass CreateYieldInstrumentation(AnalysisContext ac, AnalysisContext raceCheckedAc,
                                                EntryPointPair pair, ErrorReporter errorReporter)
 {
     return(new YieldInstrumentation(ac, raceCheckedAc, pair, errorReporter));
 }

示例#9

 public static IPass CreateAsyncCheckingInstrumentation(AnalysisContext ac, EntryPointPair pair)
 {
     return(new AsyncCheckingInstrumentation(ac, pair));
 }

示例#10

 public static IPass CreatePairInstrumentation(AnalysisContext ac, EntryPointPair pair)
 {
     return(new PairInstrumentation(ac, pair));
 }

示例#11

 public ErrorReporter(EntryPointPair pair)
 {
     this.Pair = pair;
     this.UnprotectedResources = new HashSet <string>();
     this.FoundErrors          = false;
 }