package slangc.model.expressions;

import slangc.api.BytecodeInstructionWriter;
import slangc.api.Reporter;
import slangc.bytecode.TypeSignature;
import slangc.model.ExpressionModel;
import slangc.model.ExpressionOwner;
import slangc.model.ExpressionResult;
import slangc.model.TypeModel;
import slangc.parser.Branch;
import slangc.parser.Node;

public class NewClearedArrayExpression extends ExpressionModel implements ExpressionOwner {
	TypeModel type;
	ExpressionModel sizeExpression;

	public NewClearedArrayExpression(ExpressionOwner owner, Node source) {
		super(owner, source);
		// NOTE: Since the final [...] is given with the sizeExpression instead of with
		// the rest of the type, we need to manually find the array type for the declared type:
		TypeModel base = owner.resolveType(((Branch)source).getSubnode(1));
		if (base != null) {
			type = base.getOrCreateArrayInstance();
		}
		sizeExpression = ExpressionModel.construct(this, ((Branch)source).getSubnode(3));
	}

	public TypeModel getType() {
		return type;
	}
	
	public ExpressionModel getSizeExpression() {
		return sizeExpression;
	}
	
	@Override
	public void dump(Reporter reporter, String indent, String incr) {
		reporter.note("DUMP", indent + "> New cleared array expression of '" + getType() + "'");
		dumpResolved(reporter, indent + incr, incr);
		sizeExpression.dump(reporter, indent + incr, incr);
	}

	@Override
	public ExpressionModel[] getSubexpressions() {
		return new ExpressionModel[] {sizeExpression};
	}
	
	@Override
	public TypeModel getExpectedResult(ExpressionModel e) {
		// TODO maybe should be int?
		return null;
	}
	
	@Override
	protected ExpressionResult resolveResult() {
		return new ExpressionResult.TypedValue(type);
	}
	
	@Override
	public TypeSignature innerGenerate(BytecodeInstructionWriter w) {
		TypeSignature xt = sizeExpression.generate(w);
		w.genNewArray(type.getTypeSignature());
		return type.getTypeSignature();
	}

	public TypeModel resolveType(Node n) {
		return super.resolveType(n); // TODO: Better support for interfaces
	}
}