sem_prag.adb
537 KB
-
sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and Post'Class aspects can… · acf49e88sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and Post'Class aspects can only be specified for a primitive... 2012-02-17 Steve Baird <baird@adacore.com> * sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and Post'Class aspects can only be specified for a primitive operation of a tagged type. From-SVN: r184342
Steve Baird committed