Package Type
Class FunctionType
- java.lang.Object
-
- Type.Type
-
- Type.FunctionType
-
public class FunctionType extends Type
-
-
Constructor Summary
Constructors Constructor Description FunctionType(Type returnType, java.util.ArrayList<Type> argsTypes)
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
getArgsType(int i)
Getter du type du i-eme argumentint
getNbArgs()
Getter du nombre d'argumentsType
getReturnType()
Getter du type de retourType
substitute(UnknownType v, Type t)
Substitutionjava.util.Map<UnknownType,Type>
unify(Type t)
Unification-
Methods inherited from class Type.Type
substituteAll
-
-
-
-
Method Detail
-
getReturnType
public Type getReturnType()
Getter du type de retour- Returns:
- type de retour
-
getArgsType
public Type getArgsType(int i)
Getter du type du i-eme argument- Parameters:
i
- entier- Returns:
- type du i-eme argument
-
getNbArgs
public int getNbArgs()
Getter du nombre d'arguments- Returns:
- nombre d'arguments
-
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
-
-