mycompiler.mytypereconstruction
Class CIntersectionType

java.lang.Object
  mycompiler.mytypereconstruction.CIntersectionType

public class CIntersectionType
extends java.lang.Object

Ein CIntersectionType gruppiert alle Typmöglichkeiten einer bestimmten Methode, die über den CMethodKey eindeutig definiert ist.

Bei der bisherigen Implementierung enthält IntersectionType jedoch nur eine einzige Typmöglichkeit, d.h. der Vector m_MethodTypeAssumptions enthält stets nur ein einziges Element.
Der Grund hierfür ist in der Kopplung der Typannahmen für die einzelnen Methoden, d.h. der Typkombinationen, begründet. Diese Kopplung von Methoden wird bisher über die getrennten Mengen von CTypeReconstructionResults realisiert.

Version:

$Date: 2005/06/28 19:19:10 $

Author:

Jörg Bäuerle

Constructor Summary

CIntersectionType(CMethodTypeAssumption assum)

CIntersectionType(java.lang.String className, java.lang.String methodIdentifier, int methodParaCount)

Method Summary

void	addMethodTypeAssumption(CMethodTypeAssumption assum)
CMethodKey	getIntersectionTypeKey()
java.util.Vector<CMethodTypeAssumption>	getMethodTypeAssumptions()
void	removeMethodTypeAssumption(CMethodTypeAssumption assum)
void	setIntersectionTypeKey(CMethodKey intersectionTypeKey)
void	setMethodTypeAssumptions(java.util.Vector<CMethodTypeAssumption> methodTypeAssumptions)
java.lang.String	toString() Author: Jörg Bäuerle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CIntersectionType

public CIntersectionType(java.lang.String className,
                         java.lang.String methodIdentifier,
                         int methodParaCount)

CIntersectionType

public CIntersectionType(CMethodTypeAssumption assum)

Method Detail

getIntersectionTypeKey

public CMethodKey getIntersectionTypeKey()

setIntersectionTypeKey

public void setIntersectionTypeKey(CMethodKey intersectionTypeKey)

getMethodTypeAssumptions

public java.util.Vector<CMethodTypeAssumption> getMethodTypeAssumptions()

setMethodTypeAssumptions

public void setMethodTypeAssumptions(java.util.Vector<CMethodTypeAssumption> methodTypeAssumptions)

addMethodTypeAssumption

public void addMethodTypeAssumption(CMethodTypeAssumption assum)

removeMethodTypeAssumption

public void removeMethodTypeAssumption(CMethodTypeAssumption assum)

toString

public java.lang.String toString()

Author: Jörg Bäuerle

Overrides:

toString in class java.lang.Object

Returns: