Package Type

Class Type

    • Constructor Detail

      • Type

        public Type()
    • Method Detail

      • hashCode

        public int hashCode()
        Fonction de hashage pour les HashMap
        Overrides:
        hashCode in class java.lang.Object
        Returns:
        hash du type
      • unify

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

        public abstract boolean equals​(java.lang.Object t)
        Test d'égalité
        Overrides:
        equals in class java.lang.Object
        Parameters:
        t - Object
        Returns:
        boolean
      • substitute

        public abstract Type substitute​(UnknownType v,
                                        Type t)
        Substitution
        Parameters:
        v - type variable à substituer
        t - type par lequel remplacer v
        Returns:
        Type obtenu en remplaçant v par t
      • substituteAll

        public Type substituteAll​(java.util.Map<UnknownType,​Type> h)
        Applique plusieurs substitutions
        Parameters:
        h - liste de substitutions
        Returns:
        Type obtenu en appliquant toutes les substitutions de h
      • contains

        public abstract boolean contains​(UnknownType v)
        Test si le type dépend du type variable v
        Parameters:
        v - type variable
        Returns:
        boolean
      • toString

        public abstract java.lang.String toString()
        Convertit le type en String. Deux types égaux doivent avoir la même String.
        Overrides:
        toString in class java.lang.Object
        Returns:
        String