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.FieldModel;
import slangc.model.LocalStorageModel;
import slangc.model.Named;
import slangc.model.StorageSlot;
import slangc.model.TypeModel;
import slangc.model.UserTypeModel;
import slangc.parser.Branch;
import slangc.parser.ErrorType;
import slangc.parser.Node;

public class GenericReferenceExpression extends ExpressionModel {
	private TypeModel type;

	public GenericReferenceExpression(ExpressionOwner owner, Node source) {
		super(owner, source);
		type = owner.resolveType(((Branch)source).getSubnode(0));
		//name = UserTypeModel.plainName(((Branch)source).getSubnode(0));
		// This now waits until expressions are resolved later
		//resolvedNamedEntity = lookupSimpleName(name);
		//sourceFile.annotate(ErrorType.INTERNAL_ERROR, "Unrecognised expression (Internal error/TODO)");
	}

	@Override
	public void dump(Reporter reporter, String indent, String incr) {
		reporter.note("DUMP", indent + "> Generic reference expression -> " + type);
		dumpResolved(reporter, indent + incr, incr);
	}
	
	@Override
	public ExpressionModel[] getSubexpressions() {
		return NO_SUBEXPRESSIONS;
	}

	@Override
	protected ExpressionResult resolveResult() {
		return new ExpressionResult.PointsToType((TypeModel) type);
	}
	
	@Override
	public TypeSignature innerGenerate(BytecodeInstructionWriter w) {
		w.genError("INTERNAL ERROR: innerGenerate shouldn't be called for " + Type.of(this));
		return null;
	}

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