blob: 2d58550568b4a75fbb7f4688e395cc6c3e63eb80 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
package org.checkerframework.dataflow.cfg.block;
/**
* Represents a basic block in a control flow graph.
*
* @author Stefan Heule
*/
public interface Block {
/** The types of basic blocks */
public static enum BlockType {
/** A regular basic block. */
REGULAR_BLOCK,
/** A conditional basic block. */
CONDITIONAL_BLOCK,
/** A special basic block. */
SPECIAL_BLOCK,
/** A basic block that can throw an exception. */
EXCEPTION_BLOCK,
}
/** @return the type of this basic block */
BlockType getType();
/** @return the unique identifier of this block */
long getId();
}
|
