//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\
// PLEASE DO NOT EDIT WITHOUT THE EXPLICIT CONSENT OF THE AUTHOR! \\
//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\//\\

package ilog.language.design.kernel;

/**
 * @version     Last modified on Wed Jul 24 12:17:37 2002 by pviry
 * @version          modified on Wed Jul 03 15:30:27 2002 by hak
 * @author      <a href="mailto:hak@ilog.fr">Hassan A&iuml;t-Kaci</a>
 * @copyrite   &copy; 2000-2002 <a href="http://www.ilog.fr/">ILOG, S.A.</a>
 */

import ilog.language.design.types.*;
import ilog.language.design.base.*;

import java.util.ArrayList;

public class And extends AndOr
{
  public And (Expression leftExpression, Expression riteExpression)
    {
      super(leftExpression,riteExpression);
    }

  public final void compile (Compiler compiler)
    {
      _leftExpression.compile(compiler);
      if (_leftExpression.checkedType().isBoxedType())
        compiler.generateUnwrapper(Type.INT_SORT);

      JumpOnFalse jof = new JumpOnFalse();
      compiler.generate(jof);

      _riteExpression.compile(compiler);
      if (_riteExpression.checkedType().isBoxedType())
        compiler.generateUnwrapper(Type.INT_SORT);

      JumpOnTrue jot = new JumpOnTrue();
      compiler.generate(jot);

      jof.setAddress(compiler.targetAddress());

      if (checkedType().isBoxedType())
        compiler.generate(Instruction.PUSH_BOXED_FALSE);
      else
        compiler.generate(Instruction.PUSH_FALSE);

      Jump jmp = new Jump();
      compiler.generate(jmp);

      jot.setAddress(compiler.targetAddress());

      if (checkedType().isBoxedType())
        compiler.generate(Instruction.PUSH_BOXED_TRUE);
      else
        compiler.generate(Instruction.PUSH_TRUE);

      jmp.setAddress(compiler.targetAddress());
    }

  final public String toString ()
    {
      return "(" + _leftExpression + " and " + _riteExpression + ")";
    }

  // Added by PV
  final public String toTypedString ()
    {
      return typed("(" + _leftExpression.toTypedString() + " and " + _riteExpression.toTypedString() + ")");
    }

}