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