From d9ec475d945d3035377a0d89ed42e382d8988891 Mon Sep 17 00:00:00 2001 From: DongHun Kwak Date: Thu, 6 Oct 2016 10:33:54 +0900 Subject: Imported Upstream version 1.60.0 Change-Id: Ie709530d6d5841088ceaba025cbe175a4ef43050 Signed-off-by: DongHun Kwak --- .../html/reference/concepts/dereferenceable.html | 104 +++++++++++++++++++++ 1 file changed, 104 insertions(+) create mode 100644 libs/python/doc/html/reference/concepts/dereferenceable.html (limited to 'libs/python/doc/html/reference/concepts/dereferenceable.html') diff --git a/libs/python/doc/html/reference/concepts/dereferenceable.html b/libs/python/doc/html/reference/concepts/dereferenceable.html new file mode 100644 index 0000000000..78df9ff0f4 --- /dev/null +++ b/libs/python/doc/html/reference/concepts/dereferenceable.html @@ -0,0 +1,104 @@ + + + +Dereferenceable + + + + + + + + +
+
+
+PrevUpHomeNext +
+
+ + +
+ +

+ Instances of a Dereferenceable + type can be used like a pointer to access an lvalue. +

+
+
+ +

+ In the table below, T is + a model of Dereferenceable, and x + denotes an object of type T. + In addition, all pointers are Dereferenceable. +

+
+++++ + + + + + + + + + + +
+

+ Expression +

+
+

+ Result +

+
+

+ Operational Semantics +

+
+

+ get_pointer(x) +

+
+

+ convertible to pointee<T>::type* +

+
+

+ &*x, + or a null pointer +

+
+
+
+ + + +
+
+
+PrevUpHomeNext +
+ + -- cgit v1.2.3