mycompiler.mytype

Class RefType

java.lang.Object

mycompiler.mytype.Type

mycompiler.mytype.RefType

All Implemented Interfaces:

IItemWithOffset, IMatchable

Direct Known Subclasses:

FunN, Void

public class RefType
extends Type
implements IMatchable

Constructor Summary

Constructors

Constructor and Description
RefType(int offset)
RefType(RefType R, int offset)
RefType(java.lang.String fullyQualifiedName, int offset)
RefType(java.lang.String fullyQualifiedName, java.util.Vector parameter, int offset)
RefType(Type baseType) Erstellt einen Referenztyp aus dem �bergebenen Type.

Method Summary

Methods

Modifier and Type	Method and Description
void	add_Parameter(Type o)
RefType	clone() Author: J�rg B�uerle
boolean	equals(java.lang.Object obj) Author: Jrg Buerle
boolean	Equiv2Equal(RefType ty2, java.util.Hashtable<java.lang.String,Type> ht)
CSubstitutionSet	GenericTypeVar2TypePlaceholder()
java.lang.String	get_Name()
java.util.Vector<Type>	get_ParaList()
Type	getMatchType() Author: Arne L�dtke Gibt den Typen zur�ck, der bei einem match im Unify verwendet werden soll.
java.lang.String	getName()
java.lang.String	getParaN(int n)
boolean	getPrimitiveFlag()
java.lang.String	getSignatureType(java.util.Vector paralist) Liefert den Typ fuer das Signature-Attribut zurueck.
java.lang.String	getSimpleName() HOTI Liefert bei Klassen die fullyQualified angegeben wurden nur den schlussendlichen Bezeichner p.ex. java.util.Vector => Vector
java.util.ArrayList<SuperWildcardType>	getSuperWildcardTypes() Liefert alle SuperWildcardTypes, die in diesem Typ enthalten sind.
java.lang.String	getTypeName()
boolean	is_Equiv(RefType ty2, java.util.Hashtable<java.lang.String,Type> ht)
boolean	IsArray() Author: Daniel Feinler Handelt ab, ob der Typ eines Objekts ein Array ist, wenn true dann wird im Bytecode ein flag gesetzt wenn nicht, dann halt nicht.
boolean	isTV(int n)
GenericTypeVar	modifyToGenericTypeVar()
java.lang.String	printJavaCode(ResultSet resultSet)
void	set_ParaList(java.util.Vector<Type> v)
void	setArray(boolean IsArray) Author: Daniel Feinler Handelt ab, ob der Typ eines Objekts ein Array ist, wenn true dann wird im Bytecode ein flag gesetzt wenn nicht, dann halt nicht.
void	setName(java.lang.String name)
void	setPrimitiveFlag(boolean b)
java.lang.String	toString() Author: J�rg B�uerle
java.lang.String	Type2Key()
java.lang.String	Type2String()

Methods inherited from class mycompiler.mytype.Type

get_codegen_Type, get_UsedId, getOffset, getVariableLength, removeClassParameters, set_UsedId

Methods inherited from class java.lang.Object

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

Constructor Detail

RefType

public RefType(int offset)

RefType

public RefType(java.lang.String fullyQualifiedName,
       int offset)

RefType

public RefType(java.lang.String fullyQualifiedName,
       java.util.Vector parameter,
       int offset)

RefType

public RefType(RefType R,
       int offset)

RefType

public RefType(Type baseType)

Erstellt einen Referenztyp aus dem �bergebenen Type. Dabei wird der Name und der Offset des baseType's �bernommen.

Parameters:

baseType -

Method Detail

Type2Key

public java.lang.String Type2Key()

Overrides:

Type2Key in class Type

Type2String

public java.lang.String Type2String()

Overrides:

Type2String in class Type

GenericTypeVar2TypePlaceholder

public CSubstitutionSet GenericTypeVar2TypePlaceholder()

setName

public void setName(java.lang.String name)

get_Name

public java.lang.String get_Name()

Overrides:

get_Name in class Type

getName

public java.lang.String getName()

Overrides:

getName in class Type

set_ParaList

public void set_ParaList(java.util.Vector<Type> v)

get_ParaList

public java.util.Vector<Type> get_ParaList()

add_Parameter

public void add_Parameter(Type o)

getTypeName

public java.lang.String getTypeName()

getParaN

public java.lang.String getParaN(int n)
                          throws SCException

Throws:

SCException

isTV

public boolean isTV(int n)

is_Equiv

public boolean is_Equiv(RefType ty2,
               java.util.Hashtable<java.lang.String,Type> ht)

Equiv2Equal

public boolean Equiv2Equal(RefType ty2,
                  java.util.Hashtable<java.lang.String,Type> ht)

equals

public boolean equals(java.lang.Object obj)

Author: Jrg Buerle

Overrides:

equals in class Type

Parameters:

Object -

Returns:

clone

public RefType clone()

Description copied from class: Type

Author: J�rg B�uerle

Overrides:

clone in class Type

toString

public java.lang.String toString()

Description copied from class: Type

Author: J�rg B�uerle

Overrides:

toString in class Type

modifyToGenericTypeVar

public GenericTypeVar modifyToGenericTypeVar()

getSimpleName

public java.lang.String getSimpleName()

HOTI Liefert bei Klassen die fullyQualified angegeben wurden nur den schlussendlichen Bezeichner p.ex. java.util.Vector => Vector

Overrides:

getSimpleName in class Type

Returns:

getSignatureType

public java.lang.String getSignatureType(java.util.Vector paralist)

Description copied from class: Type

Liefert den Typ fuer das Signature-Attribut zurueck.

Overrides:

getSignatureType in class Type

setPrimitiveFlag

public void setPrimitiveFlag(boolean b)

getPrimitiveFlag

public boolean getPrimitiveFlag()

IsArray

public boolean IsArray()

Author: Daniel Feinler
Handelt ab, ob der Typ eines Objekts ein Array ist, wenn true dann wird im Bytecode ein flag gesetzt wenn nicht, dann halt nicht.

Returns:

the IsArray

setArray

public void setArray(boolean IsArray)

Author: Daniel Feinler
Handelt ab, ob der Typ eines Objekts ein Array ist, wenn true dann wird im Bytecode ein flag gesetzt wenn nicht, dann halt nicht.

Parameters:

IsArray - the IsArray to set

getMatchType

public Type getMatchType()

Author: Arne L�dtke
Gibt den Typen zur�ck, der bei einem match im Unify verwendet werden soll. Wird �ber IMatchable implementiert.

Specified by:

getMatchType in interface IMatchable

printJavaCode

public java.lang.String printJavaCode(ResultSet resultSet)

Overrides:

printJavaCode in class Type

getSuperWildcardTypes

public java.util.ArrayList<SuperWildcardType> getSuperWildcardTypes()

Liefert alle SuperWildcardTypes, die in diesem Typ enthalten sind. Dabei werden auch die parameter auf SuperWildcardTypes durchsucht.

Overrides:

getSuperWildcardTypes in class Type

Returns: