Examples of HtmlElement


Examples of mf.org.w3c.dom.html.HTMLElement

    }


    public synchronized String getTitle()
    {
        HTMLElement head;
        NodeList    list;
        Node        title;

        // Get the HEAD element and look for the TITLE element within.
        // When found, make sure the TITLE is a direct child of HEAD,
        // and return the title's text (the Text node contained within).
        head = getHead();
        list = head.getElementsByTagName( "TITLE" );
        if ( list.getLength() > 0 ) {
            title = list.item( 0 );
            return ( (HTMLTitleElement) title ).getText();
        }
        // No TITLE found, return an empty string.
View Full Code Here

Examples of mf.org.w3c.dom.html.HTMLElement

    }


    public synchronized void setTitle( String newTitle )
    {
        HTMLElement head;
        NodeList    list;
        Node        title;

        // Get the HEAD element and look for the TITLE element within.
        // When found, make sure the TITLE is a direct child of HEAD,
        // and set the title's text (the Text node contained within).
        head = getHead();
        list = head.getElementsByTagName( "TITLE" );
        if ( list.getLength() > 0 ) {
            title = list.item( 0 );
            if ( title.getParentNode() != head )
                head.appendChild( title );
            ( (HTMLTitleElement) title ).setText( newTitle );
        }
        else
        {
            // No TITLE found, create a new element and place it at the end
            // of the HEAD element.
            title = new HTMLTitleElementImpl( this, "TITLE" );
            ( (HTMLTitleElement) title ).setText( newTitle );
            head.appendChild( title );
        }
    }
View Full Code Here

Examples of mf.org.w3c.dom.html.HTMLElement

 
    public HTMLElement insertCell( int index )
    {
        Node        child;
        HTMLElement    newCell;
       
        newCell = new HTMLTableCellElementImpl( (HTMLDocumentImpl) getOwnerDocument(), "TD" );
        child = getFirstChild();
        while ( child != null ) {
            if ( child instanceof HTMLTableCellElement ) {
View Full Code Here

Examples of org.eclipse.ui.internal.intro.impl.html.HTMLElement

        String content = null;

        if (page.isXHTMLPage())
            content = generateXHTMLPage(page, this);
        else {
            HTMLElement html = getHTMLGenerator().generateHTMLforPage(page,
                this);
            if (html != null) {
              IntroModelRoot root = getModel();
              if (root!=null) {
                Map props = root.getTheme()!=null?root.getTheme().getProperties():null;
                if (props!=null) {
                  String value = (String)props.get("standardSupport"); //$NON-NLS-1$
                  String doctype=null;
                  if ("strict".equalsIgnoreCase(value)) //$NON-NLS-1$
                    doctype = generateDoctype(true);
                  else if ("loose".equalsIgnoreCase(value)) //$NON-NLS-1$
                    doctype = generateDoctype(false);
                  if (doctype!=null)
                    content = doctype+html.toString();
                }
              }
              if (content==null)
                content = html.toString();
            }
        }


        if (content == null) {
View Full Code Here

Examples of org.jacoco.report.html.HTMLElement

  public void render(final HTMLElement parent,
      final List<? extends ITableItem> items, final ICoverageNode total,
      final Resources resources, final ReportOutputFolder base)
      throws IOException {
    final List<? extends ITableItem> sortedItems = sort(items);
    final HTMLElement table = parent.table(Styles.COVERAGETABLE);
    table.attr("id", "coveragetable");
    header(table, sortedItems, total, resources, base);
    footer(table, total, resources, base);
    body(table, sortedItems, resources, base);
  }
View Full Code Here

Examples of org.jacoco.report.internal.html.HTMLElement

    headExtra(head);
  }

  private void body(final HTMLElement body) throws IOException {
    body.attr("onload", getOnload());
    final HTMLElement navigation = body.div(Styles.BREADCRUMB);
    navigation.attr("id", "breadcrumb");
    infoLinks(navigation.span(Styles.RIGHT));
    breadcrumb(navigation, folder);
    body.h1().text(getLinkLabel());
    content(body);
    footer(body);
  }
View Full Code Here

Examples of org.jmanage.webui.taglib.HtmlElement

        ApplicationConfig appConfig = context.getApplicationConfig();
        // graphs at cluster level are not yet supported
        assert !appConfig.isCluster();
        GraphConfig graphConfig = appConfig.findGraph(id);

        HtmlElement applet = new HtmlElement("applet");
        applet.addAttribute("code", "org/jmanage/webui/applets/GraphApplet.class");
        applet.addAttribute("archive", "/applets/applets.jar,/applets/jfreechart-0.9.20.jar,/applets/jcommon-0.9.5.jar");
        applet.addAttribute("width", width);
        applet.addAttribute("height", height);

        ParamElement param = null;

        param = new ParamElement(GraphAppletParameters.GRAPH_TITLE, graphConfig.getName());
        applet.addChildElement(param);

        param = new ParamElement(GraphAppletParameters.POLLING_INTERVAL, graphConfig.getPollingInterval());
        applet.addChildElement(param);

        String remoteURL = Utils.getServerBaseURL(request) +
                "/app/fetchAttributeValues.do;jsessionid=" +
                Utils.getCookieValue(request, "JSESSIONID");
        param = new ParamElement(GraphAppletParameters.REMOTE_URL, remoteURL);
        applet.addChildElement(param);

        param = new ParamElement(GraphAppletParameters.ATTRIBUTE_DISPLAY_NAMES,
                graphConfig.getAttributeDisplayNames());
        applet.addChildElement(param);

        param = new ParamElement(GraphAppletParameters.ATTRIBUTES,
                graphConfig.getAttributesAsString());
        applet.addChildElement(param);

        param = new ParamElement(GraphAppletParameters.Y_AXIS_LABEL,
                graphConfig.getYAxisLabel());
        applet.addChildElement(param);

        if(graphConfig.getScaleFactor() != null){
            param = new ParamElement(GraphAppletParameters.SCALE_FACTOR,
                    graphConfig.getScaleFactor());
            applet.addChildElement(param);
        }

        if(graphConfig.isScaleUp() != null){
            param = new ParamElement(GraphAppletParameters.SCALE_UP,
                    graphConfig.isScaleUp());
            applet.addChildElement(param);
        }

        final JspWriter writer = pageContext.getOut();

        try {
            writer.println(applet.toString());
        } catch (IOException e) {
            throw new JspException(e);
        }
        return SKIP_BODY;
    }
View Full Code Here

Examples of org.teavm.dom.html.HTMLElement

        double start = performance.now();
        scene.calculate();
        double end = performance.now();
        int second = (int)((System.currentTimeMillis() - startMillisecond) / 1000);
        if (second > currentSecond) {
            HTMLElement row = document.createElement("tr");
            resultTableBody.appendChild(row);
            HTMLElement secondCell = document.createElement("td");
            row.appendChild(secondCell);
            secondCell.appendChild(document.createTextNode(String.valueOf(second)));
            HTMLElement timeCell = document.createElement("td");
            row.appendChild(timeCell);
            timeCell.appendChild(document.createTextNode(String.valueOf(timeSpentCalculating)));

            timeSpentCalculating = 0;
            currentSecond = second;
        }
        timeSpentCalculating += end - start;
View Full Code Here

Examples of org.w3c.dom.html.HTMLElement

    }


    public synchronized String getTitle()
    {
        HTMLElement head;
        NodeList    list;
        Node        title;

        // Get the HEAD element and look for the TITLE element within.
        // When found, make sure the TITLE is a direct child of HEAD,
        // and return the title's text (the Text node contained within).
        head = getHead();
        title = head.getElementsByTagName( "TITLE" ).item( 0 );
        list = head.getElementsByTagName( "TITLE" );
        if ( list.getLength() > 0 ) {
            title = list.item( 0 );
            return ( (HTMLTitleElement) title ).getText();
        }
        // No TITLE found, return an empty string.
View Full Code Here

Examples of org.w3c.dom.html.HTMLElement

    }


    public synchronized void setTitle( String newTitle )
    {
        HTMLElement head;
        NodeList    list;
        Node        title;

        // Get the HEAD element and look for the TITLE element within.
        // When found, make sure the TITLE is a direct child of HEAD,
        // and set the title's text (the Text node contained within).
        head = getHead();
        list = head.getElementsByTagName( "TITLE" );
        if ( list.getLength() > 0 ) {
            title = list.item( 0 );
            if ( title.getParentNode() != head )
                head.appendChild( title );
            ( (HTMLTitleElement) title ).setText( newTitle );
        }
        else
        {
            // No TITLE found, create a new element and place it at the end
            // of the HEAD element.
            title = new HTMLTitleElementImpl( this, "TITLE" );
            ( (HTMLTitleElement) title ).setText( newTitle );
            head.appendChild( title );
        }
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.