ProjetCompil.Verif.Src
Class ResultatUnaireCompatible

java.lang.Object
  extended by ProjetCompil.Verif.Src.ResultatUnaireCompatible

public class ResultatUnaireCompatible
extends java.lang.Object

Résultat de l'opération unaireCompatible(noeud, t), où noeud représente une opération unaire et t est le type de l'expression. Un objet de la classe ResultatUnaireCompatible a deux attributs :

  • ok, qui vaut vrai ssi on peut appliquer l'opération représentée par noeud au type t ;
  • typeRes, qui donne le type du résultat de l'opération représentée par noeud.

  • Constructor Summary
    ResultatUnaireCompatible()
               
     
    Method Summary
     
    Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
     

    Constructor Detail

    ResultatUnaireCompatible

    public ResultatUnaireCompatible()