public Set < String > getModifies ( ) { Set < String > modifies = info == null ? null : info . modifies ; return modifies == null ? Collections . < String > emptySet ( ) : modifies ; }
Returns the set of sideeffect notations .