UninitializedType.java revision 2646:ff1998c1ecab
1/* 2 * Copyright (c) 2003, 2012, 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 26package com.sun.tools.javac.jvm; 27 28import com.sun.tools.javac.code.*; 29import com.sun.tools.javac.util.List; 30 31import static com.sun.tools.javac.code.TypeTag.UNINITIALIZED_OBJECT; 32import static com.sun.tools.javac.code.TypeTag.UNINITIALIZED_THIS; 33 34/** These pseudo-types appear in the generated verifier tables to 35 * indicate objects that have been allocated but not yet constructed. 36 * 37 * <p><b>This is NOT part of any supported API. 38 * If you write code that depends on this, you do so at your own risk. 39 * This code and its internal interfaces are subject to change or 40 * deletion without notice.</b> 41 */ 42class UninitializedType extends Type.DelegatedType { 43 44 public static UninitializedType uninitializedThis(Type qtype) { 45 return new UninitializedType(UNINITIALIZED_THIS, qtype, -1, 46 qtype.getMetadata()); 47 } 48 49 public static UninitializedType uninitializedObject(Type qtype, int offset) { 50 return new UninitializedType(UNINITIALIZED_OBJECT, qtype, offset, 51 qtype.getMetadata()); 52 } 53 54 public final int offset; // PC where allocation took place 55 private UninitializedType(TypeTag tag, Type qtype, int offset, 56 TypeMetadata metadata) { 57 super(tag, qtype, metadata); 58 this.offset = offset; 59 } 60 61 @Override 62 public UninitializedType clone(final TypeMetadata md) { 63 return new UninitializedType(tag, qtype, offset, md); 64 } 65 66 Type initializedType() { 67 return qtype; 68 } 69} 70