See comments in header.
| 52 | |
| 53 | // See comments in header. |
| 54 | void WMElement::SetSymbol(IdentifierSymbol* p_ID) |
| 55 | { |
| 56 | m_ID = p_ID; |
| 57 | m_IDName.assign(p_ID->GetIdentifierSymbol()); |
| 58 | } |
| 59 | |
| 60 | void WMElement::GenerateNewTimeTag() |
| 61 | { |
no outgoing calls
no test coverage detected