Examples of com.github.fge.jsonschema.processors.validation.ValidationStack$Element

Package com.github.fge.jsonschema.processors.validation

Examples of com.github.fge.jsonschema.processors.validation.ValidationStack$Element

org.jdom2.Element
Class to keep track of instance pointer/schema pairs during validation
This class helps to detect scenarios where a same schema is visited more than once for a same instance pointer. For instance, any instance validated against this schema:
```
 { "oneOf": [ {}, { "$ref": "#" } ] } 
```
will trigger a validation loop.

Simply keeping track of instance pointer/schema pairs alone is not enough; it is sometimes perfectly legal to revisit a same pair during validation (for instance, alternative definitions of a container referring to one common schema for the same child). For this reason we use a stack, to which we {@link #push(FullData) push} pointer/schema pairs which are then{@link #pop() pop}ped when validation is complete.

        return el;
    }


    private Element makeLink( int type, String link, String text, String section, Iterator attributes )
    {
        Element el = null;


        if( text == null ) text = link;


        text = callMutatorChain( m_linkMutators, text );


        section = (section != null) ? ("#"+section) : "";


        // Make sure we make a link name that can be accepted
        // as a valid URL.


        if( link.length() == 0 )
        {
            type = EMPTY;
        }
        ResourceBundle rb = Preferences.getBundle( m_context, InternationalizationManager.CORE_BUNDLE );


        switch(type)
        {
            case READ:
                el = createAnchor( READ, m_context.getURL(WikiContext.VIEW, link), text, section );
                break;


            case EDIT:
                el = createAnchor( EDIT, m_context.getURL(WikiContext.EDIT,link), text, "" );
                el.setAttribute("title", MessageFormat.format( rb.getString( "markupparser.link.create" ), link ) );
                break;


            case EMPTY:
                el = new Element("u").addContent(text);
                break;


                //
                //  These two are for local references - footnotes and
                //  references to footnotes.
                //  We embed the page name (or whatever WikiContext gives us)
                //  to make sure the links are unique across Wiki.
                //
            case LOCALREF:
                el = createAnchor( LOCALREF, "#ref-"+m_context.getName()+"-"+link, "["+text+"]", "" );
                break;


            case LOCAL:
                el = new Element("a").setAttribute("class","footnote");
                el.setAttribute("name", "ref-"+m_context.getName()+"-"+link.substring(1));
                el.addContent("["+text+"]");
                break;


                //
                //  With the image, external and interwiki types we need to
                //  make sure nobody can put in Javascript or something else
                //  annoying into the links themselves.  We do this by preventing
                //  a haxor from stopping the link name short with quotes in
                //  fillBuffer().
                //
            case IMAGE:
                el = new Element("img").setAttribute("class","inline");
                el.setAttribute("src",link);
                el.setAttribute("alt",text);
                break;


            case IMAGELINK:
                el = new Element("img").setAttribute("class","inline");
                el.setAttribute("src",link);
                el.setAttribute("alt",text);
                el = createAnchor(IMAGELINK,text,"","").addContent(el);
                break;


            case IMAGEWIKILINK:
                String pagelink = m_context.getURL(WikiContext.VIEW,text);
                el = new Element("img").setAttribute("class","inline");
                el.setAttribute("src",link);
                el.setAttribute("alt",text);
                el = createAnchor(IMAGEWIKILINK,pagelink,"","").addContent(el);
                break;


            case EXTERNAL:
                el = createAnchor( EXTERNAL, link, text, section );
                if( m_useRelNofollow ) el.setAttribute("rel","nofollow");
                break;


            case INTERWIKI:
                el = createAnchor( INTERWIKI, link, text, section );
                break;


            case ATTACHMENT:
                String attlink = m_context.getURL( WikiContext.ATTACH,
                                                   link );


                String infolink = m_context.getURL( WikiContext.INFO,
                                                    link );


                String imglink = m_context.getURL( WikiContext.NONE,
                                                   "images/attachment_small.png" );


                el = createAnchor( ATTACHMENT, attlink, text, "" );


                pushElement(el);
                popElement(el.getName());


                if( m_useAttachmentImage )
                {
                    el = new Element("img").setAttribute("src",imglink);
                    el.setAttribute("border","0");
                    el.setAttribute("alt","(info)");


                    el = new Element("a").setAttribute("href",infolink).addContent(el);
                    el.setAttribute("class","infolink");
                }
                else
                {
                    el = null;
                }
                break;


            default:
                break;
        }


        if( el != null && attributes != null )
        {
            while( attributes.hasNext() )
            {
                Attribute attr = (Attribute)attributes.next();
                if( attr != null )
                {
                    el.setAttribute(attr);
                }
            }
        }


        if( el != null )

View Full Code Here

        {
            Entry e = (Entry)i.next();


            WikiPage p = e.getPage();


            Element entryEl = getElement("entry");


            //
            //  Mandatory elements
            //


            entryEl.addContent( getElement("id").setText( getEntryID(e)) );
            entryEl.addContent( getElement("title").setAttribute("type","html").setText( e.getTitle() ));
            entryEl.addContent( getElement("updated").setText( DateFormatUtils.formatUTC(p.getLastModified(),
                                                                                         RFC3339FORMAT )));
            //
            //  Optional elements
            //


            entryEl.addContent( getElement("author").addContent( getElement("name").setText( e.getAuthor() )));
            entryEl.addContent( getElement("link").setAttribute("rel","alternate").setAttribute("href",e.getURL()));
            entryEl.addContent( getElement("content").setAttribute("type","html").setText( e.getContent() ));


            //
            //  Check for enclosures
            //


            if( engine.getAttachmentManager().hasAttachments(p) && servletContext != null )
            {
                try
                {
                    Collection c = engine.getAttachmentManager().listAttachments(p);


                    for( Iterator a = c.iterator(); a.hasNext(); )
                    {
                        Attachment att = (Attachment) a.next();


                        Element attEl = getElement("link");
                        attEl.setAttribute( "rel","enclosure" );
                        attEl.setAttribute( "href", engine.getURL(WikiContext.ATTACH, att.getName(), null, true ) );
                        attEl.setAttribute( "length", Long.toString(att.getSize()) );
                        attEl.setAttribute( "type", getMimeType( servletContext, att.getFileName() ) );


                        entryEl.addContent( attEl );
                    }
                }
                catch( ProviderException ex )

View Full Code Here

     *  {@inheritDoc}
     */
    @Override
    public String getString()
    {
        Element root = getElement("feed");
        WikiEngine engine = m_wikiContext.getEngine();


        Date lastModified = new Date(0L);


        for( Iterator i = m_entries.iterator(); i.hasNext(); )
        {
            Entry e = (Entry)i.next();


            if( e.getPage().getLastModified().after(lastModified) )
                lastModified = e.getPage().getLastModified();
        }


        //
        //  Mandatory parts
        //
        root.addContent( getElement("title").setText( getChannelTitle() ) );
        root.addContent( getElement("id").setText(getFeedID()) );
        root.addContent( getElement("updated").setText(DateFormatUtils.formatUTC( lastModified,
                                                                                  RFC3339FORMAT ) ));


        //
        //  Optional
        //
        // root.addContent( getElement("author").addContent(getElement("name").setText(format())))
        root.addContent( getElement("link").setAttribute("href",engine.getBaseURL()));
        root.addContent( getElement("generator").setText("JSPWiki "+Release.VERSTR));


        String rssFeedURL  = engine.getURL(WikiContext.NONE, "rss.jsp",
                                           "page="+engine.encodeName(m_wikiContext.getPage().getName())+
                                           "&mode="+m_mode+
                                           "&type=atom",
                                           true );
        Element self = getElement("link").setAttribute("rel","self");
        self.setAttribute("href",rssFeedURL);
        root.addContent(self);


        //
        //  Items
        //

View Full Code Here

     *  @return An Element containing the error.
     */


    public static Element makeError( String error )
    {
        return new Element("span").setAttribute("class","error").addContent(error);
    }

View Full Code Here

     */
    private Element popElement( String s )
    {
        int flushedBytes = flushPlainText();


        Element currEl = m_currentElement;


        while( currEl.getParentElement() != null )
        {
            if( currEl.getName().equals(s) && !currEl.isRootElement() )
            {
                m_currentElement = currEl.getParentElement();


                //
                //  Check if it's okay for this element to be empty.  Then we will
                //  trick the JDOM generator into not generating an empty element,
                //  by putting an empty string between the tags.  Yes, it's a kludge
                //  but what'cha gonna do about it. :-)
                //


                if( flushedBytes == 0 && Arrays.binarySearch( EMPTY_ELEMENTS, s ) < 0 )
                {
                    currEl.addContent("");
                }


                return m_currentElement;
            }


            currEl = currEl.getParentElement();
        }


        return null;
    }

View Full Code Here

        }
    }


    private Element getElement( String name )
    {
        return new Element( name, m_atomNameSpace );
    }

View Full Code Here

     *  @param hd a List to which heading should be added
     *  @return An Element containing the heading
     */
    public Element makeHeading( int level, String title, Heading hd )
    {
        Element el = null;


        String pageName = m_context.getPage().getName();


        String outTitle = makeSectionTitle( title );


        hd.m_level = level;


        switch( level )
        {
          case Heading.HEADING_SMALL:
            el = new Element("h4").setAttribute("id",makeHeadingAnchor( pageName, outTitle, hd ));
            break;


          case Heading.HEADING_MEDIUM:
            el = new Element("h3").setAttribute("id",makeHeadingAnchor( pageName, outTitle, hd ));
            break;


          case Heading.HEADING_LARGE:
            el = new Element("h2").setAttribute("id",makeHeadingAnchor( pageName, outTitle, hd ));
            break;


          default:
            throw new InternalWikiException("Illegal heading type "+level);
        }

View Full Code Here

     *
     *  @return  An element containing the HTML for the outlink image.
     */
    private Element outlinkImage()
    {
        Element el = null;


        if( m_useOutlinkImage )
        {
            if( m_outlinkImageURL == null )
            {
                m_outlinkImageURL = m_context.getURL( WikiContext.NONE, OUTLINK_IMAGE );
            }


            el = new Element("img").setAttribute("class", "outlink");
            el.setAttribute( "src", m_outlinkImageURL );
            el.setAttribute("alt","");
        }


        return el;
    }

View Full Code Here

     * @param url
     * @return An anchor Element containing the link.
     */
    private Element makeDirectURILink( String url )
    {
        Element result;
        String last = null;


        if( url.endsWith(",") || url.endsWith(".") )
        {
            last = url.substring( url.length()-1 );

View Full Code Here

        {
            int ch2 = nextToken();


            if( ch2 == '\\' )
            {
                pushElement( new Element("br").setAttribute("clear","all"));
                return popElement("br");
            }


            pushBack( ch2 );


            pushElement( new Element("br") );
            return popElement("br");
        }


        pushBack( ch );

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of com.github.fge.jsonschema.processors.validation.ValidationStack$Element

ch.cmbntr.modulizer.plugin.util.ModuleDescriptors$ModuleDescriptorBuilder

ch.rotscher.maven.plugins.InstallWithVersionOverrideMojo

cn.guoyukun.pdm2pdf.pdm.PdmReader

co.pishfa.accelerate.initializer.core.XmlMetaDataReader

com.ardor3d.extension.model.collada.jdom.ColladaAnimUtils

com.ardor3d.extension.model.collada.jdom.ColladaDOMUtil

com.ardor3d.extension.model.collada.jdom.ColladaImporter

com.ardor3d.extension.model.collada.jdom.ColladaInputPipe

com.ardor3d.extension.model.collada.jdom.ColladaMaterialUtils

com.ardor3d.extension.model.collada.jdom.ColladaMeshUtils

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.