mycompiler.mytypereconstruction

Class CSubstitutionGenVar

java.lang.Object

mycompiler.mytypereconstruction.CSubstitution

mycompiler.mytypereconstruction.CSubstitutionGenVar

public class CSubstitutionGenVar
extends CSubstitution

Implementierung einer Typsubstitution der GenVar. 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:

Martin Pl�micke

Constructor Summary

Constructors

Constructor and Description
CSubstitutionGenVar()
CSubstitutionGenVar(GenericTypeVar typeVar, Type type)

Method Summary

Methods

Modifier and Type	Method and Description
Type	getTypeVar() Author: J�rg B�uerle
java.lang.String	toString()

Methods inherited from class mycompiler.mytypereconstruction.CSubstitution

applyThisSubstitution, applyUnifier, clone, equals, execute, getType, setType, setTypeVar

Methods inherited from class java.lang.Object

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

Constructor Detail

CSubstitutionGenVar

public CSubstitutionGenVar()

CSubstitutionGenVar

public CSubstitutionGenVar(GenericTypeVar typeVar,
                   Type type)

Method Detail

getTypeVar

public Type getTypeVar()

Author: J�rg B�uerle

Overrides:

getTypeVar in class CSubstitution

Returns:

Returns the TypeVar.

toString

public java.lang.String toString()

Overrides:

toString in class CSubstitution