Changes between Version 4 and Version 5 of Library_IR

Timestamp:

12/10/15 17:21:38 (10 years ago)

Author:

zmanchun

Comment:

--

Library_IR

@@ -31 +31 @@
 The header `pointer.cvh` declares functions taking pointers as the arguments for different purposes, including:
 
-* `fun[lib="civlc"] $set_default(obj: Pointer)`
+* `fun[lib="pointer"] $set_default(obj: Pointer)`
  * sets the leaf nodes of a variable to be the default value of zero
-* `fun[lib="civlc"] $apply(obj1: Pointer, op: Operation, obj2: Pointer, result: Pointer)`
+* `fun[lib="pointer"] $apply(obj1: Pointer, op: Operation, obj2: Pointer, result: Pointer)`
  * applies a binary operator `op` to two objects
 * `fun[lib="pointer"] $equals(x: Pointer, y: Pointer): Bool`
+* `fun[lib="pointer"] $assert_equals(x: Pointer, y: Pointer, ...)`
+  * asserts that two objects are equal to each other
+  * takes additional arguments for error message if the assertion is violated
  * equality checking
  * this function returns true iff the objects pointed to by the pointers `x` and `y` have the same type and value.