Classes in this File | Line Coverage | Branch Coverage | Complexity | ||||
ResultatArithCompatible |
|
| 1.0;1 |
1 | package ProjetCompil.Verif.Src; | |
2 | ||
3 | /** | |
4 | * Résultat de l'opération arithCompatible(t1, t2), où t1 est le type de la | |
5 | * partie gauche et t2 est le type de la partie droite. | |
6 | * Un objet de le classe ResultatAffectCompatible a trois attributs : | |
7 | * <ul> | |
8 | * <li> ok, qui vaut vrai ssi t1 est de nature NatureType.Interval ou | |
9 | * NatureType.Real et t2 est de nature NatureType.Interval ou | |
10 | * NatureType.Real ; </li> | |
11 | * <li> conv1, qui vaut vrai ssi t1 est de nature NatureType.Interval et | |
12 | * t2 est de nature NatureType.Real ; </li> | |
13 | * <li> conv2, qui vaut vrai ssi t1 est de nature NatureType.Real et | |
14 | * t2 est de nature NatureType.Interval. </li> | |
15 | * </ul> | |
16 | */ | |
17 | ||
18 | 18 | public class ResultatArithCompatible extends ResultatAffectCompatible { |
19 | ||
20 | private boolean conv1; | |
21 | ||
22 | boolean getConv1() { | |
23 | 0 | return conv1; |
24 | } | |
25 | ||
26 | void setConv1(boolean conv1) { | |
27 | 0 | this.conv1 = conv1; |
28 | 0 | } |
29 | } | |
30 | ||
31 |