Method endFrameType

python/executor.py:829–832

(self, type)

        self.stack.append(frame)

    def endFrameType(self, type):
        while type != self.stack[-1].type:
            self.endFrame()
        self.endFrame()

    def startFrame(self, type, childset):
        frame = CaptureContext(type, childset)