%start file /* special start symbol */
%token <string> ALIAS /* an UPPERCASE alias name */
%token <string> NTWKADDR /* w.x.y.z */
+%token <string> NETGROUP /* +NAME */
%token <string> PATH /* an absolute pathname */
%token <string> NAME /* a mixed-case name */
%token <tok> COMMENT /* comment and/or carriage return */
if (addr_matches($1))
host_matches = TRUE;
}
+ | NETGROUP {
+ if (netgr_matches($1, host, NULL))
+ host_matches = TRUE;
+ }
| NAME {
if (strcmp(host, $1) == 0)
host_matches = TRUE;
if (strcmp($1, user) == 0)
user_matches = TRUE;
}
+ | NETGROUP {
+ if (netgr_matches($1, NULL, user))
+ user_matches = TRUE;
+ }
| ALIAS {
if (find_alias($1, USER))
user_matches = TRUE;