public class ReglesTypage
extends java.lang.Object
Constructor and Description |
---|
ReglesTypage() |
Modifier and Type | Method and Description |
---|---|
(package private) static ProjetCompil.Verif.Src.ResultatAffectCompatible |
affectCompatible(ProjetCompil.Global.Src.Type t1,
ProjetCompil.Global.Src.Type t2)
Teste si le type t1 et le type t2 sont compatibles pour l'affectation,
c'est à dire si on peut affecter un objet de t2 à un objet de type t1.
|
(package private) static ProjetCompil.Verif.Src.ResultatBinaireCompatible |
binaireCompatible(ProjetCompil.Global.Src.Noeud noeud,
ProjetCompil.Global.Src.Type t1,
ProjetCompil.Global.Src.Type t2)
Teste si le type t1 et le type t2 sont compatible pour l'opération
binaire représentée dans noeud.
|
(package private) static ProjetCompil.Verif.Src.ResultatUnaireCompatible |
unaireCompatible(ProjetCompil.Global.Src.Noeud noeud,
ProjetCompil.Global.Src.Type t)
Teste si le type t est compatible pour l'opération binaire représentée
dans noeud.
|
static ProjetCompil.Verif.Src.ResultatAffectCompatible affectCompatible(ProjetCompil.Global.Src.Type t1, ProjetCompil.Global.Src.Type t2) throws ProjetCompil.Verif.Src.ErreurReglesTypage
t1
- Type du membre de gauchet2
- Type du membre de droiteProjetCompil.Verif.Src.ErreurReglesTypage
- Si on a pas implémenté tout les types d'identificateurstatic ProjetCompil.Verif.Src.ResultatBinaireCompatible binaireCompatible(ProjetCompil.Global.Src.Noeud noeud, ProjetCompil.Global.Src.Type t1, ProjetCompil.Global.Src.Type t2) throws ProjetCompil.Verif.Src.ErreurReglesTypage
noeud
- Contient le noeud, c'est a dire l'operateurt1
- Type du membre de gauchet2
- Type du membre de droiteProjetCompil.Verif.Src.ErreurReglesTypage
static ProjetCompil.Verif.Src.ResultatUnaireCompatible unaireCompatible(ProjetCompil.Global.Src.Noeud noeud, ProjetCompil.Global.Src.Type t) throws ProjetCompil.Verif.Src.ErreurReglesTypage
noeud
- t
- ProjetCompil.Verif.Src.ErreurReglesTypage