File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed
cpp/ql/src/semmle/code/cpp/controlflow Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 1
1
/**
2
- * Provides a library for reasoning about control- flow at the granularity of basic blocks.
2
+ * Provides a library for reasoning about control flow at the granularity of basic blocks.
3
3
* This is usually much more efficient than reasoning directly at the level of `ControlFlowNode`s.
4
4
*/
5
5
@@ -159,13 +159,13 @@ class BasicBlock extends ControlFlowNodeBase {
159
159
/** Gets the `ControlFlowNode` at position `pos` in this basic block. */
160
160
ControlFlowNode getNode ( int pos ) { basic_block_member ( result , this , pos ) }
161
161
162
- /** Gets all `ControlFlowNode`s in this basic block. */
162
+ /** Gets a `ControlFlowNode` in this basic block. */
163
163
ControlFlowNode getANode ( ) { basic_block_member ( result , this , _) }
164
164
165
- /** Gets all `BasicBlock`s that are direct successors of this basic block. */
165
+ /** Gets a `BasicBlock` that is a direct successor of this basic block. */
166
166
BasicBlock getASuccessor ( ) { bb_successor ( this , result ) }
167
167
168
- /** Gets all `BasicBlock`s that are direct predecessors of this basic block. */
168
+ /** Gets a `BasicBlock` that is a direct predecessor of this basic block. */
169
169
BasicBlock getAPredecessor ( ) { bb_successor ( result , this ) }
170
170
171
171
/**
Original file line number Diff line number Diff line change 1
1
/**
2
- * Provides a library for reasoning about control- flow at the granularity of
2
+ * Provides a library for reasoning about control flow at the granularity of
3
3
* individual nodes in the control-flow graph.
4
4
*/
5
5
You can’t perform that action at this time.
0 commit comments