2
Copyright (C) 2010 Stewart Smith
4
This program is free software; you can redistribute it and/or
5
modify it under the terms of the GNU General Public License
6
as published by the Free Software Foundation; either version 2
7
of the License, or (at your option) any later version.
9
This program is distributed in the hope that it will be useful,
10
but WITHOUT ANY WARRANTY; without even the implied warranty of
11
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12
GNU General Public License for more details.
14
You should have received a copy of the GNU General Public License
15
along with this program; if not, write to the Free Software
16
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
22
#include <boost/unordered_map.hpp>
26
typedef multimap<string, string> state_multimap;
27
typedef multimap<string, string>::value_type state_pair;
28
typedef multimap<string, string>::iterator state_multimap_iter;
29
void load_cursor_state_transitions(state_multimap &states);
31
void load_cursor_state_transitions(state_multimap &states)
33
states.insert(state_pair("Cursor()", "::open()"));
34
states.insert(state_pair("::open()", "::store_lock()"));
35
states.insert(state_pair("::store_lock()", "::doStartTableScan()"));
36
states.insert(state_pair("::open()", "::doStartTableScan()"));
37
states.insert(state_pair("::doStartTableScan()", "::rnd_next()"));
38
states.insert(state_pair("::rnd_next()", "::doEndTableScan()"));
39
states.insert(state_pair("::doEndTableScan()", "Cursor()"));
40
states.insert(state_pair("::store_lock()", "::doInsertRecord()"));
41
states.insert(state_pair("::doInsertRecord()", "::store_lock()"));