Package Type

Class UnknownType


  • public class UnknownType
    extends Type
    • Nested Class Summary

    • Constructor Summary

      Constructors 
      Constructor Description
      UnknownType()
      Constructeur sans nom
      UnknownType​(java.lang.String s, int n)
      Constructeur à partir d'un nom de variable et un numéro
      UnknownType​(org.antlr.v4.runtime.tree.ParseTree ctx)
      Constructeur à partir d'un ParseTree (standardisation du nom de variable)
    • Constructor Detail

      • UnknownType

        public UnknownType()
        Constructeur sans nom
      • UnknownType

        public UnknownType​(java.lang.String s,
                           int n)
        Constructeur à partir d'un nom de variable et un numéro
        Parameters:
        s - nom de variable
        n - numéro de la variable
      • UnknownType

        public UnknownType​(org.antlr.v4.runtime.tree.ParseTree ctx)
        Constructeur à partir d'un ParseTree (standardisation du nom de variable)
        Parameters:
        ctx - ParseTree
    • Method Detail

      • getVarName

        public java.lang.String getVarName()
        Getter du nom de variable de type
        Returns:
        variable de type
      • getVarIndex

        public int getVarIndex()
        Getter du numéro de variable de type
        Returns:
        numéro de variable de type
      • setVarIndex

        public void setVarIndex​(int n)
        Setter du numéro de variable de type
        Parameters:
        n - numéro de variable de type
      • unify

        public java.util.Map<UnknownType,​Type> unify​(Type t)
        Description copied from class: Type
        Unification
        Specified by:
        unify in class Type
        Parameters:
        t - type à unifier
        Returns:
        la liste des substitutions à effectuer (null si pas unifiable)
      • equals

        public boolean equals​(Type t)
        Description copied from class: Type
        Test d'égalité
        Specified by:
        equals in class Type
        Parameters:
        t - type
        Returns:
        boolean
      • substitute

        public Type substitute​(UnknownType v,
                               Type t)
        Description copied from class: Type
        Substitution
        Specified by:
        substitute in class Type
        Parameters:
        v - type variable à substituer
        t - type par lequel remplacer v
        Returns:
        Type obtenu en remplaçant v par t
      • contains

        public boolean contains​(UnknownType v)
        Description copied from class: Type
        Test si le type dépend du type variable v
        Specified by:
        contains in class Type
        Parameters:
        v - type variable
        Returns:
        boolean