Classes in this File | Line Coverage | Branch Coverage | Complexity | ||||
ReglesTypage |
|
| 1.0;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 |