blob: 9b3f8fb8e3381b4c76c29f1d9ae17b06ad68ad91 (
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
|
package org.checkerframework.dataflow.cfg.block;
public class SpecialBlockImpl extends SingleSuccessorBlockImpl implements
SpecialBlock {
/** The type of this special basic block. */
protected SpecialBlockType specialType;
public SpecialBlockImpl(SpecialBlockType type) {
this.specialType = type;
this.type = BlockType.SPECIAL_BLOCK;
}
@Override
public SpecialBlockType getSpecialType() {
return specialType;
}
@Override
public String toString() {
return "SpecialBlock(" + specialType + ")";
}
}
|