JML

org.multijava.mjc
Class ParsingController.TokenWrapper

java.lang.Object
  extended byorg.multijava.mjc.ParsingController.TokenWrapper
Enclosing class:
ParsingController

public static class ParsingController.TokenWrapper
extends Object

This inner class wraps a single token. It can be used by clients to find the first token in actually appearing in when matching a rule that begins with optional non-terminals.


Field Summary
private  antlr.Token contents
           
 
Constructor Summary
ParsingController.TokenWrapper()
           
 
Method Summary
 void ifEmptyWrap(antlr.Token t)
           
 antlr.Token unwrap()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

contents

private antlr.Token contents
Constructor Detail

ParsingController.TokenWrapper

public ParsingController.TokenWrapper()
Method Detail

ifEmptyWrap

public void ifEmptyWrap(antlr.Token t)

unwrap

public antlr.Token unwrap()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.