blob: 81edef6b2d4d78e13eaf4962197fc357730f241c (
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
32
33
34
35
36
37
|
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();
}
|
