Lines Matching defs:stack_push
668 Result stack_push = StackPush(object, key);
669 if (stack_push != SUCCESS) return stack_push;
807 Result stack_push = StackPush(object, key);
808 if (stack_push != SUCCESS) return stack_push;
825 Result stack_push = StackPush(object, key);
826 if (stack_push != SUCCESS) return stack_push;
899 Result stack_push = StackPush(object, key);
900 if (stack_push != SUCCESS) return stack_push;