mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-26 07:16:10 +01:00
Manually applied merge #133 from Master
This commit is contained in:
parent
355b95fda1
commit
f0f407fc3e
@ -74,6 +74,8 @@ namespace Catch {
|
|||||||
m_remainder += c;
|
m_remainder += c;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
TagExtracter& operator=(const TagExtracter&);
|
||||||
|
|
||||||
std::set<std::string>& m_tags;
|
std::set<std::string>& m_tags;
|
||||||
std::string m_remainder;
|
std::string m_remainder;
|
||||||
};
|
};
|
||||||
@ -177,6 +179,8 @@ namespace Catch {
|
|||||||
m_exp.m_tagSets.push_back( m_currentTagSet );
|
m_exp.m_tagSets.push_back( m_currentTagSet );
|
||||||
}
|
}
|
||||||
|
|
||||||
|
TagExpressionParser& operator=(const TagExpressionParser&);
|
||||||
|
|
||||||
bool m_isNegated;
|
bool m_isNegated;
|
||||||
TagSet m_currentTagSet;
|
TagSet m_currentTagSet;
|
||||||
TagExpression& m_exp;
|
TagExpression& m_exp;
|
||||||
|
Loading…
Reference in New Issue
Block a user