diff options
Diffstat (limited to 'gnu/dist/groff/src/preproc/html/pushback.cpp')
| -rw-r--r-- | gnu/dist/groff/src/preproc/html/pushback.cpp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/gnu/dist/groff/src/preproc/html/pushback.cpp b/gnu/dist/groff/src/preproc/html/pushback.cpp index 7132d247680..d5f50af63af 100644 --- a/gnu/dist/groff/src/preproc/html/pushback.cpp +++ b/gnu/dist/groff/src/preproc/html/pushback.cpp @@ -1,7 +1,7 @@ -/* $NetBSD: pushback.cpp,v 1.1.1.1 2003/06/30 17:52:15 wiz Exp $ */ +/* $NetBSD: pushback.cpp,v 1.1.1.2 2004/07/30 14:45:03 wiz Exp $ */ // -*- C++ -*- -/* Copyright (C) 2000, 2001, 2003 Free Software Foundation, Inc. +/* Copyright (C) 2000, 2001, 2003, 2004 Free Software Foundation, Inc. Written by Gaius Mulley (gaius@glam.ac.uk). This file is part of groff. @@ -276,15 +276,15 @@ int pushBackBuffer::readInt (void) * convertToFloat - converts integers, a and b into a.b */ -static float convertToFloat (int a, int b) +static double convertToFloat (int a, int b) { int c=10; - float f; + double f; while (b>c) { c *= 10; } - f = ((float)a) + (((float)b)/((float)c)); + f = ((double)a) + (((double)b)/((double)c)); return( f ); } @@ -292,7 +292,7 @@ static float convertToFloat (int a, int b) * readNumber - returns a float representing the word just read. */ -float pushBackBuffer::readNumber (void) +double pushBackBuffer::readNumber (void) { int i; char ch; @@ -302,7 +302,7 @@ float pushBackBuffer::readNumber (void) return convertToFloat(i, readInt()); } putPB(ch); - return (float)i; + return (double)i; } /* @@ -314,7 +314,7 @@ float pushBackBuffer::readNumber (void) char *pushBackBuffer::readString (void) { char buffer[MAXPUSHBACKSTACK]; - char *string = 0; + char *str = 0; int i=0; char ch=getPB(); @@ -328,8 +328,8 @@ char *pushBackBuffer::readString (void) } if (i < MAXPUSHBACKSTACK) { buffer[i] = (char)0; - string = (char *)malloc(strlen(buffer)+1); - strcpy(string, buffer); + str = (char *)malloc(strlen(buffer)+1); + strcpy(str, buffer); } - return( string ); + return( str ); } |
