Package Type

Class ArrayType

java.lang.Object

Type.Type

Type.ArrayType

public class ArrayType
extends Type

Nested Class Summary

Nested classes/interfaces inherited from class Type.Type

Type.Base

Constructor Summary

Constructors

Constructor	Description
ArrayType(Type t)	Constructeur

Method Summary

Modifier and Type	Method	Description
boolean	contains(UnknownType v)	Test si le type dépend du type variable v
boolean	equals(Type t)	Test d'égalité
Type	getTabType()	Getter du type des éléments du tableau
Type	substitute(UnknownType v, Type t)	Substitution
java.util.Map<UnknownType,Type>	unify(Type t)	Unification

Methods inherited from class Type.Type

substituteAll

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

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