index 37e0fd667756bff233d05d0a9f911d6257b373b8..b88d24b66a303e2b0602e755cfd01c6cbcdff707 100644 (file)
--- a/fold.cc
+++ b/fold.cc
namespace odc {
const std::string View::TYPENAME("Views.View^");
-const TypeProxy<View> View::PROXY;
+const TypeProxy<View, Store> View::PROXY;
View::View(INTEGER id) : Store(id) {}
-const std::string &View::getType() {
- return TYPENAME;
-}
-
-const std::string *View::getSuper() {
- return &Store::getType();
-}
-
const std::string &View::getTypeName() const {
- return getType();
+ return TYPENAME;
}
void View::internalize(Reader &reader) {
}
const std::string Fold::TYPENAME("StdFolds.Fold^");
-const TypeProxy<Fold> Fold::PROXY;
+const TypeProxy<Fold, View> Fold::PROXY;
Fold::Fold(INTEGER id) : View(id) {}
-const std::string &Fold::getType() {
- return TYPENAME;
-}
-
-const std::string *Fold::getSuper() {
- return &View::getType();
-}
-
const std::string &Fold::getTypeName() const {
- return getType();
+ return TYPENAME;
}
void Fold::internalize(Reader &reader) {