diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:39:43 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:39:43 +0000 |
| commit | 5d3fb9475a7b40c592e6caabe1d271e5d068ebd6 (patch) | |
| tree | 1ced32edb6dcc6893cad6b2430c07f37d1c79a1c /libjava/classpath/java/sql/Date.java | |
| parent | 4a9e7f0c27982f4161ae9b78057718253f499e3a (diff) | |
| download | ppe42-gcc-5d3fb9475a7b40c592e6caabe1d271e5d068ebd6.tar.gz ppe42-gcc-5d3fb9475a7b40c592e6caabe1d271e5d068ebd6.zip | |
2012-10-01 Ed Schonberg <schonberg@adacore.com>
* aspects.ads: Type_Invariant'class is a valid aspect.
* sem_ch6.adb (Is_Public_Subprogram_For): with the exception of
initialization procedures, subprograms that do not come from
source are not public for the purpose of invariant checking.
* sem_ch13.adb (Build_Invariant_Procedure): Handle properly the
case of a non-private type in a package without a private part,
when the type inherits invariants from its ancestor.
2012-10-01 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.adb (Build_Record_Invariant_Proc): new procedure to
generate a checking procedure for record types that may have
components whose types have type invariants declared.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191901 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/sql/Date.java')
0 files changed, 0 insertions, 0 deletions
