Changeset 180efc0 in git for Singular/countedref.cc

Timestamp:

Aug 21, 2012, 3:57:12 PM (12 years ago)

Author:

Alexander Dreyer <alexander.dreyer@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

babfe48c6b91ec9f26e998cdcf95c8df192b1c05

Parents:

d2a236583625dd880d06a25cf10d02aefee3ba89

git-author:

Alexander Dreyer <alexander.dreyer@itwm.fraunhofer.de>2012-08-21 15:57:12+02:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-09-05 15:52:16+02:00

Message:

new: some comments debugging features for references and shared

File:

• Singular/countedref.cc (modified) (7 diffs)

Singular/countedref.cc

@@ -340 +340 @@
   ~CountedRef() { destruct(); }
 
+  /// Replaces argument by a shallow copy of the references data
   BOOLEAN dereference(leftv arg) {
     assume(is_ref(arg));
@@ -345 +346 @@
   }
 
-
-  /// Get the actual object
-  /// @note It may change leftv. It is common practice, so we are fine with it.
-
+  /// Get number of references pointing here, too
+  BOOLEAN count(leftv res) { return construct(res, m_data->count() - 1); }
+
+  /// Get internal indentifier
+  BOOLEAN hash(leftv res) { return construct(res, (long)m_data); }
+
+  /// Check for likewise identifiers
+  BOOLEAN likewise(leftv res, leftv arg) {
+    return resolve(arg) || construct(res, operator*()->data == arg->data); 
+  }
+
+  /// Check for identical reference objects
+  BOOLEAN same(leftv res, leftv arg) { 
+    return construct(res, m_data == arg->Data());
+  }
+
+  /// Get type of references data
+  BOOLEAN type(leftv res) { 
+    return construct(res, Tok2Cmdname(operator*()->Typ()));
+  };
+
+  /// Get (possibly) internal identifier name
+  BOOLEAN name(leftv res) { return construct(res, operator*()->Name()); }
+
+  /// Recover the actual object from Singular interpreter object
   static self cast(void* data) {
     assume(data != NULL);
@@ -354 +376 @@
   }
 
+  /// Recover the actual object from raw Singular data
   static self cast(leftv arg) {
     assume((arg != NULL) && is_ref(arg));
@@ -360 +383 @@
 
   /// If necessary dereference.
-  /// @note The may change leftv. It is common practice, so we are fine with it.
   static BOOLEAN resolve(leftv arg) {
     assume(arg != NULL);
@@ -367 +389 @@
   }
 
-  //private:
 protected:
+
+  /// Construct integer value
+  static BOOLEAN construct(leftv res, long data) {
+    res->data = (void*) data;
+    res->rtyp = INT_CMD;
+    return FALSE;
+  }
+
+  /// Construct string
+  static BOOLEAN construct(leftv res, const char* data) {
+    res->data = (void*)omStrDup(data);
+    res->rtyp = STRING_CMD;
+    return FALSE;
+  }
   /// Store pointer to actual data
   data_type* m_data;
@@ -447 +482 @@
 {
   if (args->Data() == NULL) return FALSE;
+
+  if(op == SYSTEM_CMD) {
+    if (args->next) {
+      leftv next = args->next;
+      args->next = NULL;
+      CountedRef obj = CountedRef::cast(args);
+      char* name = (next->Typ() == STRING_CMD? 
+                    (char*) next->Data(): (char*)next->Name());
+      if (strcmp(name, "count") == 0) return obj.count(res);
+      if (strcmp(name, "hash") == 0) return obj.hash(res);
+      if (strcmp(name, "same") == 0) 
+        return (next->next == NULL) ||  obj.same(res, next->next);
+      if ((strcmp(name, "like") == 0) || (strcmp(name, "likewise") == 0))
+        return (next->next == NULL) ||  obj.likewise(res, next->next);
+      if (strcmp(name, "name") == 0) return obj.name(res);
+      if ((strcmp(name, "type") == 0) || (strcmp(name, "typeof") == 0))
+        return obj.type(res);
+      return TRUE;
+    }
+    return TRUE;
+  }
   return CountedRef::cast(args).dereference(args) || iiExprArithM(res, args, op);
 }
@@ -500 +556 @@
     arg->data = handle;
     arg->rtyp = IDHDL;
+    arg->name = omStrDup(IDID(handle));
     return arg;
   }