#!/usr/bin/mawk -f # eatc.awk # another program to remove comments # { while( t = index($0 , "/*") ) { printf "%s" , substr($0,1,t-1) $0 = eat_comment( substr($0, t+2) ) } print } function eat_comment(s, t) { #replace comment by one space printf " " while ( (t = index(s, "*/")) == 0 ) if ( getline s == 0 ) { # input error -- unterminated comment system("/bin/sh -c 'echo unterminated comment' 1>&2") exit 1 } return substr(s,t+2) }
Name | Type | Size | Permission | Actions |
---|---|---|---|---|
ct_length.awk | File | 407 B | 0755 |
|
decl.awk | File | 2.97 KB | 0755 |
|
deps.awk | File | 1.28 KB | 0755 |
|
eatc.awk | File | 492 B | 0755 |
|
gdecl.awk | File | 2.73 KB | 0755 |
|
hcal | File | 13.72 KB | 0755 |
|
hical | File | 2.89 KB | 0755 |
|
nocomment.awk | File | 590 B | 0755 |
|
primes.awk | File | 1.03 KB | 0755 |
|
qsort.awk | File | 1.07 KB | 0755 |
|