Method NodeBinaryOp

NULLC/SyntaxTree.cpp:1266–1314

// Node that applies binary operation on two values

NodeBinaryOp::NodeBinaryOp(CmdID cmd)
{
	// Binary operation
	cmdID = cmd;

	second = TakeLastNode();
	first = TakeLastNode();

	bool logicalOp = (cmd >= cmdLess && cmd <= cmdNEqual) || (cmd >= cmdLogAnd && cmd <= cmdLogXor);

	// Binary operations on complex types are not present at the moment
	if(first->typeInfo->type == TypeInfo::TYPE_COMPLEX || second->typeInfo->type == TypeInfo::TYPE_COMPLEX)
		ThrowError(CodeInfo::lastKnownStartPos, "ERROR: operation %s is not supported on '%s' and '%s'", binCommandToText[cmdID - cmdAdd], first->typeInfo->GetFullTypeName(), second->typeInfo->GetFullTypeName());
	if((first->typeInfo->refLevel != 0 || second->typeInfo->refLevel != 0) && !(first->typeInfo->refLevel == second->typeInfo->refLevel && logicalOp))
		ThrowError(CodeInfo::lastKnownStartPos, "ERROR: operation %s is not supported on '%s' and '%s'", binCommandToText[cmdID - cmdAdd], first->typeInfo->GetFullTypeName(), second->typeInfo->GetFullTypeName());
	if((first->typeInfo->firstVariable || second->typeInfo->firstVariable) && first->typeInfo != second->typeInfo)
		ThrowError(CodeInfo::lastKnownStartPos, "ERROR: operation %s is not supported on '%s' and '%s'", binCommandToText[cmdID - cmdAdd], first->typeInfo->GetFullTypeName(), second->typeInfo->GetFullTypeName());

	if(first->typeInfo == typeVoid)
		ThrowError(CodeInfo::lastKnownStartPos, "ERROR: first operand returns void");
	if(second->typeInfo == typeVoid)
		ThrowError(CodeInfo::lastKnownStartPos, "ERROR: second operand returns void");

	if((first->typeInfo == typeDouble || first->typeInfo == typeFloat || second->typeInfo == typeDouble || second->typeInfo == typeFloat) && (cmd >= cmdShl && cmd <= cmdLogXor))
		ThrowError(CodeInfo::lastKnownStartPos, "ERROR: binary operations are not available on floating-point numbers");

	if(typeVoid->refType && first->typeInfo == typeVoid->refType)
	{
		first->typeInfo = second->typeInfo;
	}
	if(typeVoid->refType && second->typeInfo == typeVoid->refType)
	{
		second->typeInfo = first->typeInfo;
	}

	// Find the type or resulting value
	typeInfo = ChooseBinaryOpResultType(first->typeInfo, second->typeInfo);

	if(first->nodeType == typeNodeNumber && first->typeInfo != typeInfo)
		((NodeNumber*)first)->ConvertTo(typeInfo);
	if(second->nodeType == typeNodeNumber && second->typeInfo != typeInfo)
		((NodeNumber*)second)->ConvertTo(typeInfo);

	typeInfo = logicalOp ? typeBool : typeInfo;
	if(typeInfo == typeBool && !logicalOp && !(cmd >= cmdBitAnd && cmd <= cmdBitXor))
		typeInfo = typeInt;

	nodeType = typeNodeBinaryOp;
}
NodeBinaryOp::~NodeBinaryOp()
{
}