View Javadoc
1   /*
2    * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved.
3    * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4    *
5    * This code is free software; you can redistribute it and/or modify it
6    * under the terms of the GNU General Public License version 2 only, as
7    * published by the Free Software Foundation.  Oracle designates this
8    * particular file as subject to the "Classpath" exception as provided
9    * by Oracle in the LICENSE file that accompanied this code.
10   *
11   * This code is distributed in the hope that it will be useful, but WITHOUT
12   * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13   * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14   * version 2 for more details (a copy is included in the LICENSE file that
15   * accompanied this code).
16   *
17   * You should have received a copy of the GNU General Public License version
18   * 2 along with this work; if not, write to the Free Software Foundation,
19   * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20   *
21   * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22   * or visit www.oracle.com if you need additional information or have any
23   * questions.
24   */
25  
26  package com.sun.tools.internal.xjc.model;
27  
28  import com.sun.codemodel.internal.JCodeModel;
29  import com.sun.codemodel.internal.JType;
30  
31  /**
32   * Symbol space for ID/IDREF.
33   *
34   * In XJC, the whole ID space is considered to be splitted into
35   * one or more "symbol space". For an IDREF to match an ID, we impose
36   * additional restriction to the one stated in the XML rec.
37   *
38   * <p>
39   * That is, XJC'll require that the IDREF belongs to the same symbol
40   * space as the ID. Having this concept allows us to assign more
41   * specific type to IDREF.
42   *
43   * <p>
44   * See the design document for detail.
45   *
46   * @author
47   *    <a href="mailto:kohsuke.kawaguchi@sun.com">Kohsuke KAWAGUCHI</a>
48   */
49  public class SymbolSpace
50  {
51      private JType type;
52      private final JCodeModel codeModel;
53  
54      public SymbolSpace( JCodeModel _codeModel ) {
55          this.codeModel = _codeModel;
56      }
57  
58      /**
59       * Gets the Java type of this symbol space.
60       *
61       * <p>
62       * A symbol space is said to have a Java type X if all classes
63       * pointed by IDs belonging to this symbol space are assignable
64       * to X.
65       */
66      public JType getType() {
67          if(type==null)  return codeModel.ref(Object.class);
68          return type;
69      }
70  
71      public void setType( JType _type ) {
72          if( this.type==null )
73              this.type = _type;
74      }
75  
76      public String toString() {
77          if(type==null)  return "undetermined";
78          else            return type.name();
79      }
80  }