KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > jacorb > test > bugs > bug351 > RetrievalResultImpl


1 package org.jacorb.test.bugs.bug351;
2
3 /*
4  * JacORB - a free Java ORB
5  *
6  * Copyright (C) 1997-2003 Gerald Brose.
7  *
8  * This library is free software; you can redistribute it and/or
9  * modify it under the terms of the GNU Library General Public
10  * License as published by the Free Software Foundation; either
11  * version 2 of the License, or (at your option) any later version.
12  *
13  * This library is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16  * Library General Public License for more details.
17  *
18  * You should have received a copy of the GNU Library General Public
19  * License along with this library; if not, write to the Free
20  * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
21  */

22
23 /**
24  * @author <a HREF="mailto:spiegel@gnu.org">Andre Spiegel</a>
25  * @version $Id: RetrievalResultImpl.java,v 1.1 2003/08/13 16:27:28 andre.spiegel Exp $
26  */

27 public class RetrievalResultImpl extends RetrievalResult
28 {
29     public RetrievalResultImpl()
30     {
31         super();
32     }
33     
34     public RetrievalResultImpl (float[] scores, String JavaDoc[] ids, int size)
35     {
36         this.scores = scores;
37         this.ids = ids;
38         this.size = size;
39     }
40     
41     public float[] getScores()
42     {
43         return scores;
44     }
45
46     public String JavaDoc[] getIds()
47     {
48         return ids;
49     }
50
51     public int getSize()
52     {
53         return size;
54     }
55
56     public void setScores(float[] scores)
57     {
58         this.scores = scores;
59     }
60
61     public void setIds(String JavaDoc[] ids)
62     {
63         this.ids = ids;
64     }
65
66     public void setSize(int size)
67     {
68         this.size = size;
69     }
70
71 }
72
Popular Tags