KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > test > dbc > office > Developer


1 /*
2 * JBoss, Home of Professional Open Source
3 * Copyright 2005, JBoss Inc., and individual contributors as indicated
4 * by the @authors tag. See the copyright.txt in the distribution for a
5 * full listing of individual contributors.
6 *
7 * This is free software; you can redistribute it and/or modify it
8 * under the terms of the GNU Lesser General Public License as
9 * published by the Free Software Foundation; either version 2.1 of
10 * the License, or (at your option) any later version.
11 *
12 * This software is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
16 *
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this software; if not, write to the Free
19 * Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
20 * 02110-1301 USA, or see the FSF site: http://www.fsf.org.
21 */
22 package test.dbc.office;
23
24 /**
25  *
26  * @author <a HREF="mailto:kabir.khan@jboss.org">Kabir Khan</a>
27  * @version $Revision: 37406 $
28  */
29 @org.jboss.aspects.dbc.Dbc
30 @org.jboss.aspects.dbc.Invariant ({"$tgt.name != null"})
31 public class Developer
32 {
33    String JavaDoc name;
34    Computer computer;
35
36    @org.jboss.aspects.dbc.PreCond ({"$0 != null"})
37    @org.jboss.aspects.dbc.PostCond ({"$0 == $tgt.name"})
38    public Developer(String JavaDoc name)
39    {
40       this.name = name;
41    }
42
43    @org.jboss.aspects.dbc.PostCond ({"$rtn != null implies ($rtn.getDeveloper() == null) ||($rtn.getDeveloper() == $tgt)"})
44    public Computer getComputer()
45    {
46       return computer;
47    }
48
49    @org.jboss.aspects.dbc.PostCond ({"$0 == $tgt.getComputer()"})
50    public void setComputer(Computer computer)
51    {
52       this.computer = computer;
53    }
54
55 }
56
Popular Tags