예제 #1
0
 /// <summary cref="AssertCleared()"/>
 readonly partial void AssertCleared()
 {
     blockSet.Clear();
     EntryBlock.Assert(!HasAny && blockSet.Count == 0);
 }
예제 #2
0
 /// <summary cref="AssertContained(BasicBlock, bool)"/>
 readonly partial void AssertContained(BasicBlock block, bool contained) =>
 EntryBlock.Assert(blockSet.Contains(block) == contained);
예제 #3
0
 /// <summary cref="AssertRemoved(BasicBlock, bool)"/>
 readonly partial void AssertRemoved(BasicBlock block, bool removed) =>
 EntryBlock.Assert(blockSet.Remove(block) == removed);
예제 #4
0
 /// <summary cref="AssertAdd(BasicBlock, bool)"/>
 readonly partial void AssertAdd(BasicBlock block, bool added) =>
 EntryBlock.Assert(blockSet.Add(block) == added);