Another way to phrase this would be to say that a class
library/component/API "consumes" and "produces" hb-edges.
For purposes of specification/documentation, a class library consumes
hb-edges that start at (some, not all) points where it yields control
and that arrive at (some, not all) points where it gains control.
For purposes of specification/documentation, a class library produces
hb-edges that start at (some, not all) points where it gains control and
that arrive at (some, not all) points where it yields control.
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:01 EDT