| package org.aspectj.apache.bcel.generic; |
| |
| /* ==================================================================== |
| * The Apache Software License, Version 1.1 |
| * |
| * Copyright (c) 2001 The Apache Software Foundation. All rights |
| * reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions |
| * are met: |
| * |
| * 1. Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * |
| * 2. Redistributions in binary form must reproduce the above copyright |
| * notice, this list of conditions and the following disclaimer in |
| * the documentation and/or other materials provided with the |
| * distribution. |
| * |
| * 3. The end-user documentation included with the redistribution, |
| * if any, must include the following acknowledgment: |
| * "This product includes software developed by the |
| * Apache Software Foundation (http://www.apache.org/)." |
| * Alternately, this acknowledgment may appear in the software itself, |
| * if and wherever such third-party acknowledgments normally appear. |
| * |
| * 4. The names "Apache" and "Apache Software Foundation" and |
| * "Apache BCEL" must not be used to endorse or promote products |
| * derived from this software without prior written permission. For |
| * written permission, please contact apache@apache.org. |
| * |
| * 5. Products derived from this software may not be called "Apache", |
| * "Apache BCEL", nor may "Apache" appear in their name, without |
| * prior written permission of the Apache Software Foundation. |
| * |
| * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED |
| * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
| * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE |
| * DISCLAIMED. IN NO EVENT SHALL THE APACHE SOFTWARE FOUNDATION OR |
| * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF |
| * USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND |
| * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, |
| * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT |
| * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF |
| * SUCH DAMAGE. |
| * ==================================================================== |
| * |
| * This software consists of voluntary contributions made by many |
| * individuals on behalf of the Apache Software Foundation. For more |
| * information on the Apache Software Foundation, please see |
| * <http://www.apache.org/>. |
| */ |
| |
| import org.aspectj.apache.bcel.Constants; |
| import org.aspectj.apache.bcel.classfile.ConstantPool; |
| import org.aspectj.apache.bcel.classfile.LocalVariable; |
| |
| /** |
| * This class represents a local variable within a method. It contains its scope, name and type. The generated LocalVariable object |
| * can be obtained with getLocalVariable which needs the instruction list and the constant pool as parameters. |
| * |
| * @version $Id: LocalVariableGen.java,v 1.7 2008/08/28 00:04:23 aclement Exp $ |
| * @author <A HREF="mailto:markus.dahm@berlin.de">M. Dahm</A> |
| * @see LocalVariable |
| * @see MethodGen |
| */ |
| public class LocalVariableGen implements InstructionTargeter, Cloneable, java.io.Serializable { |
| private int index; |
| private String name; |
| private Type type; |
| private InstructionHandle start, end; |
| |
| /** |
| * Generate a local variable that with index `index'. Note that double and long variables need two indexs. Index indices have to |
| * be provided by the user. |
| * |
| * @param index index of local variable |
| * @param name its name |
| * @param type its type |
| * @param start from where the instruction is valid (null means from the start) |
| * @param end until where the instruction is valid (null means to the end) |
| */ |
| public LocalVariableGen(int index, String name, Type type, InstructionHandle start, InstructionHandle end) { |
| if (index < 0 || index > Constants.MAX_SHORT) { |
| throw new ClassGenException("Invalid index index: " + index); |
| } |
| |
| this.name = name; |
| this.type = type; |
| this.index = index; |
| setStart(start); |
| setEnd(end); |
| } |
| |
| /** |
| * Get LocalVariable object. |
| * |
| * This relies on that the instruction list has already been dumped to byte code or or that the `setPositions' methods has been |
| * called for the instruction list. |
| * |
| * Note that for local variables whose scope end at the last instruction of the method's code, the JVM specification is |
| * ambiguous: both a start_pc+length ending at the last instruction and start_pc+length ending at first index beyond the end of |
| * the code are valid. |
| * |
| * @param il instruction list (byte code) which this variable belongs to |
| * @param cp constant pool |
| */ |
| public LocalVariable getLocalVariable(ConstantPool cp) { |
| int start_pc = start.getPosition(); |
| int length = end.getPosition() - start_pc; |
| |
| if (length > 0) { |
| length += end.getInstruction().getLength(); |
| } |
| |
| int name_index = cp.addUtf8(name); |
| int signature_index = cp.addUtf8(type.getSignature()); |
| |
| return new LocalVariable(start_pc, length, name_index, signature_index, index, cp); |
| } |
| |
| public void setIndex(int index) { |
| this.index = index; |
| } |
| |
| public int getIndex() { |
| return index; |
| } |
| |
| public void setName(String name) { |
| this.name = name; |
| } |
| |
| public String getName() { |
| return name; |
| } |
| |
| public void setType(Type type) { |
| this.type = type; |
| } |
| |
| public Type getType() { |
| return type; |
| } |
| |
| public InstructionHandle getStart() { |
| return start; |
| } |
| |
| public InstructionHandle getEnd() { |
| return end; |
| } |
| |
| public void setStart(InstructionHandle start) { |
| InstructionBranch.notifyTarget(this.start, start, this); |
| this.start = start; |
| } |
| |
| public void setEnd(InstructionHandle end) { |
| InstructionBranch.notifyTarget(this.end, end, this); |
| this.end = end; |
| } |
| |
| /** |
| * @param old_ih old target, either start or end |
| * @param new_ih new target |
| */ |
| public void updateTarget(InstructionHandle old_ih, InstructionHandle new_ih) { |
| boolean targeted = false; |
| |
| if (start == old_ih) { |
| targeted = true; |
| setStart(new_ih); |
| } |
| |
| if (end == old_ih) { |
| targeted = true; |
| setEnd(new_ih); |
| } |
| |
| if (!targeted) { |
| throw new ClassGenException("Not targeting " + old_ih + ", but {" + start + ", " + end + "}"); |
| } |
| } |
| |
| /** |
| * @return true, if ih is target of this variable |
| */ |
| public boolean containsTarget(InstructionHandle ih) { |
| return start == ih || end == ih; |
| } |
| |
| /** |
| * We consider to local variables to be equal, if the use the same index and are valid in the same range. |
| */ |
| public boolean equals(Object o) { |
| if (!(o instanceof LocalVariableGen)) { |
| return false; |
| } |
| |
| LocalVariableGen l = (LocalVariableGen) o; |
| return l.index == index && l.start == start && l.end == end; |
| } |
| |
| public String toString() { |
| return "LocalVariableGen(" + name + ", " + type + ", " + start + ", " + end + ")"; |
| } |
| |
| public Object clone() { |
| try { |
| return super.clone(); |
| } catch (CloneNotSupportedException e) { |
| System.err.println(e); |
| return null; |
| } |
| } |
| } |