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: 2005/06/28 19:19:09 $

Author:

Jörg Bäuerle

Field Summary

protected Type	m_AssumedType
protected java.lang.String	m_ClassName
protected java.lang.String	m_Identifier
protected int	m_LineNumber

Constructor Summary

CTypeAssumption(java.lang.String className, java.lang.String identifier, Type assumedType, int lineNumber)

Method Summary

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()
boolean	isTyploseVariable()
void	print()
void	setAssumedType(Type assumedType)
void	setClassName(java.lang.String className)
void	setIdentifier(java.lang.String identifier)
void	setLineNumber(int lineNumber)
void	sub(CSubstitution substitution)
void	sub(CSubstitutionSet substitutionSet)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

m_ClassName

protected java.lang.String m_ClassName

m_Identifier

protected java.lang.String m_Identifier

m_AssumedType

protected Type m_AssumedType

m_LineNumber

protected int m_LineNumber

Constructor Detail

CTypeAssumption

public CTypeAssumption(java.lang.String className,
                       java.lang.String identifier,
                       Type assumedType,
                       int lineNumber)

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)

print

public void print()

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

isTyploseVariable

public boolean isTyploseVariable()

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