home *** CD-ROM | disk | FTP | other *** search
/ ProfitPress Mega CDROM2 …eeware (MSDOS)(1992)(Eng) / ProfitPress-MegaCDROM2.B6I / TEXT / UTILITY / AWK320.ZIP / NUMBER.AWK < prev    next >
Encoding:
AWK Script  |  1990-02-07  |  289 b   |  13 lines
  1. # determine whether the input is a number
  2. # print it if it is
  3. # AKW p40
  4.  
  5. BEGIN {
  6.     sign = "[+-]?"
  7.     decimal = "[0-9]+[.]?[0-9]*"
  8.     fraction = "[.][0-9]+"
  9.     exponent = "([eE]" sign "[0-9]+)?"
  10.     number = "^" sign "(" decimal "|" fraction ")" exponent "$"
  11. }
  12. $0 ~ number
  13.