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(Type t)
Test d'égalitéType.Base
getType()
Getter du typeType
substitute(UnknownType v, Type t)
Substitutionjava.util.Map<UnknownType,Type>
unify(Type t)
Unification-
Methods inherited from class Type.Type
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
-
-