package typinferenz; import java.util.Vector; /** * Bündelt ein Set von TypeInsertPoints, die alle zu einem TypePlaceholder gehören. * Diese müssen gemeinsam eingesetzt werden. * @author janulrich * */ public class TypeInsertSet { Vector points = new Vector(); public TypeInsertSet(TypeInsertPoint p){ points.add(p); } public TypeInsertSet() { } public void add(TypeInsertPoint typeInsertPoint) { points.add(typeInsertPoint); } /** * Fügt alle Typen dieses TypeInsertSets in den übergebenen Quellcode ein * @param fileContent * @return */ public String insertAllTypes(String fileContent) { int additionalOffset = 0; String ret = fileContent; for(TypeInsertPoint p : points){ ret = p.insertType(ret, additionalOffset); additionalOffset += p.getInsertLength(); } return ret; } }