Class Make::Consistency::SimpleSuccessorType
Import path
import codeql.controlflow.CfgDirect supertypes
Inherited predicates
| toString | Gets a textual representation of this successor type. | from SuccessorType |
import codeql.controlflow.Cfg| toString | Gets a textual representation of this successor type. | from SuccessorType |