Package Type

Class UnknownType

java.lang.Object

Type.Type

Type.UnknownType

public class UnknownType
extends Type

Nested Class Summary

Nested classes/interfaces inherited from class Type.Type

Type.Base

Constructor Summary

Constructors

Constructor	Description
UnknownType()	Constructeur sans nom
UnknownType(java.lang.String s, int n)	Constructeur à partir d'un nom de variable et un numéro
UnknownType(org.antlr.v4.runtime.tree.ParseTree ctx)	Constructeur à partir d'un ParseTree (standardisation du nom de variable)

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é
int	getVarIndex()	Getter du numéro de variable de type
java.lang.String	getVarName()	Getter du nom de variable de type
void	setVarIndex(int n)	Setter du numéro de variable de type
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

UnknownType

public UnknownType()

Constructeur sans nom

UnknownType

public UnknownType(java.lang.String s,
                   int n)

Constructeur à partir d'un nom de variable et un numéro

Parameters:

s - nom de variable

n - numéro de la variable

UnknownType

public UnknownType(org.antlr.v4.runtime.tree.ParseTree ctx)

Constructeur à partir d'un ParseTree (standardisation du nom de variable)

Parameters:

ctx - ParseTree

Method Detail

getVarName

public java.lang.String getVarName()

Getter du nom de variable de type

Returns:

variable de type

getVarIndex

public int getVarIndex()

Getter du numéro de variable de type

Returns:

numéro de variable de type

setVarIndex

public void setVarIndex(int n)

Setter du numéro de variable de type

Parameters:

n - numéro de variable de 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)

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