org.eclipse.cdt.debug.edc/src/org/eclipse/cdt/debug/edc/internal/eval/ast/engine/instructions/BinaryLogicalOperator.java

/*******************************************************************************
 * Copyright (c) 2009, 2010 Nokia and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 * Nokia - Initial API and implementation
 *******************************************************************************/
package org.eclipse.cdt.debug.edc.internal.eval.ast.engine.instructions;

import java.math.BigInteger;

import org.eclipse.cdt.debug.edc.internal.EDCDebugger;
import org.eclipse.cdt.debug.edc.internal.eval.ast.engine.ASTEvalMessages;
import org.eclipse.cdt.debug.edc.symbols.IType;
import org.eclipse.core.runtime.CoreException;

/*
 * Binary logical operator, such as "<"
 */
public abstract class BinaryLogicalOperator extends CompoundInstruction {

	/**
	 * Constructor for a binary logical operator, such as "<"
	 * 
	 * @param resultId - for assignment, variable ID of the result 
	 * @param isAssignmentOperator - whether the result is assigned
	 * @param start - instruction start
	 */
	protected BinaryLogicalOperator(int resultId, boolean isAssignmentOperator, int start) {
		super(start);
	}

	/**
	 * Resolve a binary logical operator, such as "<"
	 * 
	 * @throws CoreException
	 */
	@Override
	public void execute() throws CoreException {
		OperandValue right = popValue();
		OperandValue left = popValue();

		right = convertForPromotion(right);
		left = convertForPromotion(left);

		int promotedType = getJavaBinaryPromotionType(right, left);
		IType type = fInterpreter.getTypeEngine().getBooleanType(1);
		
		switch (promotedType) {
		case T_String:
			pushNewValue(type, getStringResult(GetValue.getStringValue(left), GetValue.getStringValue(right)));
			break;
		case T_double:
			pushNewValue(type, getDoubleResult(GetValue.getDoubleValue(left), GetValue.getDoubleValue(right)));
			break;
		case T_float:
			pushNewValue(type, getFloatResult(GetValue.getFloatValue(left), GetValue.getFloatValue(right)));
			break;
		case T_long:
			pushNewValue(type, getLongResult(GetValue.getLongValue(left), GetValue.getLongValue(right)));
			break;
		case T_int:
			pushNewValue(type, getIntResult(GetValue.getIntValue(left), GetValue.getIntValue(right)));
			break;
		case T_boolean:
			pushNewValue(type, getBooleanResult(GetValue.getBooleanValue(left), GetValue.getBooleanValue(right)));
			break;
		case T_BigInt:
			pushNewValue(type, getBigIntegerResult(GetValue.getBigIntegerValue(left), GetValue.getBigIntegerValue(right)));
			break;
		default:
			throw EDCDebugger.newCoreException(ASTEvalMessages.UnhandledTypeCode + promotedType);
		}
	}

	/**
	 * Get boolean result of applying a binary logical operation to two ints
	 * 
	 * @param leftOperand
	 *            - left int operand
	 * @param rightOperand
	 *            - right int operand
	 * @return boolean result of the operation if possible, or an
	 *         operation-specific default
	 * @throws CoreException
	 */
	protected abstract boolean getIntResult(int leftOperand, int rightOperand) throws CoreException;

	/**
	 * Get boolean result of applying a binary logical operation to two longs
	 * 
	 * @param leftOperand
	 *            - left long operand
	 * @param rightOperand
	 *            - right long operand
	 * @return boolean result of the operation if possible, or an
	 *         operation-specific default
	 * @throws CoreException
	 */
	protected abstract boolean getLongResult(long leftOperand, long rightOperand) throws CoreException;

	/**
	 * Get boolean result of applying a binary logical operation to two
	 * BigIntegers
	 * 
	 * @param leftOperand
	 *            - left BigInteger operand
	 * @param rightOperand
	 *            - right BigInteger operand
	 * @return boolean result of the operation if possible, or an
	 *         operation-specific default
	 * @throws CoreException
	 */
	protected abstract boolean getBigIntegerResult(BigInteger leftOperand, BigInteger rightOperand)
			throws CoreException;

	/**
	 * Get boolean result of applying a binary logical operation to two floats
	 * 
	 * @param leftOperand
	 *            - left float operand
	 * @param rightOperand
	 *            - right float operand
	 * @return boolean result of the operation if possible, or an
	 *         operation-specific default
	 */
	protected abstract boolean getFloatResult(float leftOperand, float rightOperand);

	/**
	 * Get boolean result of applying a binary logical operation to two doubles
	 * 
	 * @param leftOperand
	 *            - left double operand
	 * @param rightOperand
	 *            - right double operand
	 * @return boolean result of the operation if possible, or an
	 *         operation-specific default
	 */
	protected abstract boolean getDoubleResult(double leftOperand, double rightOperand);

	/**
	 * Get boolean result of applying a binary logical operation to two booleans
	 * 
	 * @param leftOperand
	 *            - left boolean operand
	 * @param rightOperand
	 *            - right boolean operand
	 * @return boolean result of the operation if possible, or an
	 *         operation-specific default
	 */
	protected abstract boolean getBooleanResult(boolean leftOperand, boolean rightOperand);

	/**
	 * Get boolean result of applying a binary logical operation to two strings
	 * 
	 * @param leftOperand
	 *            - left string operand
	 * @param rightOperand
	 *            - right string operand
	 * @return boolean result of the operation if possible, or an
	 *         operation-specific default
	 * @throws CoreException
	 */
	protected abstract boolean getStringResult(String leftOperand, String rightOperand) throws CoreException;

}