de.dhbwstuttgart.typeinference.typedeployment

Class TypeInsertSet

java.lang.Object

de.dhbwstuttgart.typeinference.typedeployment.TypeInsertSet

public class TypeInsertSet
extends java.lang.Object

Bündelt ein Set von TypeInsertPoints, welche zu einem TypeInferenceResultSet gehören. Das TypeInsertSet löst zudem Abhängigkeiten auf. Wird eine Generische Variable eingesetzt, müssen alle mit ihr in Verbindung stehenden Typen ebenfalls eingesetzt werden.

Author:

janulrich

Field Summary

Fields

Modifier and Type	Field and Description
Menge<TypeInsertPoint>	points
private ResultSet	resultSet
protected Logger	typinferenzLog

Constructor Summary

Constructors

Constructor and Description
TypeInsertSet(ResultSet resultSet)

Method Summary

Modifier and Type	Method and Description
void	add(Menge<TypeInsertPoint> insertPoints) Fügt TypeInsertPoints an
void	add(TypeInsertPoint typeInsertPoint) Fügt einen TypeInsertPoint dem TypeInsertSet hinzu.
boolean	equals(java.lang.Object obj)
TypeInsertPoint	getInsertPointFor(TypeInsertable node)
java.lang.String	insertAllTypes(java.lang.String fileContent) Deprecated.
java.lang.String	insertType(TypeInsertPoint tip, java.lang.String fileContent) Fügt nur einen einzelnen TypeInsertPoint in fileContent ein.
private void	insertType(TypeInsertPoint tip, TypePatchJob tpj) Fügt einen einzelnen TypeInsertPoint einem TypePatchJob hinzu
private boolean	pairsDeclareTPH(Menge<Pair> ps, TypePlaceholder tph)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

typinferenzLog

protected Logger typinferenzLog

points

public Menge<TypeInsertPoint> points

resultSet

private ResultSet resultSet

Constructor Detail

TypeInsertSet

public TypeInsertSet(ResultSet resultSet)

Method Detail

add

public void add(TypeInsertPoint typeInsertPoint)

Fügt einen TypeInsertPoint dem TypeInsertSet hinzu.

Parameters:

typeInsertPoint -

insertType

public java.lang.String insertType(TypeInsertPoint tip,
                                   java.lang.String fileContent)

Fügt nur einen einzelnen TypeInsertPoint in fileContent ein.

Parameters:

tip -

fileContent -

Returns:

insertType

private void insertType(TypeInsertPoint tip,
                        TypePatchJob tpj)

Fügt einen einzelnen TypeInsertPoint einem TypePatchJob hinzu

Parameters:

tip -

tpj -

pairsDeclareTPH

private boolean pairsDeclareTPH(Menge<Pair> ps,
                                TypePlaceholder tph)

insertAllTypes

@Deprecated
public java.lang.String insertAllTypes(java.lang.String fileContent)

Deprecated.

Fügt alle Typen dieses TypeInsertSets in den übergebenen Quellcode ein

Parameters:

fileContent -

Returns:

getInsertPointFor

public TypeInsertPoint getInsertPointFor(TypeInsertable node)

Parameters:

node -

Returns:

- null, falls kein InsertPoint für node vorhanden.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

add

public void add(Menge<TypeInsertPoint> insertPoints)

Fügt TypeInsertPoints an

Parameters:

insertPoints -

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object