mycompiler.mytypereconstruction

Class CSubstitution

java.lang.Object

mycompiler.mytypereconstruction.CSubstitution

Direct Known Subclasses:

CSubstitutionGenVar

public class CSubstitution
extends java.lang.Object

Implementierung einer Typsubstitution. Bildet eine zu ersetzende TypePlaceholder auf einen Substitutions-Typ ab. Instanzen dieser Klasse werden in der Regel aus Pair-Objekten erzeugt.

Version:

$Date: 2013/09/22 20:12:50 $

Author:

J�rg B�uerle

Constructor Summary

Constructors

Constructor and Description
CSubstitution()
CSubstitution(Pair unifier)
CSubstitution(TypePlaceholder typeVar, Type type)

Method Summary

Methods

Modifier and Type	Method and Description
Type	applyThisSubstitution(Type type)
void	applyUnifier(CSubstitutionSet unifier) Wendet den Unifier auf die rechte Seite dieser Substitution an.
CSubstitution	clone()
boolean	equals(java.lang.Object obj)
void	execute() Sucht die eindeutige Instanz der Typeplaceholders in der Registry der Typeplaceholders des Syntaxbaumes und f�hrt die Typsubstitution im Syntaxbaum durch.
Type	getType() Author: J�rg B�uerle
Type	getTypeVar() Author: J�rg B�uerle
void	setType(Type type) Author: J�rg B�uerle
void	setTypeVar(TypePlaceholder typeVar) Author: J�rg B�uerle
java.lang.String	toString()

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CSubstitution

public CSubstitution()

CSubstitution

public CSubstitution(TypePlaceholder typeVar,
             Type type)

CSubstitution

public CSubstitution(Pair unifier)
              throws CTypeReconstructionException

Throws:

CTypeReconstructionException

Method Detail

getType

public Type getType()

Author: J�rg B�uerle

Returns:

Returns the Type.

setType

public void setType(Type type)

Author: J�rg B�uerle

Parameters:

type - The Type to set.

getTypeVar

public Type getTypeVar()

Author: J�rg B�uerle

Returns:

Returns the TypeVar.

setTypeVar

public void setTypeVar(TypePlaceholder typeVar)

Author: J�rg B�uerle

Parameters:

typeVar - The TypeVar to set.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

clone

public CSubstitution clone()

Overrides:

clone in class java.lang.Object

execute

public void execute()
             throws CTypeReconstructionException

Sucht die eindeutige Instanz der Typeplaceholders in der Registry der Typeplaceholders des Syntaxbaumes und f�hrt die Typsubstitution im Syntaxbaum durch.
Author: J�rg B�uerle wenn die TypePlaceholder nicht in der Registry gefunden wurde.

Throws:

CTypeReconstructionException - Falls TypePlaceholder nicht in Registry gefunden wird.

applyUnifier

public void applyUnifier(CSubstitutionSet unifier)

Wendet den Unifier auf die rechte Seite dieser Substitution an.
Author: J�rg B�uerle

Parameters:

unifier -

applyThisSubstitution

public Type applyThisSubstitution(Type type)