mycompiler.mytypereconstruction

Class CTriple

java.lang.Object

mycompiler.mytypereconstruction.CTriple

public class CTriple
extends java.lang.Object

Container-Klasse f�r Ergebniswerte der Algorithmen TRStmt und TRExp. (siehe Algorithmus 5.20 ff TRStmt und 5.30 ff TRExp, Martin Pl�micke) CTriple steht genau wie CReconstructionTuple f�r eine m�gliche Typkombination mit dem einzigen Unterschied, dass sie zus�tzlich noch den berechneten ReturnType des aktuell betrachteten Blocks enth�lt. Bei diesem ReturnTyp kann es sich auch nur um eine Vermutung handeln. Die Klasse taucht meistens als CTripleSet auf. Der Inferenzalgorithmus kann dann unter den verschiedenen vorgeschlagenen ReturnTypen ausw�hlen.

Version:

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

Author:

J�rg B�uerle

Constructor Summary

Constructors

Constructor and Description
CTriple() Author: J�rg B�uerle
CTriple(CSubstitutionSet substitutions, Type resultType, CTypeAssumptionSet assumptionSet)

Method Summary

Methods

Modifier and Type	Method and Description
CTriple	clone()
CTriple	cloneAndApplyUnify(CSubstitutionSet unifier) Kopiert dieses Triple und wendet alle Substitutionen eines Unifiers auf die Kopie an.
boolean	equals(java.lang.Object obj)
CTypeAssumptionSet	getAssumptionSet() Author: J�rg B�uerle
Type	getResultType() Author: J�rg B�uerle
CSubstitutionSet	getSubstitutions() Author: J�rg B�uerle
void	setAssumptionSet(CTypeAssumptionSet assumptionSet) Author: J�rg B�uerle
void	setResultType(Type resultType) Author: J�rg B�uerle
void	setSubstitutions(CSubstitutionSet substitutions) 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

CTriple

public CTriple()

Author: J�rg B�uerle

CTriple

public CTriple(CSubstitutionSet substitutions,
       Type resultType,
       CTypeAssumptionSet assumptionSet)

Parameters:

substitutions -

resultType -

assumptionSet -

Method Detail

getAssumptionSet

public CTypeAssumptionSet getAssumptionSet()

Author: J�rg B�uerle

Returns:

Returns the AssumptionSet.

setAssumptionSet

public void setAssumptionSet(CTypeAssumptionSet assumptionSet)

Author: J�rg B�uerle

Parameters:

assumptionSet - The AssumptionSet to set.

getResultType

public Type getResultType()

Author: J�rg B�uerle

Returns:

Returns the ResultType.

setResultType

public void setResultType(Type resultType)

Author: J�rg B�uerle

Parameters:

resultType - The ResultType to set.

getSubstitutions

public CSubstitutionSet getSubstitutions()

Author: J�rg B�uerle

Returns:

Returns the Substitutions.

setSubstitutions

public void setSubstitutions(CSubstitutionSet substitutions)

Author: J�rg B�uerle

Parameters:

substitution - The Substitutions 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 CTriple clone()

Overrides:

clone in class java.lang.Object

cloneAndApplyUnify

public CTriple cloneAndApplyUnify(CSubstitutionSet unifier)

Kopiert dieses Triple und wendet alle Substitutionen eines Unifiers auf die Kopie an.
Author: J�rg B�uerle

Parameters:

unifier -

Returns:

Die Kopie nach Anwendung des Unifiers