package fr.inria.diverse.iot2.iot2.aspects;
import fr.inria.diverse.k3.al.annotationprocessor.Aspect;
import org.eclipse.xtext.xbase.lib.DoubleExtensions;
import fr.inria.diverse.iot2.iot2.iot2.Expression;
import fr.inria.diverse.iot2.iot2.iot2.Expression_Division;
import fr.inria.diverse.iot2.iot2.aspects.Environment;
import fr.inria.diverse.iot2.iot2.aspects.Expression_DivisionAspectExpression_DivisionAspectProperties;
import fr.inria.diverse.iot2.iot2.aspects.LuaExpressionAspect;
@Aspect(className = Expression_Division.class)
@SuppressWarnings("all")
public class Expression_DivisionAspect extends LuaExpressionAspect {
public static void execute(final Expression_Division _self, final Environment c) {
fr.inria.diverse.iot2.iot2.aspects.Expression_DivisionAspectExpression_DivisionAspectProperties _self_ = fr.inria.diverse.iot2.iot2.aspects.Expression_DivisionAspectExpression_DivisionAspectContext.getSelf(_self);
if (_self instanceof fr.inria.diverse.iot2.iot2.iot2.Expression_Division){
fr.inria.diverse.iot2.iot2.aspects.Expression_DivisionAspect._privk3_execute(_self_, (fr.inria.diverse.iot2.iot2.iot2.Expression_Division)_self,c);
} else if (_self instanceof fr.inria.diverse.iot2.iot2.iot2.Expression){
fr.inria.diverse.iot2.iot2.aspects.LuaExpressionAspect.execute((fr.inria.diverse.iot2.iot2.iot2.Expression)_self,c);
} else if (_self instanceof fr.inria.diverse.iot2.iot2.iot2.Statement_FunctioncallOrAssignment){
fr.inria.diverse.iot2.iot2.aspects.Statement_FunctioncallOrAssignmentAspect.execute((fr.inria.diverse.iot2.iot2.iot2.Statement_FunctioncallOrAssignment)_self,c);
} else if (_self instanceof fr.inria.diverse.iot2.iot2.iot2.Statement){
fr.inria.diverse.iot2.iot2.aspects.StatementAspect.execute((fr.inria.diverse.iot2.iot2.iot2.Statement)_self,c);
} else { throw new IllegalArgumentException("Unhandled parameter types: " + java.util.Arrays.<Object>asList(_self).toString()); };
}
protected static void _privk3_execute(final Expression_DivisionAspectExpression_DivisionAspectProperties _self_, final Expression_Division _self, final Environment c) {
Expression _left = _self.getLeft();
LuaExpressionAspect.execute(_left, c);
Object _popValue = c.popValue();
Double left = ((Double) _popValue);
Expression _right = _self.getRight();
LuaExpressionAspect.execute(_right, c);
Object _popValue_1 = c.popValue();
Double right = ((Double) _popValue_1);
double _divide = DoubleExtensions.operator_divide(left, right);
c.pushValue(Double.valueOf(_divide));
}
}