Class ReturnAdder


  • public class ReturnAdder
    extends java.lang.Object
    Utility class to add return statements. Extracted from Verifier as it can be useful for some AST transformations