Class ReturnAdder


  • public class ReturnAdder
    extends Object
    Utility class to add return statements.

    Extracted from Verifier as it can be useful for some AST transformations.