package slangc.model.expressions;

import slangc.api.BytecodeInstructionWriter;
import slangc.api.Reporter;
import slangc.bytecode.TypeSignature;
import slangc.model.ClauseModel;
import slangc.model.ExpressionModel;
import slangc.model.ExpressionOwner;
import slangc.model.ExpressionResult;
import slangc.model.MethodModel;
import slangc.model.StatementOwner;
import slangc.model.TypeModel;
import slangc.model.UserTypeModel;
import slangc.model.clauses.Arguments;
import slangc.parser.Branch;
import slangc.parser.Node;

public class NewObjectExpression extends ExpressionModel implements StatementOwner {
	TypeModel type;
	Arguments arguments;

	public NewObjectExpression(ExpressionOwner owner, Node source) {
		super(owner, source);
		type = owner.resolveType(((Branch)source).getSubnode(1));
		arguments = (Arguments)ClauseModel.construct(this, ((Branch)source).getSubnode(2));
	}

	public TypeModel getType() {
		return type;
	}
	
	public Arguments getArguments() {
		return arguments;
	}
	
	@Override
	public void dump(Reporter reporter, String indent, String incr) {
		reporter.note("DUMP", indent + "> New object expression of '" + type + "'");
		dumpResolved(reporter, indent + incr, incr);
		arguments.dump(reporter, indent + incr, incr);
	}

	@Override
	public ExpressionModel[] getSubexpressions() {
		return arguments.getSubexpressions();
	}
	
	@Override
	protected ExpressionResult resolveResult() {
		targetMethod = bestTargetMethod(type.getInstanceConstructors(), arguments);
		return new ExpressionResult.TypedValue(type);
	}
	
	private MethodModel targetMethod = null;
	
	@Override
	public boolean hasTargetMethod() {
		return true;
	}
	
	@Override
	public MethodModel getTargetMethod() {
		return targetMethod;
	}
	
	@Override
	public TypeSignature innerGenerate(BytecodeInstructionWriter w) {
		if (getType() instanceof UserTypeModel && ((UserTypeModel) getType()).isNonStaticInnerType()) {
			UserTypeModel t = (UserTypeModel) getType();
			UserTypeModel outer = (UserTypeModel) t.getOwner().getNearestType();
			OuterThisExpression.generatePossibleOuterThis(w, (UserTypeModel)getMethodOrField().getOwner(), outer);
			TypeSignature[] upvs = NewClassExpression.generateUpvalueLoads(w, t);
			arguments.generate(w, getTargetMethod(), true);
			w.genNewInner(getTargetMethod().getMethodSignature(), upvs);
			return type.getTypeSignature();
		} else {
			arguments.generate(w, getTargetMethod(), true);
			w.genNewObject(getTargetMethod().getMethodSignature());
			return type.getTypeSignature();
		}
	}

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