mycompiler.mytypereconstruction.typeassumption

Class CMethodTypeAssumption

java.lang.Object

mycompiler.mytypereconstruction.typeassumption.CTypeAssumption

mycompiler.mytypereconstruction.typeassumption.CMethodTypeAssumption

All Implemented Interfaces:

IHashSetElement

public class CMethodTypeAssumption
extends CTypeAssumption

Version:

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

Author:

Jrg Buerle

Constructor Summary

Constructors

Constructor and Description
CMethodTypeAssumption(Type classType, java.lang.String identifier, Type assumedType, int parameterCount, int lineNumber, int offset, java.util.Vector<java.lang.Integer> Offsetvektor, java.util.Vector<GenericTypeVar> genericMethodParameters)

Method Summary

Methods

Modifier and Type	Method and Description
void	addParaAssumption(CParaTypeAssumption paraAssumption)
CMethodTypeAssumption	clone() Author: Jrg Buerle
boolean	equalsAssumption(CTypeAssumption assumption) Author: Jrg Buerle
Type	getClassType() Liefert den angenommenen Typ f�r die Klasse, welche diese Methode enth�lt.
java.util.Vector<GenericTypeVar>	getGenericMethodParameters()
CMethodKey	getHashSetKey() Author: Jrg Buerle
int	getOverloadedMethodID()
CParaTypeAssumption	getParaAssumption(int index)
java.util.Vector<CParaTypeAssumption>	getParaAssumptions() Author: Jrg Buerle
int	getParaCount() Author: Jrg Buerle
void	sub(CSubstitution substitution)
java.lang.String	toString()
void	updateHashSetKey(IHashSetKey key)

Methods inherited from class mycompiler.mytypereconstruction.typeassumption.CTypeAssumption

addOffset, equals, getAssumedType, getClassName, getIdentifier, getLineNumber, getOffset, getOffsetVector, isPlaceholderVariable, setAssumedType, setClassName, setIdentifier, setLineNumber, setOffset, sub

Methods inherited from class java.lang.Object

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

Constructor Detail

CMethodTypeAssumption

public CMethodTypeAssumption(Type classType,
                     java.lang.String identifier,
                     Type assumedType,
                     int parameterCount,
                     int lineNumber,
                     int offset,
                     java.util.Vector<java.lang.Integer> Offsetvektor,
                     java.util.Vector<GenericTypeVar> genericMethodParameters)

Method Detail

getParaCount

public int getParaCount()

Author: Jrg Buerle

Returns:

Returns the ParaCount.

getGenericMethodParameters

public java.util.Vector<GenericTypeVar> getGenericMethodParameters()

addParaAssumption

public void addParaAssumption(CParaTypeAssumption paraAssumption)

getParaAssumption

public CParaTypeAssumption getParaAssumption(int index)

getParaAssumptions

public java.util.Vector<CParaTypeAssumption> getParaAssumptions()

Author: Jrg Buerle

Returns:

Returns the m_ParaAssumptions.

sub

public void sub(CSubstitution substitution)

Overrides:

sub in class CTypeAssumption

equalsAssumption

public boolean equalsAssumption(CTypeAssumption assumption)

Author: Jrg Buerle

Specified by:

equalsAssumption in class CTypeAssumption

Parameters:

assumption -

Returns:

toString

public java.lang.String toString()

Overrides:

toString in class CTypeAssumption

getHashSetKey

public CMethodKey getHashSetKey()

Author: Jrg Buerle

Specified by:

getHashSetKey in interface IHashSetElement

Specified by:

getHashSetKey in class CTypeAssumption

Returns:

getOverloadedMethodID

public int getOverloadedMethodID()

clone

public CMethodTypeAssumption clone()

Author: Jrg Buerle

Specified by:

clone in class CTypeAssumption

Returns:

updateHashSetKey

public void updateHashSetKey(IHashSetKey key)

getClassType

public Type getClassType()

Liefert den angenommenen Typ f�r die Klasse, welche diese Methode enth�lt.

Returns: