home *** CD-ROM | disk | FTP | other *** search
/ Programmer 7500 / MAX_PROGRAMMERS.iso / CLIPPER / MISC / AWK210.ZIP / NUMBER.AWK < prev    next >
Encoding:
AWK Script  |  1988-03-06  |  212 b   |  9 lines
  1. BEGIN {
  2.     sign = "[+-]?"
  3.     decimal = "[0-9]+[.]?[0-9]*"
  4.     fraction = "[.][0-9]+"
  5.     exponent = "([eE]" sign "[0-9]+)?"
  6.     number = "^" sign "(" decimal "|" fraction ")" exponent "$"
  7. }
  8. $0 ~ number
  9.