Package Type
Class ArrayType
- java.lang.Object
-
- Type.Type
-
- Type.ArrayType
-
public class ArrayType extends Type
-
-
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
getTabType()
Getter du type des éléments du tableauType
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
-
ArrayType
public ArrayType(Type t)
Constructeur- Parameters:
t
- type des éléments du tableau
-
-
Method Detail
-
getTabType
public Type getTabType()
Getter du type des éléments du tableau- Returns:
- type des éléments du tableau
-
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é
-
-