From 90dd7e4ec943e87467652c48c35600771e0b70d9 Mon Sep 17 00:00:00 2001
From: "Joachim Wuttke (laptop)" <j.wuttke@fz-juelich.de>
Date: Fri, 7 Dec 2012 22:47:31 +0100
Subject: [PATCH] corr after crash
---
pub/src/list.h | 2 +-
pub/src/mem.cpp | 7 +++++--
2 files changed, 6 insertions(+), 3 deletions(-)
diff --git a/pub/src/list.h b/pub/src/list.h
index 9122e655..d3ad41a5 100644
--- a/pub/src/list.h
+++ b/pub/src/list.h
@@ -66,7 +66,7 @@ public:
bool evaluated() const { return !limneeded || limgiven; }
uint size() const { return V.size(); };
bool contains( uint val ) const;
- bool all_between( int imi, int ima ); // OBSOLETE
+ bool all_between( int imi, int ima );
string str() const;
friend ostream& operator<< ( ostream& s, CList L ) {
return s << L.str(); };
diff --git a/pub/src/mem.cpp b/pub/src/mem.cpp
index 5dd601ab..a0d537ef 100644
--- a/pub/src/mem.cpp
+++ b/pub/src/mem.cpp
@@ -131,9 +131,12 @@ namespace NOlm {
MyIterate::MyIterate( int mode )
{
if ( mode & IterALL )
- Sel = CList(0,MOM.size()-1);
- else
+ Sel = CList( 0,MOM.size()-1 );
+ else {
+ if ( !FSel.all_between( 0,MOM.size()-1 ) )
+ throw "invalid file selection";
Sel = FSel;
+ }
reset();
};
--
GitLab