KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > objectweb > medor > type > lib > QTypeTuple


1 /**
2  * MEDOR: Middleware Enabling Distributed Object Requests
3  *
4  * Copyright (C) 2001-2003 France Telecom R&D
5  * Contact: alexandre.lefebvre@rd.francetelecom.com
6  *
7  * This library is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU Lesser General Public
9  * License as published by the Free Software Foundation; either
10  * version 2.1 of the License, or (at your option) any later version.
11  *
12  * This library 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 library; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20  *
21  * Initial developers: M. Alia, A. Lefebvre
22  */
23
24 package org.objectweb.medor.type.lib;
25
26 import org.objectweb.jorm.type.api.PType;
27 import org.objectweb.jorm.type.api.PTypeSpace;
28
29 /**
30  * This class defines the extension of PType for Tuples.
31  */
32 public class QTypeTuple extends QType {
33     public final static short TYPECODE_TUPLE = 101;
34
35     protected PType[] attributeTypes = null;
36
37     /**
38      * It constructs the types that represent tuples.
39      * @param types The array of PTypes for the tuple attributes.
40      * @param typespace The type space to which the constructed PType belongs.
41      */
42     public QTypeTuple(PType[] types, PTypeSpace typespace) {
43         super("tuple", typespace);
44         attributeTypes = types;
45     }
46
47     /**
48      * Checks whether the current QTypeTuple is a subtype of another PType.
49      * The other PType must be a QTypeTuple.
50      * @param pt The other PType to be compared to.
51      * @return It return true if this PType conforms to the one passed as
52      * parameter.
53      */
54     public boolean isa(PType pt) {
55         //the other PType must be a QTypeTuple
56 if (!(pt instanceof QTypeTuple) ||
57             (attributeTypes.length != ((QTypeTuple) pt).attributeTypes.length))
58         return false;
59         //check on all attribute of both PTypeTuples.
60 int i = 0;
61         while (i < attributeTypes.length) {
62             if (!attributeTypes[i].isa(((QTypeTuple) pt).attributeTypes[i]))
63             return false;
64         }
65         //gone through all attributes with success
66 return true;
67     }
68
69 }
70
Popular Tags