public boolean recordModifies ( Set < String > modifies ) { if ( ! hasAnySingletonSideEffectTags ( ) && currentInfo . setModifies ( modifies ) ) { populated = true ; return true ; } else { return false ; } }
Records the list of modifies warnings .