    001// Copyright 2008, 2009 The Apache Software Foundation
    002//
    003// Licensed under the Apache License, Version 2.0 (the "License");
    004// you may not use this file except in compliance with the License.
    005// You may obtain a copy of the License at
    006//
    007//     http://www.apache.org/licenses/LICENSE-2.0
    008//
    009// Unless required by applicable law or agreed to in writing, software
    010// distributed under the License is distributed on an "AS IS" BASIS,
    011// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    012// See the License for the specific language governing permissions and
    013// limitations under the License.
    014
    015package org.apache.tapestry5.beanmodel.internal.antlr;
    016
    017import org.antlr.runtime.CharStream;
    018import org.antlr.runtime.Lexer;
    019import org.antlr.runtime.RecognizerSharedState;
    020import org.antlr.runtime.RecognitionException;
    021
    022public abstract class BaseLexer extends Lexer
    023{
    024    protected BaseLexer()
    025    {
    026    }
    027
    028    protected BaseLexer(CharStream charStream,
    029                        RecognizerSharedState recognizerSharedState)
    030    {
    031        super(charStream, recognizerSharedState);
    032    }
    033
    034    protected void stripLeadingPlus()
    035    {
    036        String text = getText();
    037
    038        // For compatibility with Tapestry 5.0, we need to allow a sign of '+', which Long.parseLong()
    039        // doesn't accept. To keep things downstream simple, we eliminate the '+' here.
    040
    041        if (text.startsWith("+"))
    042        {
    043            setText(text.substring(1));
    044        }
    045    }
    046
    047    @Override
    048    public void reportError(RecognitionException e)
    049    {
    050        throw new RuntimeException(String.format("Unable to parse input at character position %d",
    051                                                 e.charPositionInLine + 1),
    052                                   e);
    053    }
    054}