* about policy configuration language grammar
@ 2003-03-20 14:56 Giorgio Zanin
0 siblings, 0 replies; only message in thread
From: Giorgio Zanin @ 2003-03-20 14:56 UTC (permalink / raw)
To: selinux
I'm studing the policy configuration language of SELinux.
Anyone knows what is the difference between those non-terminals ending
with "_push" and their versions without that suffix?
I mean, why there is a difference between names and names_push,
identifier and identifier_push, and so on?
Is there any semantic difference or I can consider them the same (maybe
it is just convenient to split some productions for giving different
actions in yacc...)
Thanks
--
This message was distributed to subscribers of the selinux mailing list.
If you no longer wish to subscribe, send mail to majordomo@tycho.nsa.gov with
the words "unsubscribe selinux" without quotes as the message.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2003-03-20 14:55 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2003-03-20 14:56 about policy configuration language grammar Giorgio Zanin
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.