Class MethodImplementation
An implementation of a method in an assembly.
Import path
import semmle.code.cil.Method
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getAHandler | Gets a handler in this implementation, if any. |
getALocalVariable | Gets a local variable of this implementation, if any. |
getASuccessorType | Gets a successor to this node, of type |
getAnInstruction | Gets an instruction in this implementation, if any. |
getDisassembly | Gets a string representing the disassembly of this implementation. |
getHandler | Gets the |
getImplementation | Gets the method containing this control flow node. |
getInstruction | Gets the instruction at index |
getLocalVariable | Gets the |
getLocation | Gets the location of this implementation. |
getMethod | Gets the method of this implementation. |
getNumberOfInstructions | Gets the total number of instructions in this implementation. |
getStackSize | Gets the maximum stack size of this implementation. |
toString | Gets a textual representation of this control flow node. |
Inherited predicates
getAPredecessor | Gets a predecessor of this node, if any. | from ControlFlowNode |
getASuccessor | Gets a successor of this node, if any. | from ControlFlowNode |
getAnOperand | Gets an operand of this instruction, if any. | from ControlFlowNode |
getFalseSuccessor | Gets a false successor of this node, if any. | from ControlFlowNode |
getOperand | Gets an instruction that supplies the | from ControlFlowNode |
getOperandType | Gets the type of the | from ControlFlowNode |
getParentExpr | Gets an expression that consumes the output of this instruction on the stack. | from ControlFlowNode |
getPopCount | Gets the number of items this node pops from the stack. | from ControlFlowNode |
getPushCount | Gets the number of items this node pushes onto the stack. This value is either 0 or 1, except for the instruction | from ControlFlowNode |
getStackSizeAfter | Gets the stack size after this instruction. | from ControlFlowNode |
getStackSizeBefore | Gets the stack size before this instruction. | from EntryPoint |
getTrueSuccessor | Gets a true successor of this node, if any. | from ControlFlowNode |
getType | Gets the type of the item pushed onto the stack, if any. | from ControlFlowNode |
isBranch | Holds if this control flow node has more than one successor. | from ControlFlowNode |
isJoin | Holds if this control flow node has more than one predecessor. | from ControlFlowNode |