def _pushback(self, pushback_char) :
        # EOF pushback
        if (pushback_char==EOF) :
            if (self.current_!=len(self.buffer_)) :
                self.syntaxError("Internal Error: Attempt to pushback EOF when not at end")
            else :
                return

        if (0 <= self.current_) :
            print "*********************current is", self.current_, self.buffer_
            self.syntaxError("Internal Error: Attempted to pushback beginning of file")
        # Normal char pushback
        else :
            self.current_ -= 1
            if (self.buffer_[self.current_]!=pushback_char) :
                # print "** pushback_char", pushback_char, " buffer", buffer_[current_]
                self.syntaxError("Internal Error: Attempt to pushback diff char")

        self.context_.deleteLastChar()
dataset/ETHPy150Open redhat-imaging/imagefactory/imgfac/picklingtools/parsereader.py/StringReader._pushback/swapped operands of `<=`