Class PreconditionGenerator


  • public class PreconditionGenerator
    extends BaseGenerator
    Code generator for preconditions.
    • Constructor Detail

      • PreconditionGenerator

        public PreconditionGenerator​(ReaderSource source)
    • Method Detail

      • generatePreconditionAssertionStatement

        public void generatePreconditionAssertionStatement​(MethodNode method,
                                                           Precondition precondition)
        Injects a precondition assertion statement in the given method, based on the given annotation of type Requires.
        Parameters:
        method - the MethodNode for assertion injection
        precondition - the Precondition the assertion statement should be generated from