|
What this is
Other links
The source code/* * Sun Public License Notice * * The contents of this file are subject to the Sun Public License * Version 1.0 (the "License"). You may not use this file except in * compliance with the License. A copy of the License is available at * http://www.sun.com/ * * The Original Code is NetBeans. The Initial Developer of the Original * Code is Sun Microsystems, Inc. Portions Copyright 1997-2003 Sun * Microsystems, Inc. All Rights Reserved. */ package org.netbeans.modules.css.actions; import java.awt.datatransfer.StringSelection; import java.net.*; import java.io.*; import org.openide.*; import org.openide.awt.StatusDisplayer; import org.openide.nodes.Node; import org.openide.util.*; import org.openide.util.actions.*; import org.openide.filesystems.*; import org.openide.cookies.*; import org.w3c.css.sac.*; import org.netbeans.modules.css.*; /** * Action that reparses stylesheet and reports any syntax errors. * * @author Petr Kuzel */ public class CheckStyleAction extends CookieAction implements ErrorHandler, DocumentHandler { /** Serial Version UID */ private static final long serialVersionUID = -6638807099960633338L; private CSSObject csso; //currently processed object private CSSDisplayer disp; //and its displayer //check status private boolean failed; private int warnings; /** What triggers me? * @return MODE_EXACTLY_ONE. */ public int mode() { return MODE_EXACTLY_ONE; } /** What triggers me? * @return {CSSObject.class} */ public Class[] cookieClasses() { return new Class[] {CSSObject.class}; } /** Action. */ protected void performAction(final Node[] nodes) { if (nodes.length != 1) return; if (nodes[0] == null) return; failed = false; warnings = 0; disp = new CSSDisplayer(); Parser parser = new org.w3c.flute.parser.Parser(); parser.setErrorHandler(this); parser.setDocumentHandler(this); for (int i=0; i |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.