public void pushStream ( char [ ] inStream , int inFileid , String name , String inBaseDir , String inEncoding ) { // store current state in stack includeStack . push ( new IncludeState ( cursor , line , col , fileid , fileName , baseDir , encoding , stream ) ) ; // set new variables cursor = 0 ; line = 1 ; col = 1 ; fileid = inFileid ; fileName = name ; baseDir = inBaseDir ; encoding = inEncoding ; stream = inStream ; }
Sets this mark s state to a new stream . It will store the current stream in it s includeStack .