Home
last modified time | relevance | path

Searched refs:m_last_pushed_rtfdtm (Results 1 – 1 of 1) sorted by relevance

/external/apache-xml/src/main/java/org/apache/xpath/
DXPathContext.java65 IntStack m_last_pushed_rtfdtm=new IntStack(); field in XPathContext
1273 m_last_pushed_rtfdtm.push(m_which_rtfdtm); in pushRTFContext()
1294 int previous=m_last_pushed_rtfdtm.pop(); in popRTFContext()