Home | History | Annotate | Download | only in gui

Lines Matching refs:assumeNoSideEffects

687                 boilerplateNoSideEffectMethods = new ClassSpecification[configuration.assumeNoSideEffects.size()];
688                 configuration.assumeNoSideEffects.toArray(boilerplateNoSideEffectMethods);
995                                        configuration.assumeNoSideEffects);
1002         additionalNoSideEffectsPanel.setClassSpecifications(configuration.assumeNoSideEffects);
1164             configuration.assumeNoSideEffects = noSideEffectMethods;