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 CastExpression extends ExpressionModel implements ExpressionOwner {
	TypeModel type;
	ExpressionModel valueExpression;

	public CastExpression(ExpressionOwner owner, Node source) {
		super(owner, source);
		// TODO: This doesn't handle and-ed types from newer "legacy" code properly yet
		type = owner.resolveType(((Branch)((Branch)source).getSubnode(1)).getSubnode(0));
		valueExpression = ExpressionModel.construct(this, ((Branch)source).getSubnode(3));
	}

	public TypeModel getType() {
		return type;
	}
	
	public ExpressionModel getValueExpression() {
		return valueExpression;
	}
	
	@Override
	public void dump(Reporter reporter, String indent, String incr) {
		reporter.note("DUMP", indent + "> Cast to '" + type + "'");
		dumpResolved(reporter, indent + incr, incr);
		valueExpression.dump(reporter, indent + incr, incr);
	}

	@Override
	public TypeModel getExpectedResult(ExpressionModel e) {
		// TODO: I'm not sure if there are cases where cast influences decoding of right-hand-side
		return null;
	}

	@Override
	public ExpressionModel[] getSubexpressions() {
		return new ExpressionModel[] {valueExpression};
	}
	
	@Override
	protected ExpressionResult resolveResult() {
		return new ExpressionResult.TypedValue(type);
	}
	
	@Override
	public TypeSignature innerGenerate(BytecodeInstructionWriter w) {
		TypeSignature incoming = valueExpression.generate(w);
		w.genConvert(incoming, getType().getTypeSignature());
		return getType().getTypeSignature();
	}

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