Package Type

Class PrimitiveType


  • public class PrimitiveType
    extends Type
    • Constructor Detail

      • PrimitiveType

        public PrimitiveType​(Type.Base type)
        Constructeur
        Parameters:
        type - type de base
    • Method Detail

      • getType

        public Type.Base getType()
        Getter du type
        Returns:
        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