mycompiler.mytypereconstruction

Class CIntersectionType

java.lang.Object

mycompiler.mytypereconstruction.CIntersectionType

public class CIntersectionType
extends java.lang.Object

Ein CIntersectionType gruppiert alle Typmglichkeiten einer bestimmten Methode, die ber den CMethodKey eindeutig definiert ist.

Bei der bisherigen Implementierung enthlt IntersectionType jedoch nur eine einzige Typmglichkeit, d.h. der Vector m_MethodTypeAssumptions enthlt stets nur ein einziges Element.
Der Grund hierfr ist in der Kopplung der Typannahmen fr die einzelnen Methoden, d.h. der Typkombinationen, begrndet. Diese Kopplung von Methoden wird bisher ber die getrennten Mengen von CTypeReconstructionResults realisiert.

Version:

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

Author:

Jrg Buerle

Constructor Summary

Constructors

Constructor and Description
CIntersectionType(CMethodTypeAssumption assum)
CIntersectionType(java.lang.String className, java.lang.String methodIdentifier, int methodParaCount, int methodOverloadedID)

Method Summary

Methods

Modifier and Type	Method and Description
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: Jrg Buerle

Methods inherited from class java.lang.Object

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

Constructor Detail

CIntersectionType

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

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: Jrg Buerle

Overrides:

toString in class java.lang.Object

Returns: