StackMapFrame.java

/*******************************************************************************
 * Copyright (c) 2000, 2009 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
package org.eclipse.jdt.internal.core.util;

import org.eclipse.jdt.core.util.ClassFormatException;
import org.eclipse.jdt.core.util.IConstantPool;
import org.eclipse.jdt.core.util.IStackMapFrame;
import org.eclipse.jdt.core.util.IVerificationTypeInfo;

/**
 * Default implementation of IStackMapFrame
 */
public class StackMapFrame extends ClassFileStruct implements IStackMapFrame {
	private static final IVerificationTypeInfo[] EMPTY_LOCALS_OR_STACK_ITEMS= new IVerificationTypeInfo[0];

	private int readOffset;

	private int frameType;

	private int numberOfLocals;

	private int numberOfStackItems;

	private IVerificationTypeInfo[] locals;

	private IVerificationTypeInfo[] stackItems;

	private int offsetDelta;

	/**
	 * Constructor for StackMapFrame.
	 * 
	 * @param classFileBytes
	 * @param constantPool
	 * @param offset
	 * @throws ClassFormatException
	 */
	public StackMapFrame(
			byte[] classFileBytes,
			IConstantPool constantPool,
			int offset) throws ClassFormatException {

		final int type= u1At(classFileBytes, 0, offset);
		this.frameType= type;
		switch (type) {
			case 247: // SAME_LOCALS_1_STACK_ITEM_EXTENDED
				this.offsetDelta= u2At(classFileBytes, 1, offset);
				this.numberOfStackItems= 1;
				this.stackItems= new VerificationInfo[1];
				this.readOffset= 3;
				VerificationInfo info= new VerificationInfo(classFileBytes, constantPool, offset + this.readOffset);
				this.stackItems[0]= info;
				this.readOffset+= info.sizeInBytes();
				this.locals= EMPTY_LOCALS_OR_STACK_ITEMS;
				this.numberOfLocals= 0;
				break;
			case 248:
			case 249:
			case 250:
				// CHOP
				this.offsetDelta= u2At(classFileBytes, 1, offset);
				this.numberOfStackItems= 0;
				this.stackItems= EMPTY_LOCALS_OR_STACK_ITEMS;
				this.readOffset= 3;
				this.locals= EMPTY_LOCALS_OR_STACK_ITEMS;
				this.numberOfLocals= 0;
				break;
			case 251:
				// SAME_FRAME_EXTENDED
				this.offsetDelta= u2At(classFileBytes, 1, offset);
				this.numberOfStackItems= 0;
				this.stackItems= EMPTY_LOCALS_OR_STACK_ITEMS;
				this.readOffset= 3;
				this.locals= EMPTY_LOCALS_OR_STACK_ITEMS;
				this.numberOfLocals= 0;
				break;
			case 252:
			case 253:
			case 254:
				// APPEND
				this.offsetDelta= u2At(classFileBytes, 1, offset);
				this.numberOfStackItems= 0;
				this.stackItems= EMPTY_LOCALS_OR_STACK_ITEMS;
				this.readOffset= 3;
				int diffLocals= type - 251;
				this.numberOfLocals= diffLocals;
				this.locals= new IVerificationTypeInfo[diffLocals];
				for (int i= 0; i < diffLocals; i++) {
					VerificationInfo verificationInfo= new VerificationInfo(classFileBytes, constantPool, offset + this.readOffset);
					this.locals[i]= verificationInfo;
					this.readOffset+= verificationInfo.sizeInBytes();
				}
				break;
			case 255:
				// FULL_FRAME
				this.offsetDelta= u2At(classFileBytes, 1, offset);
				int tempLocals= u2At(classFileBytes, 3, offset);
				this.numberOfLocals= tempLocals;
				this.readOffset= 5;
				if (tempLocals != 0) {
					this.locals= new IVerificationTypeInfo[tempLocals];
					for (int i= 0; i < tempLocals; i++) {
						VerificationInfo verificationInfo= new VerificationInfo(classFileBytes, constantPool, offset + this.readOffset);
						this.locals[i]= verificationInfo;
						this.readOffset+= verificationInfo.sizeInBytes();
					}
				} else {
					this.locals= EMPTY_LOCALS_OR_STACK_ITEMS;
				}
				int tempStackItems= u2At(classFileBytes, this.readOffset, offset);
				this.readOffset+= 2;
				this.numberOfStackItems= tempStackItems;
				if (tempStackItems != 0) {
					this.stackItems= new IVerificationTypeInfo[tempStackItems];
					for (int i= 0; i < tempStackItems; i++) {
						VerificationInfo verificationInfo= new VerificationInfo(classFileBytes, constantPool, offset + this.readOffset);
						this.stackItems[i]= verificationInfo;
						this.readOffset+= verificationInfo.sizeInBytes();
					}
				} else {
					this.stackItems= EMPTY_LOCALS_OR_STACK_ITEMS;
				}
				break;
			default:
				if (type <= 63) {
					// SAME_FRAME
					this.offsetDelta= type;
					this.numberOfStackItems= 0;
					this.stackItems= EMPTY_LOCALS_OR_STACK_ITEMS;
					this.locals= EMPTY_LOCALS_OR_STACK_ITEMS;
					this.numberOfLocals= 0;
					this.readOffset= 1;
				} else if (type <= 127) {
					// SAME_LOCALS_1_STACK_ITEM
					this.offsetDelta= type - 64;
					this.numberOfStackItems= 1;
					this.stackItems= new VerificationInfo[1];
					this.readOffset= 1;
					info= new VerificationInfo(classFileBytes, constantPool, offset + this.readOffset);
					this.stackItems[0]= info;
					this.readOffset+= info.sizeInBytes();
					this.locals= EMPTY_LOCALS_OR_STACK_ITEMS;
					this.numberOfLocals= 0;
				}
		}
	}

	int sizeInBytes() {
		return this.readOffset;
	}

	public int getFrameType() {
		return this.frameType;
	}

	public IVerificationTypeInfo[] getLocals() {
		return this.locals;
	}

	public int getNumberOfLocals() {
		return this.numberOfLocals;
	}

	public int getNumberOfStackItems() {
		return this.numberOfStackItems;
	}

	public int getOffsetDelta() {
		return this.offsetDelta;
	}

	public IVerificationTypeInfo[] getStackItems() {
		return this.stackItems;
	}
}