Package Type

Class PrimitiveType

java.lang.Object

Type.Type

Type.PrimitiveType

public class PrimitiveType
extends Type

Nested Class Summary

Nested classes/interfaces inherited from class Type.Type

Type.Base

Constructor Summary

Constructors

Constructor	Description
PrimitiveType(Type.Base type)	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.Base	getType()	Getter du type
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

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

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