blob: e6f25e8b1b6ad99aa43fee21a8635488e956f721 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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 + ")";
}
}
|