Lines Matching defs:adaptor

105 	/** What tree adaptor was used to build these trees */
106 TreeAdaptor adaptor;
126 public BufferedTreeNodeStream(TreeAdaptor adaptor, Object tree) {
127 this(adaptor, tree, DEFAULT_INITIAL_BUFFER_SIZE);
130 public BufferedTreeNodeStream(TreeAdaptor adaptor, Object tree, int initialBufferSize) {
132 this.adaptor = adaptor;
134 down = adaptor.create(Token.DOWN, "DOWN");
135 up = adaptor.create(Token.UP, "UP");
136 eof = adaptor.create(Token.EOF, "EOF");
149 boolean nil = adaptor.isNil(t);
154 int n = adaptor.getChildCount(t);
160 Object child = adaptor.getChild(t,c);
193 navNode = adaptor.create(Token.DOWN, "DOWN");
201 navNode = adaptor.create(Token.UP, "UP");
244 (adaptor.getType(get(i))==Token.EOF ||
245 adaptor.getType(get(i))==Token.UP ||
246 adaptor.getType(get(i))==Token.DOWN) )
283 return adaptor;
286 public void setTreeAdaptor(TreeAdaptor adaptor) {
287 this.adaptor = adaptor;
306 return adaptor.getType(LT(i));
386 adaptor.replaceChildren(parent, startChildIndex, stopChildIndex, t);
399 buf.append(adaptor.getType(t));
413 buf.append(adaptor.getToken(t));
437 int beginTokenIndex = adaptor.getTokenStartIndex(start);
438 int endTokenIndex = adaptor.getTokenStopIndex(stop);
441 if ( adaptor.getType(stop)==Token.UP ) {
442 endTokenIndex = adaptor.getTokenStopIndex(start);
444 else if ( adaptor.getType(stop)==Token.EOF ) {
462 String text = adaptor.getText(t);
464 text = " "+String.valueOf(adaptor.getType(t));
471 String text = adaptor.getText(stop);
473 text = " "+String.valueOf(adaptor.getType(stop));