Class Make :: Consistency :: RelevantDefinitionExt
A definition that is relevant for the consistency queries.
Import path
import codeql.ssa.Ssa
Direct supertypes
Indirect supertypes
Predicates
hasLocationInfo |
Override this predicate to ensure locations in consistency results. |
Inherited predicates
definesAt |
Holds if this SSA definition defines |
from DefinitionExt |
getBasicBlock |
Gets the basic block to which this SSA definition belongs. |
from DefinitionExt |
getSourceVariable |
Gets the source variable underlying this SSA definition. |
from DefinitionExt |
toString |
Gets a textual representation of this SSA definition. |
from DefinitionExt |