/*******************************************************************************
* Copyright (c) 2009 IBM Corporation 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:
* IBM Corporation - initial API and implementation
* Zend Technologies
*******************************************************************************/
package org.eclipse.php.internal.core.typeinference.evaluators;
import org.eclipse.dltk.ti.GoalState;
import org.eclipse.dltk.ti.goals.ExpressionTypeGoal;
import org.eclipse.dltk.ti.goals.GoalEvaluator;
import org.eclipse.dltk.ti.goals.IGoal;
import org.eclipse.dltk.ti.types.IEvaluatedType;
import org.eclipse.php.core.compiler.ast.nodes.CastExpression;
import org.eclipse.php.internal.core.typeinference.PHPClassType;
import org.eclipse.php.internal.core.typeinference.PHPSimpleTypes;
public class CastEvaluator extends GoalEvaluator {
private IEvaluatedType result;
public CastEvaluator(IGoal goal) {
super(goal);
}
public IGoal[] init() {
ExpressionTypeGoal typedGoal = (ExpressionTypeGoal) goal;
CastExpression castExpression = (CastExpression) typedGoal.getExpression();
int operator = castExpression.getCastType();
switch (operator) {
case CastExpression.TYPE_INT:
case CastExpression.TYPE_REAL:
result = PHPSimpleTypes.NUMBER;
break;
case CastExpression.TYPE_STRING:
result = PHPSimpleTypes.STRING;
break;
case CastExpression.TYPE_ARRAY:
result = PHPSimpleTypes.ARRAY;
break;
case CastExpression.TYPE_OBJECT:
return new IGoal[] { new ExpressionTypeGoal(typedGoal.getContext(), castExpression.getExpr()) };
case CastExpression.TYPE_BOOL:
result = PHPSimpleTypes.BOOLEAN;
break;
case CastExpression.TYPE_UNSET:
result = PHPSimpleTypes.NULL;
break;
default:
throw new IllegalArgumentException();
}
return IGoal.NO_GOALS;
}
public IGoal[] subGoalDone(IGoal subgoal, Object result, GoalState state) {
if (result instanceof PHPClassType) {
this.result = (PHPClassType) result;
} else {
this.result = new PHPClassType("StdClass"); //$NON-NLS-1$
}
return IGoal.NO_GOALS;
}
public Object produceResult() {
return result;
}
}