Changeset a5e907 in git

Timestamp:

Aug 30, 2012, 11:20:14 PM (12 years ago)

Author:

Alexander Dreyer <alexander.dreyer@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')

Children:

b8346741b9c72d735f018ce57120e6782a5d4d2d

Parents:

f8852177b833def200699ea2f50f0328ff40ce94

git-author:

Alexander Dreyer <alexander.dreyer@itwm.fraunhofer.de>2012-08-30 23:20:14+02:00

git-committer:

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

Message:

chg: simplified indexed type

File:

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

Singular/countedref.cc

@@ -56 +56 @@
   //}
 
+  /// Default constructor @note: exisis only if @c NeverNull is false
+  CountedRefPtr(): m_ptr(NULL) {}
+
   /// Convert from pointer
   CountedRefPtr(ptr_type ptr): m_ptr(ptr) { reclaim(); }
@@ -107 +110 @@
 };
 
+/// Default constructor only implemented if @c NeverNull is false
+//template <class PtrType, bool isWeak,bool val,class CountType>
+//inline CountedRefPtr<PtrType, isWeak, val, CountType>::CountedRefPtr():
+//  m_ptr(NULL) { }
 
 /** @class RefCounter
@@ -163 +170 @@
     return g_sh_id;
   }
-  static int& idx_id() {
-    static int g_sh_id = 0;
-    return g_sh_id;
-  }
-
 };
 
@@ -298 +300 @@
   typedef RefCounter base;
 
+  /// Subscripted object
+  CountedRefData(idhdl handle, CountedRefPtr<self*> back):
+    base(), m_data(init(handle)), m_ring(back->Ring()), m_back(back) { }
+
 public:
+  /// Construct shared memory empty Singular object
+  explicit CountedRefData():
+    base(), m_data(), m_ring(), m_back() { }
+
   /// Construct reference for Singular object
   explicit CountedRefData(leftv data):
-    base(), m_data(data), m_ring(parent(data)) { }
+    base(), m_data(data), m_ring(parent(data)), m_back() { }
 
   CountedRefData(leftv data, BOOLEAN global, int):
-    base(), m_data(data, global,0), m_ring(parent(data)) { }
+    base(), m_data(data, global,0), m_ring(parent(data)), m_back() { }
 
   /// Construct deep copy
   CountedRefData(const self& rhs):
-    base(), m_data(rhs.m_data), m_ring(rhs.m_ring)  { }
+    base(), m_data(rhs.m_data), m_ring(rhs.m_ring), m_back() { }
   
   /// Destruct
-  ~CountedRefData()  { }
+  ~CountedRefData() { 
+    if (m_back) CountedRefEnv::clearid((idhdl)m_data.access()->data, root());
+   }
+
+  CountedRefPtr<self*> subscripted() {
+    return new self(CountedRefEnv::idify(m_data.access(), root()), this);
+  }
 
   /// Replace data
@@ -339 +355 @@
   BOOLEAN rering() {
     if (m_ring ^ m_data->RingDependend()) m_ring = (m_ring? NULL: currRing);
-    return FALSE;
+    return (m_back && m_back->rering());
   }
 
@@ -362 +378 @@
 
   BOOLEAN assign(leftv result, leftv arg) {
+    if (m_data->rtyp!=IDHDL) {
+      set(arg);
+      return FALSE;
+    }
     return get(result) || iiAssign(result, arg) || rering();
   }
 
-  /// @note Enables write-access via identifier
-  idhdl idify() {  return CountedRefEnv::idify(m_data.access(), root());  }
-
-  /// @note Only call, if @c idify had been called before!
-  void clearid() {  CountedRefEnv::clearid((idhdl)m_data.access()->data, root());  }
+  /// @note If we have a callback, our identifier was temporary, so remove it
+  void clear() {  
+    if (m_back) CountedRefEnv::clearid((idhdl)m_data.access()->data, root());
+  }
 
   BOOLEAN retrieve(leftv res) {
@@ -400 +419 @@
     return (rhs->RingDependend()? currRing: NULL); 
   }
+
+ static leftv init(idhdl handle) {
+    assume(handle);
+    leftv res = (leftv)omAlloc0(sizeof(*res));
+    res->data =(void*) handle;
+    res->rtyp = IDHDL;
+    return res;
+  }
+
 protected:
   /// Singular object
@@ -406 +434 @@
   /// Store namespace for ring-dependent objects
   CountedRefPtr<ring, true> m_ring;
+
+  /// Reference to actual object for indexed structures  
+  CountedRefPtr<self*> m_back;
 };
 
@@ -432 +463 @@
   static BOOLEAN is_ref(leftv arg) {
     int typ = arg->Typ();
-    return ((typ==CountedRefEnv::ref_id())  ||(typ==CountedRefEnv::sh_id()) ||
-            (typ==CountedRefEnv::idx_id()) );
+    return ((typ==CountedRefEnv::ref_id())  ||(typ==CountedRefEnv::sh_id()) );
     //    return ((typ > MAX_TOK) &&
     //            (getBlackboxStuff(typ)->blackbox_Init == countedref_Init));
@@ -464 +494 @@
     return m_data->assign(result,arg);
   }
-
+  BOOLEAN rering() { return m_data->rering(); }
   /// Extract (shallow) copy of stored data
   LeftvShallow operator*() { return m_data->operator*(); }
+
+  /// Construct reference data object marked by given identifier number
+  BOOLEAN outcast(leftv res, int typ) {
+    res->rtyp = typ;
+    return outcast(res);
+  }
 
   /// Construct reference data object from
@@ -644 +680 @@
 }
 
-class CountedRefDataIndexed:
-  public CountedRefData {
-  typedef CountedRefData base;
-  typedef CountedRefDataIndexed self;
-
-public:
-  CountedRefDataIndexed(idhdl handle, CountedRefPtr<base*> back):
-    base(init(handle)), m_back(back) { 
-    m_ring = back->Ring(); 
-  } 
-
-  CountedRefDataIndexed(const self& rhs): base(rhs), m_back(rhs.m_back) { } 
-
-  ~CountedRefDataIndexed() { clearid();}
-
-  BOOLEAN assign(leftv result, leftv arg) {
-    return base::assign(result, arg) || m_back->rering();
-  }
-
-private:
-  static leftv init(idhdl handle) {
-    assume(handle);
-    leftv res = (leftv)omAlloc0(sizeof(*res));
-    res->data =(void*) handle;
-    res->rtyp = IDHDL;
-    return res;
-  }
-
-  CountedRefPtr<CountedRefData*> m_back;
-};
-inline void CountedRefPtr_kill(CountedRefDataIndexed* data) { delete data; }
-
-
 
 /// blackbox support - ternary operations
@@ -688 +691 @@
 
 
-
 /// blackbox support - destruction
 void countedref_destroy(blackbox *b, void* ptr)
@@ -695 +697 @@
 }
 
-
-/// blackbox support - assign element
-BOOLEAN countedref_AssignIndexed(leftv result, leftv arg)
-{
-  // Case: replace assignment behind reference
-  if (result->Data() != NULL) {
-    CountedRefPtr<CountedRefDataIndexed*> indexed =(CountedRefDataIndexed*)(result->Data());
-    return CountedRef::resolve(arg) || indexed->assign(result, arg);
-  }
-  
-  // Case: copy reference
-  if (result->Typ() == arg->Typ())
-    return CountedRef::cast(arg).outcast(result);
-
-  Werror("Cannot generate subscripted shared from plain type. Use shared[i] or shared.attr");
-  return TRUE;
-}
-
-
-/// blackbox support - destruction
-void countedref_destroyIndexed(blackbox *b, void* ptr)
-{
-  if (ptr) {
-    CountedRefPtr<CountedRefDataIndexed*> data =
-    static_cast<CountedRefDataIndexed*>(ptr);
-    data.release();
-  }
-}
 
 class CountedRefShared:
@@ -730 +704 @@
 
   CountedRefShared(const base& rhs):  base(rhs) { }
+  CountedRefShared(data_type* rhs):  base(rhs) { }
 
 public:
+  CountedRefShared():  base(new data_type) { }
   CountedRefShared(leftv arg):  base(new data_type(arg, FALSE,0)) { }
 
@@ -751 +727 @@
   static self cast(void* arg) { return base::cast(arg); }
 
-  CountedRefPtr<CountedRefDataIndexed*> subscripted() {
-    return new CountedRefDataIndexed(m_data->idify(), m_data);
+  self subscripted() {
+    return self(m_data->subscripted());//new CountedRefDataIndexed(m_data->idify(), m_data);
+  }
+
+  BOOLEAN retrieve(leftv res, int typ) { 
+    return (m_data->retrieve(res) && outcast(res, typ));
   }
 };
@@ -758 +738 @@
 void* countedref_InitShared(blackbox*)
 {
-  LeftvDeep empty;
-  return CountedRefShared(LeftvShallow(empty).operator->()).outcast();
+  return CountedRefShared().outcast();
 }
 
@@ -767 +746 @@
   if  ((op == '[') || (op == '.')) {
     if (countedref_CheckInit(res, head))  return TRUE;
-    CountedRefPtr<CountedRefDataIndexed*> indexed = CountedRefShared::cast(head).subscripted();
-    if(indexed->operator*().get(head)) return TRUE;
- 
-    if (CountedRef::resolve(arg) || iiExprArith2(res, head, op, arg)) return
-      TRUE;
-
-    if(indexed->retrieve(res)) {
-      indexed.reclaim();
-      res->rtyp = CountedRefEnv::idx_id();
-      res->data = (void *)indexed;
-    }
-    return FALSE;
+    CountedRefShared indexed = CountedRefShared::cast(head).subscripted();
+
+    int typ = head->Typ();
+    return indexed.dereference(head) || CountedRef::resolve(arg) || 
+      iiExprArith2(res, head, op, arg) || indexed.retrieve(res, typ);
   }
 
@@ -810 +782 @@
   }
   if (op == LIST_CMD){
-    res->rtyp=op;
+    res->rtyp = op;
     return jjLIST_PL(res, args);
   }
@@ -823 +795 @@
   if ((result->Data() != NULL)  && (CountedRefShared::cast(result).Typ() !=0 )) {
     if (CountedRefShared::resolve(arg)) return TRUE;
-    CountedRefShared::cast(result) = arg;
+    return CountedRefShared::cast(result).assign(result, arg);
     return FALSE;
   }
@@ -834 +806 @@
   }  
   if(CountedRefShared::cast(result).Typ() == 0) {
-    CountedRefShared::cast(result) = arg;
+   // CountedRefShared::cast(result) = arg;
+   return CountedRefShared::cast(result).assign(result, arg);
+
     return FALSE;
   }
@@ -874 +848 @@
   bbxshared->data             = omAlloc0(newstruct_desc_size());
   CountedRefEnv::sh_id()=setBlackboxStuff(bbxshared, "shared");
-
-
-  blackbox *bbxindexed = 
-    (blackbox*)memcpy(omAlloc(sizeof(blackbox)), bbx, sizeof(blackbox));
-  bbxindexed->blackbox_destroy = countedref_destroyIndexed;
-  bbxindexed->blackbox_Assign = countedref_AssignIndexed;
-  bbxindexed->data             = omAlloc0(newstruct_desc_size());
-  CountedRefEnv::idx_id()=setBlackboxStuff(bbxindexed, "shared_subexpr");
-
 }