// // called by the .deprecated directive // // void setDeprecated() throws jasError { DeprecatedAttr depr = new DeprecatedAttr(); if (cur_method != null) { cur_method.setDeprecated(depr); } else if (cur_field != null) { cur_field.setDeprecated(depr); } else if (class_header) { class_env.setDeprecated(depr); } else { outside(".deprecated"); } }