001    // Copyright 2007, 2011 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    
015    package org.apache.tapestry5.internal.parser;
016    
017    import org.apache.tapestry5.MarkupWriter;
018    import org.apache.tapestry5.dom.Document;
019    import org.apache.tapestry5.ioc.Location;
020    import org.apache.tapestry5.runtime.RenderCommand;
021    import org.apache.tapestry5.runtime.RenderQueue;
022    
023    /**
024     * Represents the presence of a Document Type declaration within a template. The Document type declaration will be
025     * output to the client. In the event that multiple declarations are encountered (a page and one or more nested
026     * components all declare a document type), the first document type declared will be used.
027     */
028    public class DTDToken extends TemplateToken implements RenderCommand
029    {
030        public final String name;
031    
032        public final String publicId;
033    
034        public final String systemId;
035    
036        public DTDToken(String name, String publicId, String systemId, Location location)
037        {
038            super(TokenType.DTD, location);
039    
040            this.name = name;
041            this.publicId = publicId;
042            this.systemId = systemId;
043        }
044    
045        public void render(MarkupWriter writer, RenderQueue queue)
046        {
047            Document document = writer.getDocument();
048    
049            if (!document.hasDTD())
050            {
051                document.dtd(name, publicId, systemId);
052            }
053        }
054    
055        @Override
056        public String toString()
057        {
058            return String.format("DTD[name=%s; publicId=%s; systemId=%s]", name, publicId, systemId);
059        }
060    }