annot-fieldrw and annot-side-effect options

[Will Benton <willb@cs.wisc.edu>]

Hello,

Is there any more detailed information on these two options beyond 
what's in the usage guide?  (i.e. "Enable the generation of field 
read/write attributes" and "Enable the generation of side-effect 
attributes".)  Are the algorithms or general approaches documented in 
any publications, or should I just read the source?  :-)




thanks,
wb

---
Will Benton <willb@cs.wisc.edu>
"Wir sind Bettler, das ist wahr"
   full contact info at:  http://www.cs.wisc.edu/~willb/willb.vcf