mycompiler.mytypereconstruction.set

Class CSubstitutionSet

java.lang.Object

mycompiler.mytypereconstruction.set.CSet<E>

mycompiler.mytypereconstruction.set.CVectorSet<CSubstitution>

mycompiler.mytypereconstruction.set.CSubstitutionSet

All Implemented Interfaces:

java.lang.Iterable<CSubstitution>

public class CSubstitutionSet
extends CVectorSet<CSubstitution>

Version:

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

Author:

J�rg B�uerle

Constructor Summary

Constructors

Constructor and Description
CSubstitutionSet()
CSubstitutionSet(java.util.Vector<Pair> unifiers)

Method Summary

Methods

Modifier and Type	Method and Description
Type	applyThisSubstitutionSet(Type type)
void	applyUnifier(CSubstitutionSet unifier) Wendet den Unifier auf die rechten Seiten alle Substitutionen an.
CSubstitutionSet	deepCopy()
void	execute() F�hrt jede einzelne CSubstitution aus.
java.util.Iterator<CSubstitution>	iterator()
CSubstitutionSet	shallowCopy()

Methods inherited from class mycompiler.mytypereconstruction.set.CVectorSet

addAll, addElement, contains, equals, getCardinality, getIterator, getVector, removeElement, setVector, subtract, unite

Methods inherited from class mycompiler.mytypereconstruction.set.CSet

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

CSubstitutionSet

public CSubstitutionSet()

CSubstitutionSet

public CSubstitutionSet(java.util.Vector<Pair> unifiers)
                 throws CTypeReconstructionException

Throws:

CTypeReconstructionException

Method Detail

shallowCopy

public CSubstitutionSet shallowCopy()

Specified by:

shallowCopy in class CSet<CSubstitution>

deepCopy

public CSubstitutionSet deepCopy()

Specified by:

deepCopy in class CSet<CSubstitution>

applyUnifier

public void applyUnifier(CSubstitutionSet unifier)

Wendet den Unifier auf die rechten Seiten alle Substitutionen an.
Author: J�rg B�uerle

Parameters:

unifier -

applyThisSubstitutionSet

public Type applyThisSubstitutionSet(Type type)

execute

public void execute()
             throws CTypeReconstructionException

F�hrt jede einzelne CSubstitution aus.
Author: J�rg B�uerle

Throws:

CTypeReconstructionException - Falls TypePlaceholder nicht in Registry gefunden wird.

iterator

public java.util.Iterator<CSubstitution> iterator()