1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93
|
<A NAME="line16"></A><html><head>
<title>exposure.c</title>
</head><body>
<h3>exposure.c</h3>
<PRE>
<A NAME="line1"></A>#include "<A HREF="employee.h.html">employee.h</A>"
<A NAME="line2"></A>
<A NAME="line3"></A>char *
<A NAME="line4"></A>employee_getName (employee e)
<A NAME="line5"></A>{
<A NAME="line6"></A> return e->name;
<A NAME="line7"></A>}
<A NAME="line8"></A>
<A NAME="line9"></A>/*@observer@*/ char *
<A NAME="line10"></A>employee_obsName (employee e)
<A NAME="line11"></A>{ return e->name; }
<A NAME="line12"></A>
<A NAME="line13"></A>/*@exposed@*/ char *
<A NAME="line14"></A>employee_exposeName (employee e)
<A NAME="line15"></A>{ return e->name; }
<A NAME="line16"></A>
<A NAME="line17"></A>void
<A NAME="line18"></A>employee_capName (employee e)
<A NAME="line19"></A>{
<A NAME="line20"></A> char *name;
<A NAME="line21"></A>
<A NAME="line22"></A> name = employee_obsName (e);
<A NAME="line23"></A> *name = toupper (*name);
<A NAME="line24"></A>}
<A NAME="line25"></A>
<A NAME="line26"></A>
</pre>
</body></html>
|