Package de.uka.ilkd.key.util.removegenerics

Class SingleLineCommentRepairer

java.lang.Object

de.uka.ilkd.key.util.removegenerics.SingleLineCommentRepairer

public class SingleLineCommentRepairer
extends Object

This class has been used to repair a bug in recoder. It can be removed as soon as this bug is solved. The problem is that sometimes comments do not print a newline in the end, which is ensured by repairSingleLineComments(ProgramElement) TODO remove as soon as recoder is patched

Constructor Summary

Constructors

Constructor	Description
SingleLineCommentRepairer()

Method Summary

Modifier and Type	Method	Description
static void	repairSingleLineComments(recoder.java.ProgramElement programElement)

Methods inherited from class java.lang.Object

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

Constructor Details

SingleLineCommentRepairer

public SingleLineCommentRepairer()

Method Details

repairSingleLineComments

public static void repairSingleLineComments(recoder.java.ProgramElement programElement)