Ellen Spertus
10/29/2019, 8:32 PMstop()
method that currently doesn’t do anything. I want the API to say that the stop()
method should be called when it is no longer needed. It’s not the caller’s business whether any instructions are there or not. There may be in the future. Or is this a case of YAGNI?Mike
10/29/2019, 9:58 PMEllen Spertus
10/29/2019, 10:47 PMMike
10/29/2019, 11:47 PMBrais Gabin
10/30/2019, 1:44 PMignoreOverriddenFunctions
property. IMO this should be active by default.// no-op
.ignoreOverriddenFunctions