[dcl.attr.contract] Rephrase comments in examples

Author: jensmaurer

source/declarations.tex

@@ -4366,13 +4366,13 @@
 class X {
 public:
   int v() const;
-  void f() [[expects: x > 0]];                  // Ill-formed
+  void f() [[expects: x > 0]];                  // error: \tcode{x} is private
   void g() [[expects: v() > 0]];                // OK
   friend void r(int z) [[expects: z > 0]];      // OK
-  friend void s(int z) [[expects: z > x]];      // Ill-formed
+  friend void s(int z) [[expects: z > x]];      // error: \tcode{x} is private
 protected:
   int w();
-  void h() [[expects: x > 0]];                  // Ill-formed
+  void h() [[expects: x > 0]];                  // error: \tcode{x} is private
   void i() [[ensures: y > 0]];                  // OK
   void j() [[ensures: w() > 0]];                // OK
   int y;
@@ -4384,7 +4384,7 @@
 class Y : public X {
 public:
   void a() [[expects: v() > 0]];                // OK
-  void b() [[ensures: w() > 0]];                // Ill-formed
+  void b() [[ensures: w() > 0]];                // error: \tcode{w} is protected
 protected:
   void c() [[expects: w() > 0]];                // OK
 };
@@ -4627,7 +4627,7 @@
 int g(int * p)
   [[ensures r: p != nullptr]]
 {
-  *p = 42;                      // OK, p is not modified
+  *p = 42;                      // OK, \tcode{p} is not modified
 }
 
 int h(int x)
@@ -4644,7 +4644,7 @@
 A function pointer cannot include contract conditions.
 \begin{example}
 \begin{codeblock}
-typedef int (*fpt)() [[ensures r: r != 0]];     // Ill-formed
+typedef int (*fpt)() [[ensures r: r != 0]];     // error: contract condition not on a function declaration
 
 int g(int x)
   [[expects: x >= 0]]
@@ -4653,8 +4653,8 @@
   return x+1;
 }
 
-int (*pf)(int) = g;             // OK
-int x = pf(5);                  // contract conditions of g are checked
+int (*pf)(int) = g;                             // OK
+int x = pf(5);                                  // contract conditions of \tcode{g} are checked
 \end{codeblock}
 \end{example}
 \end{note}
@@ -4693,7 +4693,7 @@
 }
 
 struct C : A, B {
-  virtual void g();             // Ill-formed, no diagnostic required
+  virtual void g();             // ill-formed, no diagnostic required
 };
 \end{codeblock}
 \end{example}