예제 #1
0
 protected override FlightEnabledAnalysisData MergeAnalysisData(FlightEnabledAnalysisData value1, FlightEnabledAnalysisData value2, BasicBlock forBlock)
 => forBlock.DominatesPredecessors() ?
 FlightEnabledAnalysisDomain.Intersect(value1, value2, FlightEnabledAbstractValueDomain.Intersect) :
 FlightEnabledAnalysisDomainInstance.Merge(value1, value2);
예제 #2
0
 private FlightEnabledAnalysis(FlightEnabledAnalysisDomain analysisDomain, FlightEnabledDataFlowOperationVisitor operationVisitor)
     : base(analysisDomain, operationVisitor)
 {
 }