Home | History | Annotate | Download | only in preverification 
      1 /*
      2  * ProGuard -- shrinking, optimization, obfuscation, and preverification
      3  *             of Java bytecode.
      4  *
      5  * Copyright (c) 2002-2014 Eric Lafortune (eric (at) graphics.cornell.edu)
      6  *
      7  * This program is free software; you can redistribute it and/or modify it
      8  * under the terms of the GNU General Public License as published by the Free
      9  * Software Foundation; either version 2 of the License, or (at your option)
     10  * any later version.
     11  *
     12  * This program is distributed in the hope that it will be useful, but WITHOUT
     13  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
     14  * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
     15  * more details.
     16  *
     17  * You should have received a copy of the GNU General Public License along
     18  * with this program; if not, write to the Free Software Foundation, Inc.,
     19  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
     20  */
     21 package proguard.classfile.attribute.preverification;
     22 
     23 import proguard.classfile.*;
     24 import proguard.classfile.attribute.CodeAttribute;
     25 import proguard.classfile.attribute.preverification.visitor.VerificationTypeVisitor;
     26 
     27 /**
     28  * This VerificationType represents a Uninitialized type.
     29  *
     30  * @author Eric Lafortune
     31  */
     32 public class UninitializedType extends VerificationType
     33 {
     34     public int u2newInstructionOffset;
     35 
     36 
     37     /**
     38      * Creates an uninitialized UninitializedType.
     39      */
     40     public UninitializedType()
     41     {
     42     }
     43 
     44 
     45     /**
     46      * Creates an UninitializedType pointing to the given 'new' instruction.
     47      */
     48     public UninitializedType(int u2newInstructionOffset)
     49     {
     50         this.u2newInstructionOffset = u2newInstructionOffset;
     51     }
     52 
     53 
     54     // Implementations for VerificationType.
     55 
     56     public int getTag()
     57     {
     58         return UNINITIALIZED_TYPE;
     59     }
     60 
     61 
     62     public void accept(Clazz clazz, Method method, CodeAttribute codeAttribute, int instructionOffset, VerificationTypeVisitor verificationTypeVisitor)
     63     {
     64         verificationTypeVisitor.visitUninitializedType(clazz, method, codeAttribute, instructionOffset, this);
     65     }
     66 
     67 
     68     public void stackAccept(Clazz clazz, Method method, CodeAttribute codeAttribute, int instructionOffset, int stackIndex, VerificationTypeVisitor verificationTypeVisitor)
     69     {
     70         verificationTypeVisitor.visitStackUninitializedType(clazz, method, codeAttribute, instructionOffset, stackIndex, this);
     71     }
     72 
     73 
     74     public void variablesAccept(Clazz clazz, Method method, CodeAttribute codeAttribute, int instructionOffset, int variableIndex, VerificationTypeVisitor verificationTypeVisitor)
     75     {
     76         verificationTypeVisitor.visitVariablesUninitializedType(clazz, method, codeAttribute, instructionOffset, variableIndex, this);
     77     }
     78 
     79 
     80     // Implementations for Object.
     81 
     82     public boolean equals(Object object)
     83     {
     84         if (!super.equals(object))
     85         {
     86             return false;
     87         }
     88 
     89         UninitializedType other = (UninitializedType)object;
     90 
     91         return this.u2newInstructionOffset == other.u2newInstructionOffset;
     92     }
     93 
     94 
     95     public int hashCode()
     96     {
     97         return super.hashCode() ^
     98                u2newInstructionOffset;
     99     }
    100 
    101 
    102     public String toString()
    103     {
    104         return "u:" + u2newInstructionOffset;
    105     }
    106 }
    107