Member predicate Files::File::emptyLine

Whether line n is empty (it contains neither code nor comment).

predicate emptyLine(int n)