runner library
Classes
- BuilderEntry
- An abstract class representing a builder configuration and its execution context.
- BuilderEntryImpl
- An implementation of BuilderEntry that wraps a standard builder.
- CombiningBuilderEntry
- A BuilderEntry that combines multiple builders into a single logical unit.
Functions
-
runBuilders(
List< BuilderEntry> builders, List<String> args) → Future<int> - Entry point for executing Lean Builder commands with the provided builders.
Typedefs
- BuilderFactory = Builder Function(BuilderOptions options)
-
Creates a Builder honoring the configuration in
options. - GeneratorFactory = Generator Function(BuilderOptions options)
-
Creates a Generator with the given
options.