public static ClassificationCache getClassificationCache(Stella_Object self) {
    { ClassificationSession session = ((ClassificationSession)(Logic.$CLASSIFICATIONSESSION$.get()));
      ClassificationCache cache = null;

      if (session.lastCacheTableKey == self) {
        return (session.lastCacheTableValue);
      }
      cache = ((ClassificationCache)(session.classificationCacheTable.lookup(self)));
      if (cache == null) {
        cache = ClassificationCache.newClassificationCache();
        session.classificationCacheTable.insertAt(self, cache);
      }
      session.lastCacheTableKey = ((LogicObject)(self));
      session.lastCacheTableValue = cache;
      return (cache);
    }
  }