MethodNode.java

package st.gravel.support.compiler.ast;

/*
	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.ast.Node;
import st.gravel.support.compiler.ast.Node.Node_Factory;
import st.gravel.support.compiler.ast.SequenceNode;
import st.gravel.support.compiler.ast.TypeNode;
import st.gravel.support.compiler.ast.PragmaNode;
import st.gravel.support.compiler.ast.NodeVisitor;
import st.gravel.support.compiler.ast.VariableDeclarationNode;
import st.gravel.support.compiler.ast.Statement;
import st.gravel.support.compiler.ast.StringLiteralNode;
import st.gravel.support.compiler.ast.Reference;
import st.gravel.support.compiler.ast.LiteralNode;
import st.gravel.support.compiler.ast.Expression;
import st.gravel.support.compiler.ast.ArrayLiteralNode;
import st.gravel.support.compiler.ast.SymbolLiteralNode;
import st.gravel.support.compiler.ast.KeywordMessageNode;
import st.gravel.support.compiler.ast.NilLiteralNode;
import st.gravel.support.compiler.ast.SourcePrinter;
import st.gravel.support.compiler.ast.SourcePosition;

abstract public class MethodNode extends Node implements Cloneable {

	public static MethodNode_Factory factory = new MethodNode_Factory();

	SequenceNode _body;

	String _nlrMarker;

	PragmaNode[] _pragmas;

	String _protocol;

	TypeNode _returnType;

	String _selector;

	public static class MethodNode_Factory extends Node_Factory {

		public MethodNode basicNew() {
			throw new RuntimeException("MethodNode is an abstract class");
		}

		public MethodNode selector_body_returnType_pragmas_protocol_(final String _aString, final SequenceNode _aSequenceNode, final TypeNode _anUndefinedObject, final PragmaNode[] _anArray, final String _protocol) {
			return ((MethodNode) this.selector_body_returnType_pragmas_protocol_nlrMarker_(_aString, _aSequenceNode, _anUndefinedObject, _anArray, _protocol, null));
		}

		public MethodNode selector_body_returnType_pragmas_protocol_nlrMarker_(final String _aString, final SequenceNode _aSequenceNode, final TypeNode _returnType, final PragmaNode[] _anArray, final String _protocol, final String _nlrMarker) {
			return ((MethodNode) this.basicNew().initializeSelector_body_returnType_pragmas_protocol_nlrMarker_(_aString, _aSequenceNode, _returnType, _anArray, _protocol, _nlrMarker));
		}
	}

	static public MethodNode _selector_body_returnType_pragmas_protocol_(Object receiver, final String _aString, final SequenceNode _aSequenceNode, final TypeNode _anUndefinedObject, final PragmaNode[] _anArray, final String _protocol) {
		return factory.selector_body_returnType_pragmas_protocol_(_aString, _aSequenceNode, _anUndefinedObject, _anArray, _protocol);
	}

	static public MethodNode _selector_body_returnType_pragmas_protocol_nlrMarker_(Object receiver, final String _aString, final SequenceNode _aSequenceNode, final TypeNode _returnType, final PragmaNode[] _anArray, final String _protocol, final String _nlrMarker) {
		return factory.selector_body_returnType_pragmas_protocol_nlrMarker_(_aString, _aSequenceNode, _returnType, _anArray, _protocol, _nlrMarker);
	}

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

	@Override
	public MethodNode allNodesDo_(final st.gravel.support.jvm.Block1<Object, Node> _aBlock) {
		this.nodesDo_(new st.gravel.support.jvm.Block1<Object, Node>() {

			@Override
			public Object value_(final Node _each) {
				return _each.withAllNodesDo_(_aBlock);
			}
		});
		return this;
	}

	@Override
	public MethodNode allNodesDo_pruneWhere_(final st.gravel.support.jvm.Block1<Object, Node> _aBlock, final st.gravel.support.jvm.Block1<Boolean, Node> _pruneBlock) {
		this.nodesDo_(new st.gravel.support.jvm.Block1<Object, Node>() {

			@Override
			public Object value_(final Node _each) {
				if (!_pruneBlock.value_(_each)) {
					return _each.withAllNodesDo_pruneWhere_(_aBlock, _pruneBlock);
				}
				return MethodNode.this;
			}
		});
		return this;
	}

	public abstract VariableDeclarationNode[] arguments();

	public SequenceNode body() {
		return _body;
	}

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

	@Override
	public boolean equals(final Object _anObject) {
		if (!super.equals(_anObject)) {
			return false;
		}
		if (this._selector == null) {
			if (!(((MethodNode) _anObject)._selector == null)) {
				return false;
			}
		} else {
			if (!st.gravel.support.jvm.StringExtensions.equals_(this._selector, ((MethodNode) _anObject)._selector)) {
				return false;
			}
		}
		if (this._returnType == null) {
			if (!(((MethodNode) _anObject)._returnType == null)) {
				return false;
			}
		} else {
			if (!st.gravel.support.jvm.ObjectExtensions.equals_(this._returnType, ((MethodNode) _anObject)._returnType)) {
				return false;
			}
		}
		if (this._body == null) {
			if (!(((MethodNode) _anObject)._body == null)) {
				return false;
			}
		} else {
			if (!st.gravel.support.jvm.ObjectExtensions.equals_(this._body, ((MethodNode) _anObject)._body)) {
				return false;
			}
		}
		if (this._pragmas == null) {
			if (!(((MethodNode) _anObject)._pragmas == null)) {
				return false;
			}
		} else {
			if (!st.gravel.support.jvm.ArrayExtensions.equals_(this._pragmas, ((MethodNode) _anObject)._pragmas)) {
				return false;
			}
		}
		if (this._protocol == null) {
			if (!(((MethodNode) _anObject)._protocol == null)) {
				return false;
			}
		} else {
			if (!st.gravel.support.jvm.StringExtensions.equals_(this._protocol, ((MethodNode) _anObject)._protocol)) {
				return false;
			}
		}
		if (this._nlrMarker == null) {
			if (!(((MethodNode) _anObject)._nlrMarker == null)) {
				return false;
			}
		} else {
			if (!st.gravel.support.jvm.StringExtensions.equals_(this._nlrMarker, ((MethodNode) _anObject)._nlrMarker)) {
				return false;
			}
		}
		return true;
	}

	public MethodNode_Factory factory() {
		return factory;
	}

	public abstract boolean hasCompleteArgumentSignature();

	public boolean hasCompleteReturnSignature() {
		return (_returnType != null) || _body.returnsNothingButSelf();
	}

	public boolean hasCompleteSignature() {
		return this.hasCompleteArgumentSignature() && this.hasCompleteReturnSignature();
	}

	@Override
	public int hashCode() {
		return ((((super.hashCode() ^ _selector.hashCode()) ^ (_returnType == null ? 0 : _returnType.hashCode())) ^ (_body == null ? 0 : _body.hashCode())) ^ java.util.Arrays.hashCode(_pragmas));
	}

	public boolean hasNonLocalReturns() {
		final Object _temp1 = new Object();
		try {
			for (final Statement _rootStmt : _body.statements()) {
				_rootStmt.allNodesDo_(new st.gravel.support.jvm.Block1<Object, Node>() {

					@Override
					public Object value_(final Node _node) {
						if (_node.isBlockNodeWithReturnStatements()) {
							throw new NonLocalReturn(true, _temp1);
						}
						return MethodNode.this;
					}
				});
			}
			return false;
		} catch (NonLocalReturn nlr) {
			if (nlr.marker == _temp1) {
				return (boolean) nlr.returnValue;
			} else {
				throw nlr;
			}
		}
	}

	public MethodNode initializeSelector_body_returnType_pragmas_protocol_nlrMarker_(final String _aString, final SequenceNode _aSequenceNode, final TypeNode _anUndefinedObject, final PragmaNode[] _anArray, final String _protocolString, final String _anObject) {
		_selector = _aString;
		_body = _aSequenceNode;
		_returnType = _anUndefinedObject;
		_pragmas = _anArray;
		_protocol = _protocolString;
		_nlrMarker = _anObject;
		this.initialize();
		return this;
	}

	public boolean isTraitRequirement() {
		return st.gravel.support.jvm.IntegerExtensions.equals_(_body.statements().length, 1) && _body.statements()[0].isTraitRequirementMessage();
	}

	public String[] keywords() {
		return st.gravel.core.Symbol.value(_selector).keywords();
	}

	public String[] localPrimitiveIn_nameNode_(final String _className, final StringLiteralNode _argument) {
		return st.gravel.support.jvm.ArrayFactory.with_with_(_className, _argument.value());
	}

	@Override
	public MethodNode localVarNamesDo_(final st.gravel.support.jvm.Block1<Object, String> _aBlock) {
		return this;
	}

	public String nlrMarker() {
		return _nlrMarker;
	}

	@Override
	public abstract MethodNode nodesDo_(final st.gravel.support.jvm.Block1<Object, Node> _aBlock);

	public abstract int numArgs();

	public MethodNode ofTrait_(final Reference _aReference) {
		return this.withPropertyAt_put_(st.gravel.core.Symbol.value("trait"), StringLiteralNode.factory.value_(_aReference.toString()));
	}

	public Object pragmaPropertyAt_ifAbsent_(final st.gravel.core.Symbol _aKey, final st.gravel.support.jvm.Block0<Object> _aBlock) {
		final Object _temp1 = new Object();
		try {
			final PragmaNode _pr;
			_pr = ((PragmaNode) st.gravel.support.jvm.ArrayExtensions.detect_ifNone_(_pragmas, new st.gravel.support.jvm.Predicate1<PragmaNode>() {

				@Override
				public boolean value_(final PragmaNode _each) {
					return _each.isPropertyPragmaAt_(_aKey);
				}
			}, ((st.gravel.support.jvm.Block0<PragmaNode>) (new st.gravel.support.jvm.Block0<PragmaNode>() {

				@Override
				public PragmaNode value() {
					throw new NonLocalReturn(_aBlock.value(), _temp1);
				}
			}))));
			return ((LiteralNode) _pr.expression().arguments()[1]).value();
		} catch (NonLocalReturn nlr) {
			if (nlr.marker == _temp1) {
				return (Object) nlr.returnValue;
			} else {
				throw nlr;
			}
		}
	}

	public PragmaNode[] pragmas() {
		return _pragmas;
	}

	public abstract int precedence();

	@Override
	public MethodNode prettySourceOn_(final StringBuilder _aStream) {
		SourcePrinter.factory.on_(_aStream).visit_(this);
		return this;
	}

	public String[] primitiveIn_(final String _className) {
		final PragmaNode _pragma;
		final Expression _argument;
		final ArrayLiteralNode _arrayNode;
		_pragma = this.primitivePragma();
		if (_pragma == null) {
			return null;
		}
		_argument = _pragma.expression().argument();
		if (_argument.isStringLiteralNode()) {
			return MethodNode.this.localPrimitiveIn_nameNode_(_className, ((StringLiteralNode) _argument));
		}
		if (!_argument.isArrayLiteralNode()) {
			return null;
		}
		_arrayNode = ((ArrayLiteralNode) _argument);
		return st.gravel.support.jvm.ArrayExtensions.collect_(_arrayNode.value(), ((st.gravel.support.jvm.Block1<String, Object>) (new st.gravel.support.jvm.Block1<String, Object>() {

			@Override
			public String value_(final Object _e) {
				final String _str;
				_str = ((String) _e);
				return (String) _str;
			}
		})));
	}

	public PragmaNode primitivePragma() {
		return ((PragmaNode) st.gravel.support.jvm.ArrayExtensions.detect_ifNone_(_pragmas, new st.gravel.support.jvm.Predicate1<PragmaNode>() {

			@Override
			public boolean value_(final PragmaNode _e) {
				return st.gravel.support.jvm.StringExtensions.equals_(_e.expression().selector(), "primitive:");
			}
		}, ((st.gravel.support.jvm.Block0<PragmaNode>) (new st.gravel.support.jvm.Block0<PragmaNode>() {

			@Override
			public PragmaNode value() {
				return (PragmaNode) null;
			}
		}))));
	}

	@Override
	public MethodNode 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;
	}

	public String protocol() {
		return _protocol;
	}

	public MethodNode pvtSetBody_(final SequenceNode _aSequenceNode) {
		_body = _aSequenceNode;
		return this;
	}

	public MethodNode pvtSetNlrMarker_(final String _anObject) {
		_nlrMarker = _anObject;
		return this;
	}

	public MethodNode pvtSetPragmas_(final PragmaNode[] _anArray) {
		_pragmas = _anArray;
		return this;
	}

	public MethodNode pvtSetProtocol_(final String _aString) {
		_protocol = _aString;
		return this;
	}

	@Override
	public MethodNode pvtSetSourcePosition_(final SourcePosition _aSourcePosition) {
		_sourcePosition = _aSourcePosition;
		return this;
	}

	@Override
	public boolean referencesSelfOrInstanceType() {
		return (_returnType != null) && _returnType.referencesSelfOrInstanceType();
	}

	public TypeNode returnType() {
		return _returnType;
	}

	public MethodNode returnTypeAndBodySourceOn_(final StringBuilder _aStream) {
		if (_returnType != null) {
			_aStream.append(' ');
			_aStream.append("{^");
			_returnType.sourceOn_(_aStream);
			_aStream.append('}');
		}
		for (final PragmaNode _each : _pragmas) {
			_aStream.append('\n');
			_aStream.append(' ');
			_each.sourceOn_(_aStream);
		}
		_body.methodSourceOn_(_aStream);
		return this;
	}

	public String selector() {
		return _selector;
	}

	@Override
	public abstract MethodNode sourceOn_(final StringBuilder _aStream);

	public abstract MethodNode typeDefsDo_(final st.gravel.support.jvm.Block1<Object, TypeNode> _aBlock);

	public MethodNode updatePragmas_(final st.gravel.support.jvm.Block1<PragmaNode, PragmaNode> _aBlock) {
		return this.withPragmas_(st.gravel.support.jvm.ArrayExtensions.collect_(_pragmas, _aBlock));
	}

	@Override
	public MethodNode withAllNodesDo_(final st.gravel.support.jvm.Block1<Object, Node> _aBlock) {
		_aBlock.value_(this);
		this.allNodesDo_(_aBlock);
		return this;
	}

	@Override
	public MethodNode withAllNodesDo_pruneWhere_(final st.gravel.support.jvm.Block1<Object, Node> _aBlock, final st.gravel.support.jvm.Block1<Boolean, Node> _pruneBlock) {
		_aBlock.value_(this);
		this.allNodesDo_pruneWhere_(_aBlock, _pruneBlock);
		return this;
	}

	public MethodNode withBody_(final SequenceNode _aSequenceNode) {
		return this.copy().pvtSetBody_(_aSequenceNode);
	}

	public MethodNode withNlrMarker_(final String _anObject) {
		return this.copy().pvtSetNlrMarker_(_anObject);
	}

	public MethodNode withPragmas_(final PragmaNode[] _anArray) {
		return this.copy().pvtSetPragmas_(_anArray);
	}

	public MethodNode withPropertyAt_put_(final st.gravel.core.Symbol _aKey, final Expression _aValue) {
		if (st.gravel.support.jvm.ArrayExtensions.anySatisfy_(_pragmas, new st.gravel.support.jvm.Predicate1<PragmaNode>() {

			@Override
			public boolean value_(final PragmaNode _each) {
				return _each.isPropertyPragmaAt_(_aKey);
			}
		})) {
			return MethodNode.this.updatePragmas_(((st.gravel.support.jvm.Block1<PragmaNode, PragmaNode>) (new st.gravel.support.jvm.Block1<PragmaNode, PragmaNode>() {

				@Override
				public PragmaNode value_(final PragmaNode _each) {
					if (_each.isPropertyPragmaAt_(_aKey)) {
						return _each.withArguments_(st.gravel.support.jvm.ArrayFactory.with_with_(SymbolLiteralNode.factory.value_(_aKey), _aValue));
					} else {
						return _each;
					}
				}
			})));
		} else {
			return MethodNode.this.withPragmas_(st.gravel.support.jvm.ArrayExtensions.copyWith_(_pragmas, PragmaNode.factory.expression_(KeywordMessageNode.factory.receiver_selector_arguments_(NilLiteralNode.factory.basicNew(), "propertyAt:put:", st.gravel.support.jvm.ArrayFactory.with_with_(SymbolLiteralNode.factory.value_(_aKey), _aValue)))));
		}
	}

	public MethodNode withProtocol_(final String _aString) {
		return this.copy().pvtSetProtocol_(_aString);
	}

	@Override
	public MethodNode withSourcePosition_(final SourcePosition _aSourcePosition) {
		if (_sourcePosition == _aSourcePosition) {
			return MethodNode.this;
		}
		return this.copy().pvtSetSourcePosition_(_aSourcePosition);
	}
}