equal
deleted
inserted
replaced
317 |
317 |
318 bool is_unlocker_ext() const; |
318 bool is_unlocker_ext() const; |
319 bool is_unlocked_ext() const; |
319 bool is_unlocked_ext() const; |
320 bool is_writeable_ext() const; |
320 bool is_writeable_ext() const; |
321 bool is_external_ext() const; |
321 bool is_external_ext() const; |
|
322 |
|
323 void unlock_diagnostic(); |
322 |
324 |
323 void get_locked_message(char*, int) const; |
325 void get_locked_message(char*, int) const; |
324 void get_locked_message_ext(char*, int) const; |
326 void get_locked_message_ext(char*, int) const; |
325 |
327 |
326 void print_on(outputStream* st, bool withComments = false ); |
328 void print_on(outputStream* st, bool withComments = false ); |