(self, args)
return eof
EOF: get end-of-file.
EOF: get end-of-file.
EOF : get end - of - file .
def eof_(self, args):
        """EOF: get end-of-file."""
        num, = args
        num = values.to_integer(num)
        eof = self._values.new_integer()
        if not num.is_zero() and self._get_from_integer(num, b'IR').eof():
            eof = eof.from_int(-1)
        return eof
def eof_ ( self , args ) : num , = args num = values . to_integer ( num ) eof = self . _values . new_integer ( ) if not num . is_zero ( ) and self . _get_from_integer ( num , b'IR' ) . eof ( ) : eof = eof . from_int ( - 1 ) return eof