- All Implemented Interfaces:
- SideEffectTester
public class NaiveSideEffectTester
extends java.lang.Object
implements SideEffectTester
Provides naive side effect information.
Relies on no context information; instead, does the least
conservative thing possible even in the possible presence of badness.
Possible weakness of SideEffectTester: consider a Box. We don't
have a name for "what-is-inside-the-box" and so we can't
ask questions about it. But perhaps we need only ask questions
about the box itself; the side effect tester can deal with
that internally.