KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > objectweb > joram > mom > notifications > Monit_GetUsersRep


1 /*
2  * JORAM: Java(TM) Open Reliable Asynchronous Messaging
3  * Copyright (C) 2003 - ScalAgent Distributed Technologies
4  *
5  * This library is free software; you can redistribute it and/or
6  * modify it under the terms of the GNU Lesser General Public
7  * License as published by the Free Software Foundation; either
8  * version 2.1 of the License, or any later version.
9  *
10  * This library is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13  * Lesser General Public License for more details.
14  *
15  * You should have received a copy of the GNU Lesser General Public
16  * License along with this library; if not, write to the Free Software
17  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
18  * USA.
19  *
20  * Initial developer(s): Frederic Maistre (INRIA)
21  * Contributor(s):
22  */

23 package org.objectweb.joram.mom.notifications;
24
25 import java.util.Vector JavaDoc;
26
27
28 /**
29  * A <code>Monit_GetUsersRep</code> reply is used by a destination for
30  * sending to an administrator client the identifiers of its readers or
31  * writers.
32  */

33 public class Monit_GetUsersRep extends AdminReply
34 {
35   /** Vector of readers' or writers' identifiers. */
36   private Vector JavaDoc users;
37
38
39   /**
40    * Constructs a <code>Monit_GetUsersRep</code> instance.
41    *
42    * @param request The request this reply replies to.
43    * @param readers The vector or readers' or writers' identifiers.
44    */

45   public Monit_GetUsersRep(AdminRequest request, Vector JavaDoc users)
46   {
47     super(request, true, null);
48     this.users = users;
49   }
50
51   
52   /** Returns the vector of readers' or writers' identifiers. */
53   public Vector JavaDoc getUsers()
54   {
55     if (users == null)
56       return new Vector JavaDoc();
57     return users;
58   }
59 }
60
Popular Tags