#include <InsertNew.h>
Public Member Functions | |
Visitor::VisitorState | accept (Visitor *v) |
Visitor::VisitorState | accept (Visitor *v) |
void | addInterRow (InterRow *interRow) |
void | addInterRow (InterRow *interRow) |
const Assertion * | getInternal () const |
const Assertion * | getInternal () const |
const std::vector< InterRow * > & | getInterRow () const |
const std::vector< InterRow * > & | getInterRow () const |
const Assertion * | getOfficial () const |
const Assertion * | getOfficial () const |
const Table * | getTable () const |
const Table * | getTable () const |
InsertNew (Table *table, Assertion *internal, Assertion *official) | |
InsertNew (Table *table, Assertion *internal, Assertion *official) | |
~InsertNew () | |
~InsertNew () | |
Private Attributes | |
Assertion * | m_internal |
internal consistency conditions | |
Assertion * | m_internal |
internal consistency conditions | |
std::vector< InterRow * > | m_interRow |
std::vector< InterRow * > | m_interRow |
Table * | m_myTable |
Table * | m_myTable |
Assertion * | m_official |
conditions to be satisfied to show row is worth the extra trouble | |
Assertion * | m_official |
conditions to be satisfied to show row is worth the extra trouble |
|
00024 : m_myTable(table), m_internal(internal), m_official(official) { 00025 m_interRow.clear(); 00026 }
|
|
00010 { 00011 while (m_interRow.size() ) { 00012 InterRow* i = m_interRow.back(); 00013 m_interRow.pop_back(); 00014 delete i; 00015 } 00016 }
|
|
00024 : m_myTable(table), m_internal(internal), m_official(official) { 00025 m_interRow.clear(); 00026 }
|
|
|
|
|
|
00018 { 00019 Visitor::VisitorState state = v->visitInsertNew(this); 00020 if (state == Visitor::VBRANCHDONE) return Visitor::VCONTINUE; 00021 00022 unsigned n = m_interRow.size(); 00023 for (unsigned i = 0; i < n; i++) { 00024 state = m_interRow[i]->accept(v); 00025 if (state != Visitor::VCONTINUE) return state; 00026 } 00027 return state; 00028 }
|
|
00039 {m_interRow.push_back(interRow);}
|
|
00039 {m_interRow.push_back(interRow);}
|
|
00030 {return m_internal;}
|
|
00030 {return m_internal;}
|
|
00032 {return m_interRow;}
|
|
00032 {return m_interRow;}
|
|
00031 {return m_official;}
|
|
00031 {return m_official;}
|
|
00034 {return m_myTable;}
|
|
00034 {return m_myTable;}
|
|
internal consistency conditions
|
|
internal consistency conditions
|
|
|
|
|
|
|
|
|
|
conditions to be satisfied to show row is worth the extra trouble
|
|
conditions to be satisfied to show row is worth the extra trouble
|