diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-29 16:23:31 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-29 16:23:31 +0000 |
| commit | 35c923a021c88e96c8ff422ed7f1e66f612cc45e (patch) | |
| tree | bf717a9c20a91caa3da27d7234d94e74e57b7ce8 /libjava/classpath/java/security/KeyStore.java | |
| parent | 5f1c8ecc109db66f36635f89d93400eb76f4ff73 (diff) | |
| download | ppe42-gcc-35c923a021c88e96c8ff422ed7f1e66f612cc45e.tar.gz ppe42-gcc-35c923a021c88e96c8ff422ed7f1e66f612cc45e.zip | |
2014-01-29 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Get_Pragma): Handle the retrieval of pragma Refined_Post.
* einfo.ads (Get_Pragma): Update the comment on special pragmas
handled by this routine.
* sem_prag.adb (Analyze_Pragma): Add a legal pragma Refined_Post
to the contract of the related subprogram body.
* sem_util.adb (Add_Contract_Item): Handle the insertion of
pragma Refined_Post into the contract of a subprogram body.
* sinfo.ads Update the documentation of node N_Contract.
* sem_res.adb (Resolve_Entity_Name): Add a guard
to detect abstract states and variables only when checking the
SPARK 2014 rules concerning volatile object placement.
2014-01-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Find_Equality_Types, Try_One_Interp): within an instance,
null is compatible with any access type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207269 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/security/KeyStore.java')
0 files changed, 0 insertions, 0 deletions
