Coverage Report - ProjetCompil.Verif.Src.ResultatBinaireCompatible
 
Classes in this File Line Coverage Branch Coverage Complexity
ResultatBinaireCompatible
100 %
4/4
N/A
1
 
 1  
 package ProjetCompil.Verif.Src;
 2  
 
 3  
 import ProjetCompil.Global.Src.*;
 4  
 
 5  
 /**
 6  
  * Résultat de l'opération binaireCompatible(noeud, t1, t2), où noeud 
 7  
  * représente une opération binaire, t1 le type de la partie gauche et t2
 8  
  * le type de la partie droite.
 9  
  * Un objet de la classe ResultatBinaireCompatible a quatre attributs : 
 10  
  * <ul>
 11  
  * <li> ok, qui vaut vrai ssi on peut appliquer l'opération représentée par 
 12  
  *      noeud aux types t1 et t2 ; </li> 
 13  
  * <li> conv1, qui vaut vrai ssi t1 est de nature NatureType.Interval et 
 14  
  *      t2 est de nature NatureType.Real ; </li>
 15  
  * <li> conv2, qui vaut vrai ssi t1 est de nature NatureType.Real et 
 16  
  *      t2 est de nature NatureType.Interval. </li>
 17  
  * <li> typeRes, qui donne le type du résultat de l'opération représentée 
 18  
  *      par noeud. </li>
 19  
  * </ul>
 20  
  */
 21  
 
 22  16
 public class ResultatBinaireCompatible extends ResultatArithCompatible {
 23  
 
 24  
    private Type typeRes;
 25  
 
 26  
    /**
 27  
     * Retourne la valeur de l'attribut <code>typeRes</code>.
 28  
     */
 29  
 
 30  
    Type getTypeRes() {
 31  28
       return typeRes;
 32  
    }
 33  
 
 34  
    /**
 35  
     * Modifie la valeur de l'attribut <code>typeRes</code>.
 36  
     */
 37  
 
 38  
    void setTypeRes(Type typeRes) {
 39  16
       this.typeRes = typeRes;
 40  16
    }
 41  
 
 42  
 }
 43