Searched refs:pushDocument (Results 1 – 3 of 3) sorted by relevance
49 mState.pushDocument(DIR_1); in testPushDocument_ChangesLocation()50 mState.pushDocument(DIR_2); in testPushDocument_ChangesLocation()55 mState.pushDocument(DIR_1); in testPushDocument_ModifiesStack()56 mState.pushDocument(DIR_2); in testPushDocument_ModifiesStack()61 mState.pushDocument(DIR_1); in testPopDocument_ModifiesStack()62 mState.pushDocument(DIR_2); in testPopDocument_ModifiesStack()
151 public void pushDocument(DocumentInfo info) { in pushDocument() method in State
364 mState.pushDocument(doc); in openContainerDocument()