CastObjectToDefined.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.CastTo;
import st.gravel.support.compiler.jvm.CastTo.CastTo_Factory;
import st.gravel.support.compiler.jvm.JVMDefinedObjectType;
import st.gravel.support.compiler.jvm.JVMInstructionVisitor;
import st.gravel.support.compiler.jvm.JVMStack;
import st.gravel.support.compiler.jvm.JVMInstruction;
import st.gravel.support.compiler.jvm.JVMType;

public class CastObjectToDefined extends CastTo implements Cloneable {

	public static CastObjectToDefined_Factory factory = new CastObjectToDefined_Factory();

	JVMDefinedObjectType _type;

	public static class CastObjectToDefined_Factory extends CastTo_Factory {

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

		public CastObjectToDefined type_(final JVMDefinedObjectType _aJVMDefinedObjectType) {
			return this.basicNew().initializeType_(_aJVMDefinedObjectType);
		}
	}

	static public CastObjectToDefined _type_(Object receiver, final JVMDefinedObjectType _aJVMDefinedObjectType) {
		return factory.type_(_aJVMDefinedObjectType);
	}

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

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

	@Override
	public JVMInstruction effectStack_(final JVMStack _aJVMStack) {
		st.gravel.support.jvm.ObjectExtensions.assert_(this, _aJVMStack.pop().isObjectType());
		_aJVMStack.push_(this.type());
		return this;
	}

	public CastObjectToDefined_Factory factory() {
		return factory;
	}

	public CastObjectToDefined initializeType_(final JVMDefinedObjectType _aJVMDefinedObjectType) {
		_type = _aJVMDefinedObjectType;
		this.initialize();
		return this;
	}

	@Override
	public CastObjectToDefined 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 CastObjectToDefined sourceOn_(final StringBuilder _aStream) {
		return this;
	}

	@Override
	public JVMDefinedObjectType type() {
		return _type;
	}

	@Override
	public CastObjectToDefined withReturnType_(final JVMType _aType) {
		if (st.gravel.support.jvm.ObjectExtensions.equals_(this.type(), _aType)) {
			return CastObjectToDefined.this;
		}
		throw new RuntimeException("niy");
	}
}