boolean execute ( InstructionContext ic , Frame inFrame , ArrayList < InstructionContext > executionPredecessors , InstConstraintVisitor icv , ExecutionVisitor ev ) { stack_types . set ( ic . getInstruction ( ) . getPosition ( ) , inFrame ) ; return ic . execute ( inFrame , executionPredecessors , icv , ev ) ; }
Like InstructionContext . execute but also sets stack_types .