Coverage Report - ProjetCompil.Verif.Src.ReglesTypage
 
Classes in this File Line Coverage Branch Coverage Complexity
ReglesTypage
0 %
0/4
N/A
1
 
 1  
 package ProjetCompil.Verif.Src;
 2  
 
 3  
 import ProjetCompil.Global.Src.*;
 4  
 
 5  
 /**
 6  
  * La classe ReglesTypage permet de définir les différentes règles 
 7  
  * de typage du langage JCas.
 8  
  */
 9  
 
 10  0
 public class ReglesTypage {
 11  
 
 12  
    /**
 13  
     * Teste si le type t1 et le type t2 sont compatibles pour l'affectation, 
 14  
     * c'est à dire si on peut affecter un objet de t2 à un objet de type t1.
 15  
     */
 16  
 
 17  
    static ResultatAffectCompatible affectCompatible(Type t1, Type t2) {
 18  0
       return null; // A MODIFER
 19  
    }
 20  
 
 21  
    /**
 22  
     * Teste si le type t1 et le type t2 sont compatible pour l'opération 
 23  
     * binaire représentée dans noeud.
 24  
     */
 25  
 
 26  
    static ResultatBinaireCompatible binaireCompatible
 27  
       (Noeud noeud, Type t1, Type t2) {
 28  0
       return null;
 29  
    }
 30  
 
 31  
    /**
 32  
     * Teste si le type t est compatible pour l'opération binaire représentée 
 33  
     * dans noeud.
 34  
     */
 35  
    static ResultatUnaireCompatible unaireCompatible
 36  
          (Noeud noeud, Type t) {
 37  0
       return null;
 38  
    }
 39  
          
 40  
 }
 41