typinferenz

Class FunN

java.lang.Object

mycompiler.mytype.Type

mycompiler.mytype.RefType

typinferenz.FunN

All Implemented Interfaces:

IItemWithOffset, IMatchable, ITypeReplacementListener

public class FunN
extends RefType
implements ITypeReplacementListener

Author:

A10023 - Andreas Stadelmeier

See Also:

"Complete Typeinference in Java 8" von Martin Pl�micke "interface FunN { R apply(T1 arg1, T2 arg2, ... , TN argN); }"

Constructor Summary

Constructors

Constructor and Description
FunN(int parameterCount) Erstellt eine FunN: FunN R und T1 - TparameterCount werden mit TypePlaceholdern besetzt.
FunN(Type R, java.util.Vector<Type> T)

Method Summary

Methods

Modifier and Type	Method and Description
RefType	clone() Ein �berschreiben der clone-Methode ist notwendig, da sonst beim Unify-Algorithmus die Clone-Methode der Superklasse "RefType" ausgef�hrt wird.
int	getTypeLineNumber() Gibt die Zeilennummer zur�ck, in der eine TypePlaceholder angelegt worden ist.
java.lang.String	printJavaCode(ResultSet resultSet)
void	replaceType(CReplaceTypeEvent e) Tauscht einen Typ gegen einen anderen aus.
CMethodTypeAssumption	toCMethodTypeAssumption()

Methods inherited from class mycompiler.mytype.RefType

add_Parameter, equals, Equiv2Equal, GenericTypeVar2TypePlaceholder, get_Name, get_ParaList, getMatchType, getName, getParaN, getPrimitiveFlag, getSignatureType, getSimpleName, getSuperWildcardTypes, getTypeName, is_Equiv, IsArray, isTV, modifyToGenericTypeVar, set_ParaList, setArray, setName, setPrimitiveFlag, toString, Type2Key, 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

FunN

public FunN(Type R,
    java.util.Vector<Type> T)

Parameters:

R -

T -

FunN

public FunN(int parameterCount)

Erstellt eine FunN: FunN R und T1 - TparameterCount werden mit TypePlaceholdern besetzt.

Parameters:

parameterCount -

Method Detail

replaceType

public void replaceType(CReplaceTypeEvent e)

Description copied from interface: ITypeReplacementListener

Tauscht einen Typ gegen einen anderen aus.
Author: J�rg B�uerle

Specified by:

replaceType in interface ITypeReplacementListener

Parameters:

e - Das Event mit dem neuen Typ

getTypeLineNumber

public int getTypeLineNumber()

Description copied from interface: ITypeReplacementListener

Gibt die Zeilennummer zur�ck, in der eine TypePlaceholder angelegt worden ist.
Author: J�rg B�uerle

Specified by:

getTypeLineNumber in interface ITypeReplacementListener

Returns:

Die Zeilennummer

toCMethodTypeAssumption

public CMethodTypeAssumption toCMethodTypeAssumption()

printJavaCode

public java.lang.String printJavaCode(ResultSet resultSet)

Overrides:

printJavaCode in class RefType

clone

public RefType clone()

Ein �berschreiben der clone-Methode ist notwendig, da sonst beim Unify-Algorithmus die Clone-Methode der Superklasse "RefType" ausgef�hrt wird.

Overrides:

clone in class RefType