protected boolean ignore ( VDMToken tok ) throws LexException { if ( lastToken ( ) . is ( tok ) ) { nextToken ( ) ; return true ; } else { return false ; } }
If the last token is the one passed advance by one else do nothing .