Package Type
Class PrimitiveType
- java.lang.Object
-
- Type.Type
-
- Type.PrimitiveType
-
public class PrimitiveType extends Type
-
-
Constructor Summary
Constructors Constructor Description PrimitiveType(Type.Base type)
Constructeur
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
contains(UnknownType v)
Test si le type dépend du type variable vboolean
equals(java.lang.Object t)
Test d'égalitéType.Base
getType()
Getter du typeType
substitute(UnknownType v, Type t)
Substitutionjava.lang.String
toString()
Convertit le type en String.java.util.Map<UnknownType,Type>
unify(Type t)
Unification-
Methods inherited from class Type.Type
hashCode, substituteAll
-
-
-
-
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
-
substitute
public Type substitute(UnknownType v, Type t)
Description copied from class:Type
Substitution- Specified by:
substitute
in classType
- Parameters:
v
- type variable à substituert
- 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
-
equals
public boolean equals(java.lang.Object t)
Description copied from class:Type
Test d'égalité
-
-