/*
 * Specializzazione della classe astratta Infix
 *
 * Realizzazione come estensione disgiunta della classe Quotient,
 * le cui istanze rappresentano un'operazione sintattica:
 * composizione di codici nello stile "stack machine"
 * per la codifica di una divisione intera.
 *
 * Esempio di utilizzo:
 *
 *   Infix I = new Div();
 *   Infix J = ...;
 *   Term T1 = ..., T2 = ...;
 *     ...
 *   if ( I.hasPrecedenceOver(J) ) { ... }
 *     ...
 *   Term TR = I.apply(T1,T2);  // TR rappresenta un codice
 *     ...
 *   System.out.prinln(I);
 */


public class Div  extends Quotient {


  public Term apply( Term x, Term y ) {
  
    return  new Code( (Code) x, (Code) y, "div" );
  }

}