本文整理匯總了C#中System.Program.Blocks方法的典型用法代碼示例。如果您正苦於以下問題:C# Program.Blocks方法的具體用法?C# Program.Blocks怎麽用?C# Program.Blocks使用的例子?那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類System.Program
的用法示例。
在下文中一共展示了Program.Blocks方法的1個代碼示例,這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚,您的評價將有助於係統推薦出更棒的C#代碼示例。
示例1: AnnotationReachabilityChecker
internal AnnotationReachabilityChecker(Program prog, IEnumerable<string> AnnotationIdentifiers) {
this.prog = prog;
this.AnnotationIdentifiers = AnnotationIdentifiers;
this.reachabilityGraph = new InterproceduralReachabilityGraph(prog);
this.annotationToOccurences = new Dictionary<string,HashSet<object>>();
// Add all annotation occurrences in blocks
foreach(Block b in prog.Blocks()) {
foreach(var assertCmd in b.Cmds.OfType<AssertCmd>()) {
string c;
if(Houdini.MatchCandidate(assertCmd.Expr, AnnotationIdentifiers, out c)) {
AddAnnotationOccurrence(c, b);
} else {
var tag = AnnotationDependenceAnalyser.GetTagFromNonCandidateAttributes(assertCmd.Attributes);
if (tag != null) {
AddAnnotationOccurrence(tag, b);
}
}
}
}
// Add all annotation occurrences in pre and post conditions
foreach(var proc in prog.NonInlinedProcedures()) {
foreach(Requires r in proc.Requires) {
string c;
if(Houdini.MatchCandidate(r.Condition, AnnotationIdentifiers, out c)) {
AddAnnotationOccurrence(c, new Tuple<string, PrePost>(proc.Name, PrePost.PRE));
} else {
string tag = AnnotationDependenceAnalyser.GetTagFromNonCandidateAttributes(r.Attributes);
if(tag != null) {
AddAnnotationOccurrence(tag, new Tuple<string, PrePost>(proc.Name, PrePost.PRE));
}
}
}
foreach(Ensures e in proc.Ensures) {
string c;
if(Houdini.MatchCandidate(e.Condition, AnnotationIdentifiers, out c)) {
AddAnnotationOccurrence(c, new Tuple<string, PrePost>(proc.Name, PrePost.POST));
} else {
string tag = AnnotationDependenceAnalyser.GetTagFromNonCandidateAttributes(e.Attributes);
if(tag != null) {
AddAnnotationOccurrence(tag, new Tuple<string, PrePost>(proc.Name, PrePost.PRE));
}
}
}
}
}