mycompiler.mytypereconstruction.typeassumption

Class CTypeAssumption

java.lang.Object

mycompiler.mytypereconstruction.typeassumption.CTypeAssumption

All Implemented Interfaces:

IHashSetElement

Direct Known Subclasses:

CInstVarTypeAssumption, CLocalVarTypeAssumption, CMethodTypeAssumption, CParaTypeAssumption

public abstract class CTypeAssumption
extends java.lang.Object
implements IHashSetElement

Diese Klasse repr�sentiert eine Typannahme und bildet einen Bezeichner innerhalb einer bestimmten Klasse auf einen angenommenen Typ ab.
Die von dieser Klasse abgeleiteten Subklassen stehen f�r bestimmte Typannahmen des abstrakten Syntaxbaumes, wie z.B. f�r Felder, Methoden, lokale Variablen, etc.

Version:

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

Author:

J�rg B�uerle

Constructor Summary

Constructors

Constructor and Description
CTypeAssumption(java.lang.String className, java.lang.String identifier, Type assumedType, int lineNumber, int offset, java.util.Vector<java.lang.Integer> OffsetVektor)

Method Summary

Methods

Modifier and Type	Method and Description
void	addOffset(int i)
abstract CTypeAssumption	clone()
boolean	equals(java.lang.Object obj)
abstract boolean	equalsAssumption(CTypeAssumption assumption)
Type	getAssumedType()
java.lang.String	getClassName()
abstract CTypeAssumptionKey	getHashSetKey()
java.lang.String	getIdentifier()
int	getLineNumber()
int	getOffset()
java.util.Vector<java.lang.Integer>	getOffsetVector()
boolean	isPlaceholderVariable()
void	setAssumedType(Type assumedType)
void	setClassName(java.lang.String className)
void	setIdentifier(java.lang.String identifier)
void	setLineNumber(int lineNumber)
void	setOffset(int Offset)
void	sub(CSubstitution substitution)
void	sub(CSubstitutionSet substitutionSet)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface mycompiler.mytypereconstruction.set.IHashSetElement

updateHashSetKey

Constructor Detail

CTypeAssumption

public CTypeAssumption(java.lang.String className,
               java.lang.String identifier,
               Type assumedType,
               int lineNumber,
               int offset,
               java.util.Vector<java.lang.Integer> OffsetVektor)

Method Detail

getClassName

public java.lang.String getClassName()

setClassName

public void setClassName(java.lang.String className)

getIdentifier

public java.lang.String getIdentifier()

setIdentifier

public void setIdentifier(java.lang.String identifier)

getAssumedType

public Type getAssumedType()

setAssumedType

public void setAssumedType(Type assumedType)

getLineNumber

public int getLineNumber()

setLineNumber

public void setLineNumber(int lineNumber)

getOffset

public int getOffset()

addOffset

public void addOffset(int i)

getOffsetVector

public java.util.Vector<java.lang.Integer> getOffsetVector()

setOffset

public void setOffset(int Offset)

sub

public void sub(CSubstitutionSet substitutionSet)

sub

public void sub(CSubstitution substitution)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public final boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

isPlaceholderVariable

public boolean isPlaceholderVariable()

equalsAssumption

public abstract boolean equalsAssumption(CTypeAssumption assumption)

clone

public abstract CTypeAssumption clone()

Overrides:

clone in class java.lang.Object

getHashSetKey

public abstract CTypeAssumptionKey getHashSetKey()

Specified by:

getHashSetKey in interface IHashSetElement