Package Type

Class FunctionType

java.lang.Object

Type.Type

Type.FunctionType

public class FunctionType
extends Type

Nested Class Summary

Nested classes/interfaces inherited from class Type.Type

Type.Base

Constructor Summary

Constructors

Constructor	Description
FunctionType(Type returnType, java.util.ArrayList<Type> argsTypes)	Constructeur

Method Summary

Modifier and Type	Method	Description
boolean	contains(UnknownType v)	Test si le type dépend du type variable v
boolean	equals(java.lang.Object t)	Test d'égalité
Type	getArgsType(int i)	Getter du type du i-eme argument
int	getNbArgs()	Getter du nombre d'arguments
Type	getReturnType()	Getter du type de retour
Type	substitute(UnknownType v, Type t)	Substitution
java.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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FunctionType

public FunctionType(Type returnType,
                    java.util.ArrayList<Type> argsTypes)

Constructeur

Parameters:

returnType - type de retour

argsTypes - liste des types des arguments

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

Specified by:

unify in class Type

Parameters:

t - type à unifier

Returns:

la liste des substitutions à effectuer (null si pas unifiable)

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

equals

public boolean equals(java.lang.Object t)

Description copied from class: Type

Test d'égalité

Specified by:

equals in class Type

Parameters:

t - Object

Returns:

boolean

toString

public java.lang.String toString()

Description copied from class: Type

Convertit le type en String. Deux types égaux doivent avoir la même String.

Specified by:

toString in class Type

Returns:

String