Frame.java

package st.gravel.support.compiler.jvm;

/*
	This file is automatically generated from typed smalltalk source. Do not edit by hand.
	(C) AG5.com
*/

import java.math.BigInteger;
import st.gravel.support.jvm.NonLocalReturn;
import st.gravel.support.compiler.jvm.JVMInstruction;
import st.gravel.support.compiler.jvm.JVMInstruction.JVMInstruction_Factory;
import st.gravel.support.compiler.jvm.JVMStack;
import st.gravel.support.compiler.jvm.JVMInstructionVisitor;
import st.gravel.support.compiler.jvm.JVMType;
import st.gravel.support.compiler.jvm.JVMBottomType;

public class Frame extends JVMInstruction implements Cloneable {

	public static Frame_Factory factory = new Frame_Factory();

	JVMStack _endStack;

	JVMInstruction[] _instructions;

	public static class Frame_Factory extends JVMInstruction_Factory {

		public Frame basicNew() {
			Frame newInstance = new Frame();
			newInstance.initialize();
			return newInstance;
		}

		public Frame empty() {
			return this.instructions_endStack_(new JVMInstruction[] {}, JVMStack.factory.basicNew());
		}

		public Frame instructions_endStack_(final JVMInstruction[] _anArray, final JVMStack _aJVMStack) {
			return this.basicNew().initializeInstructions_endStack_(_anArray, _aJVMStack);
		}
	}

	static public Frame _empty(Object receiver) {
		return factory.empty();
	}

	static public Frame _instructions_endStack_(Object receiver, final JVMInstruction[] _anArray, final JVMStack _aJVMStack) {
		return factory.instructions_endStack_(_anArray, _aJVMStack);
	}

	@Override
	public <X> X accept_(final JVMInstructionVisitor<X> _visitor) {
		return _visitor.visitFrame_(this);
	}

	@Override
	public Frame asFrame() {
		return this;
	}

	public Frame copy() {
		try {
			Frame _temp1 = (Frame) this.clone();
			_temp1.postCopy();
			return _temp1;
		} catch (CloneNotSupportedException e) {
			throw new RuntimeException(e);
		}
	}

	@Override
	public JVMInstruction effectStack_(final JVMStack _aJVMStack) {
		_endStack.elementsDo_(new st.gravel.support.jvm.Block1<Object, JVMType>() {

			@Override
			public Object value_(final JVMType _each) {
				return _aJVMStack.push_(_each);
			}
		});
		return this;
	}

	public JVMStack endStack() {
		return _endStack;
	}

	public Frame_Factory factory() {
		return factory;
	}

	public Frame initializeInstructions_endStack_(final JVMInstruction[] _anArray, final JVMStack _aJVMStack) {
		_instructions = _anArray;
		_endStack = _aJVMStack;
		this.initialize();
		return this;
	}

	public JVMInstruction[] instructions() {
		return _instructions;
	}

	@Override
	public Frame printOn_(final StringBuilder _aStream) {
		final String _title;
		_title = this.factory().toString();
		_aStream.append(st.gravel.support.jvm.CharacterExtensions.isVowel(_title.charAt(0)) ? "an " : "a ");
		_aStream.append(_title);
		_aStream.append('[');
		this.sourceOn_(_aStream);
		_aStream.append(']');
		return this;
	}

	@Override
	public Frame sourceOn_(final StringBuilder _aStream) {
		return this;
	}

	@Override
	public JVMType type() {
		if (_endStack.isEmpty()) {
			return JVMBottomType.factory.basicNew();
		}
		return _endStack.peek();
	}

	public Frame withInstruction_(final JVMInstruction _anInstruction) {
		final JVMStack _stackCopy;
		_stackCopy = _endStack.copy();
		return Frame.factory.instructions_endStack_(st.gravel.support.jvm.ArrayExtensions.copyWith_(_instructions, _anInstruction.effectStack_(_stackCopy)), _stackCopy);
	}

	@Override
	public Frame withReturnType_(final JVMType _aJVMType) {
		if (_endStack.isEmpty()) {
			return Frame.this;
		}
		st.gravel.support.jvm.ObjectExtensions.assert_(this, st.gravel.support.jvm.IntegerExtensions.equals_(_endStack.size(), 1));
		if (st.gravel.support.jvm.ObjectExtensions.equals_(_endStack.peek(), _aJVMType)) {
			return Frame.this;
		}
		if (_instructions[_instructions.length - 1].isCast()) {
			throw new RuntimeException("niy");
		}
		return this.withInstruction_(_endStack.peek().newCastInstructionTo_(_aJVMType));
	}
}