//  Copyright 2004 The Apache Software Foundation
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

package org.apache.tapestry.parse;

import org.apache.tapestry.IResourceLocation;
import org.apache.tapestry.Tapestry;
import org.apache.tapestry.util.xml.DocumentParseException;
import org.xml.sax.Attributes;

/**
 *  Rule used to validate the public id of the document, ensuring that
 *  it is not null, and that it matches an expected value.
 *
 *  @author Howard Lewis Ship
 *  @version $Id: ValidatePublicIdRule.java 243791 2004-02-19 17:38:13Z hlship $
 *  @since 3.0
 *
 **/

public class ValidatePublicIdRule extends BaseDocumentRule
{
    private String[] _publicIds;
    private String _rootElement;

    public ValidatePublicIdRule(String[] publicIds, String rootElement)
    {
        _publicIds = publicIds;
        _rootElement = rootElement;
    }

    public void startDocument(String namespace, String name, Attributes attributes)
        throws Exception
    {
        SpecificationDigester digester = getDigester();
        IResourceLocation location = digester.getResourceLocation();

        String publicId = digester.getPublicId();

		// publicId will never be null because we use a validating parser.

        for (int i = 0; i < _publicIds.length; i++)
        {
            if (_publicIds[i].equals(publicId))
            {

                if (!name.equals(_rootElement))
                    throw new DocumentParseException(
                        Tapestry.format(
                            "AbstractDocumentParser.incorrect-document-type",
                            _rootElement,
                            name),
                        location);

                return;
            }

        }

        throw new DocumentParseException(
            Tapestry.format("AbstractDocumentParser.unknown-public-id", location, publicId),
            location);
    }

}
