| 15 | } |
| 16 | |
| 17 | void ThemeGrammar::PushType() { |
| 18 | if( m_identifiers.empty() ) { |
| 19 | m_types.push( "*" ); |
| 20 | } |
| 21 | else { |
| 22 | m_types.push( m_identifiers.top() ); |
| 23 | m_identifiers.pop(); |
| 24 | } |
| 25 | } |
| 26 | |
| 27 | void ThemeGrammar::PushClass() { |
| 28 | m_classes.push( m_identifiers.top() ); |