import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Forces the given {@link Parser} to re-parse the content of this text
 * area.<p>
 * 
 * This method can be useful when a <code>Parser</code> can be configured
 * as to what notices it returns.  For example, if a Java language parser
 * can be configured to set whether no serialVersionUID is a warning,
 * error, or ignored, this method can be called after changing the expected
 * notice type to have the document re-parsed.
 *
 * @param parser The index of the <code>Parser</code> to re-run.
 * @see #getParser(int)
 */
public void forceReparsing(int parser) {
	Parser p = getParser(parser);
	RSyntaxDocument doc = (RSyntaxDocument)textArea.getDocument();
	String style = textArea.getSyntaxEditingStyle();
	doc.readLock();
	try {
		if (p.isEnabled()) {
			ParseResult res = p.parse(doc, style);
			addParserNoticeHighlights(res);
		}
		else {
			clearParserNoticeHighlights(p);
		}
		textArea.fireParserNoticesChange();
	} finally {
		doc.readUnlock();
	}
}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Removes any currently stored notices (and the corresponding highlights
 * from the editor) from the same Parser, and in the given line range,
 * as in the results.
 *
 * @param res The results.
 */
private void removeParserNotices(ParseResult res) {
	if (noticeHighlightPairs!=null) {
		RSyntaxTextAreaHighlighter h = (RSyntaxTextAreaHighlighter)
											textArea.getHighlighter();
		for (Iterator<NoticeHighlightPair> i=noticeHighlightPairs.iterator(); i.hasNext(); ) {
			NoticeHighlightPair pair = i.next();
			boolean removed = false;
			if (shouldRemoveNotice(pair.notice, res)) {
				if (pair.highlight!=null) {
					h.removeParserHighlight(pair.highlight);
				}
				i.remove();
				removed = true;
			}
			if (DEBUG_PARSING) {
				String text = removed ? "[DEBUG]: ... notice removed: " :
										"[DEBUG]: ... notice not removed: ";
				System.out.println(text + pair.notice);
			}
		}

	}

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Returns whether a parser notice should be removed, based on a parse
 * result.
 *
 * @param notice The notice in question.
 * @param res The result.
 * @return Whether the notice should be removed.
 */
private final boolean shouldRemoveNotice(ParserNotice notice,
										ParseResult res) {

	if (DEBUG_PARSING) {
		System.out.println("[DEBUG]: ... ... shouldRemoveNotice " +
				notice + ": " + (notice.getParser()==res.getParser()));
	}

	// NOTE: We must currently remove all notices for the parser.  Parser
	// implementors are required to parse the entire document each parsing
	// request, as RSTA is not yet sophisticated enough to determine the
	// minimum range of text to parse (and ParserNotices' locations aren't
	// updated when the Document is mutated, which would be a requirement
	// for this as well).
	// return same_parser && (in_reparsed_range || in_deleted_end_of_doc)
	return notice.getParser()==res.getParser();

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
@Override
public ParseResult parse(RSyntaxDocument doc, String style) {
    DefaultParseResult result = new DefaultParseResult(this);
    CodeModel.ErrorMessage errorMessage = codeModel.compileScript(sourceFile);
    if (errorMessage != null) {
        int line = errorMessage.line - 1;
        try {
            DefaultParserNotice notice = new DefaultParserNotice(this,
                    errorMessage.message,
                    line,
                    textArea.getLineStartOffset(line),
                    textArea.getLineEndOffset(line));
            result.addNotice(notice);
        } catch (BadLocationException e) {
            // Do nothing
        }
    }
    return result;
}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Forces the given {@link Parser} to re-parse the content of this text area.
 * <p>
 * 
 * This method can be useful when a <code>Parser</code> can be configured as to what notices it returns. For
 * example, if a Java language parser can be configured to set whether no serialVersionUID is a warning, error, or
 * ignored, this method can be called after changing the expected notice type to have the document re-parsed.
 * 
 * @param parser
 *            The index of the <code>Parser</code> to re-run.
 * @see #getParser(int)
 */
public void forceReparsing(int parser) {
    Parser p = getParser(parser);
    RSyntaxDocument doc = (RSyntaxDocument) textArea.getDocument();
    String style = textArea.getSyntaxEditingStyle();
    doc.readLock();
    try {
        if (p.isEnabled()) {
            ParseResult res = p.parse(doc, style);
            addParserNoticeHighlights(res);
        }
        else {
            clearParserNoticeHighlights(p);
        }
        textArea.fireParserNoticesChange();
    } finally {
        doc.readUnlock();
    }
}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Returns whether a parser notice should be removed, based on a parse result.
 * 
 * @param notice
 *            The notice in question.
 * @param res
 *            The result.
 * @return Whether the notice should be removed.
 */
private final boolean shouldRemoveNotice(ParserNotice notice,
        ParseResult res) {

    if (DEBUG_PARSING) {
        System.out.println("[DEBUG]: ... ... shouldRemoveNotice " +
                notice + ": " + (notice.getParser() == res.getParser()));
    }

    // NOTE: We must currently remove all notices for the parser. Parser
    // implementors are required to parse the entire document each parsing
    // request, as RSTA is not yet sophisticated enough to determine the
    // minimum range of text to parse (and ParserNotices' locations aren't
    // updated when the Document is mutated, which would be a requirement
    // for this as well).
    // return same_parser && (in_reparsed_range || in_deleted_end_of_doc)
    return notice.getParser() == res.getParser();

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
@Override // lang can be set using editor.setSyntaxEditingStyle
public ParseResult parse(RSyntaxDocument code, String lang) {
	DefaultParseResult result = new DefaultParseResult(this);
	if((lang != "sat" && lang != "smt" && lang != "qbf") || code.getLength()==0)
		return result;
	if(bufferErrors == null) {
		try {
			TranslationLatex tr = new TranslationLatex(code.getText(0, code.getLength()), lang, true);
			bufferErrors = tr.getErrors();
			if (tr.getFormula().length() != 0 && edition != null) {
				edition.setLatex(tr.getFormula());
			}

		} catch (Exception e) {
			e.printStackTrace();
		}
	}
	
	for (TranslationError error : bufferErrors) {
		result.addNotice(new ErrorParserNotice(this, error));
	}
	bufferErrors = null;
	return result;
}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
@Override
	public ParseResult parse(RSyntaxDocument doc, String style) {
		ZScriptAst old = ast;
		AstFactory parser2 = new AstFactory(doc, this, null);
		ZScriptParseResult zspr = parser2.parse();
		DefaultParseResult result = new DefaultParseResult(this);
		ast = zspr.getAst();
		List<ParserNotice> notices = zspr.getNotices();
		for (ParserNotice notice : notices) {
			//System.out.println(">>> " + notice);
			result.addNotice(notice);
		}
		support.firePropertyChange(PROPERTY_AST, old, ast);
//System.out.println("----------");
//ast.getRootNode().accept(new org.fife.rsta.zscript.ast.AstPrinter());
//System.out.println("----------");
		return result;
	}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Removes any currently stored notices (and the corresponding highlights
 * from the editor) from the same Parser, and in the given line range,
 * as in the results.
 *
 * @param res The results.
 */
private void removeParserNotices(ParseResult res) {
	if (noticeHighlightPairs!=null) {
		RSyntaxTextAreaHighlighter h = (RSyntaxTextAreaHighlighter)
											textArea.getHighlighter();
		for (Iterator i=noticeHighlightPairs.iterator(); i.hasNext(); ) {
			NoticeHighlightPair pair = (NoticeHighlightPair)i.next();
			boolean removed = false;
			if (shouldRemoveNotice(pair.notice, res)) {
				if (pair.highlight!=null) {
					h.removeParserHighlight(pair.highlight);
				}
				i.remove();
				removed = true;
			}
			if (DEBUG_PARSING) {
				String text = removed ? "[DEBUG]: ... notice removed: " :
										"[DEBUG]: ... notice not removed: ";
				System.out.println(text + pair.notice);
			}
		}

	}

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
@Override
public ParseResult parse(RSyntaxDocument doc, String style) {
	DefaultParseResult result = new DefaultParseResult(this);
	onStartParsing();
	List<SyntaxElement> elements = syntaxElementSource.get(DocumentUtil.getText(doc));
	
	for (SyntaxElement e : elements)
		maybeAddNotice(result, e);
	
	onFinishParsing();
	
	return result;
}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Removes any currently stored notices (and the corresponding highlights from the editor) from the same Parser, and
 * in the given line range, as in the results.
 * 
 * @param res
 *            The results.
 */
private void removeParserNotices(ParseResult res) {

    if (noticesToHighlights != null) {

        RSyntaxTextAreaHighlighter h = (RSyntaxTextAreaHighlighter)
                textArea.getHighlighter();

        for (Iterator i = noticesToHighlights.entrySet().iterator(); i.hasNext();) {
            Map.Entry entry = (Map.Entry) i.next();
            ParserNotice notice = (ParserNotice) entry.getKey();
            if (shouldRemoveNotice(notice, res)) {
                if (entry.getValue() != null) {
                    h.removeParserHighlight(entry.getValue());
                }
                i.remove();
                if (DEBUG_PARSING) {
                    System.out.println("[DEBUG]: ... notice removed: " +
                            notice);
                }
            }
            else {
                if (DEBUG_PARSING) {
                    System.out.println("[DEBUG]: ... notice not removed: " +
                            notice);
                }
            }
        }

    }

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * {@inheritDoc}
 */
public ParseResult parse(RSyntaxDocument doc, String style) {

    result.clearNotices();
    Element root = doc.getDefaultRootElement();
    result.setParsedLines(0, root.getElementCount() - 1);

    if (spf == null) {
        return result;
    }

    try {
        SAXParser sp = spf.newSAXParser();
        Handler handler = new Handler();
        DocumentReader r = new DocumentReader(doc);
        InputSource input = new InputSource(r);
        sp.parse(input, handler);
        r.close();
    } catch (SAXParseException spe) {
        // A fatal parse error - ignore; a ParserNotice was already created.
    } catch (Exception e) {
        e.printStackTrace();
        result.addNotice(new DefaultParserNotice(this,
                "Error parsing XML: " + e.getMessage(), 0, -1, -1));
    }

    return result;

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
	 * {@inheritDoc}
	 */
	public ParseResult parse(RSyntaxDocument doc, String style) {

		cu = null;
		result.clearNotices();
		// Always spell check all lines, for now.
		int lineCount = doc.getDefaultRootElement().getElementCount();
		result.setParsedLines(0, lineCount-1);

		DocumentReader r = new DocumentReader(doc);
		Scanner scanner = new Scanner(r);
		scanner.setDocument(doc);
		ASTFactory fact = new ASTFactory();
		long start = System.currentTimeMillis();
		try {
			cu = fact.getCompilationUnit("SomeFile.java", scanner); // TODO: Real name?
			long time = System.currentTimeMillis() - start;
			result.setParseTime(time);
		} catch (IOException ioe) {
			result.setError(ioe);
//			ioe.printStackTrace();
		}

		r.close();

		addNotices(doc);
		support.firePropertyChange(PROPERTY_COMPILATION_UNIT, null, cu);
		return result;

	}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * {@inheritDoc}
 */
@Override
public ParseResult parse(RSyntaxDocument doc, String style) {

	cu = null;
	result.clearNotices();
	// Always spell check all lines, for now.
	int lineCount = doc.getDefaultRootElement().getElementCount();
	result.setParsedLines(0, lineCount-1);

	DocumentReader r = new DocumentReader(doc);
	Scanner scanner = new Scanner(r);
	scanner.setDocument(doc);
	ASTFactory fact = new ASTFactory();
	long start = System.currentTimeMillis();
	try {
		cu = fact.getCompilationUnit("SomeFile.java", scanner); // TODO: Real name?
		long time = System.currentTimeMillis() - start;
		result.setParseTime(time);
	} finally {
		r.close();
	}

	addNotices(doc);
	support.firePropertyChange(PROPERTY_COMPILATION_UNIT, null, cu);
	return result;

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Called when the timer fires (e.g. it's time to parse the document).
 * 
 * @param e The event.
 */
public void actionPerformed(ActionEvent e) {

	// Sanity check - should have >1 parser if event is fired.
	int parserCount = getParserCount();
	if (parserCount==0) {
		return;
	}

	long begin = 0;
	if (DEBUG_PARSING) {
		begin = System.currentTimeMillis();
	}

	RSyntaxDocument doc = (RSyntaxDocument)textArea.getDocument();
	
	Element root = doc.getDefaultRootElement();
	int firstLine = firstOffsetModded==null ? 0 : root.getElementIndex(firstOffsetModded.getOffset());
	int lastLine = lastOffsetModded==null ? root.getElementCount()-1 : root.getElementIndex(lastOffsetModded.getOffset());
	firstOffsetModded = lastOffsetModded = null;
	if (DEBUG_PARSING) {
		System.out.println("[DEBUG]: Minimum lines to parse: " + firstLine + "-" + lastLine);
	}

	String style = textArea.getSyntaxEditingStyle();
	doc.readLock();
	try {
		for (int i=0; i<parserCount; i++) {
			Parser parser = getParser(i);
			if (parser.isEnabled()) {
				ParseResult res = parser.parse(doc, style);
				addParserNoticeHighlights(res);
			}
			else {
				clearParserNoticeHighlights(parser);
			}
		}
		textArea.fireParserNoticesChange();
	} finally {
		doc.readUnlock();
	}

	if (DEBUG_PARSING) {
		float time = (System.currentTimeMillis()-begin)/1000f;
		System.out.println("Total parsing time: " + time + " seconds");
	}

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Adds highlights for a list of parser notices.  Any current notices
 * from the same Parser, in the same parsed range, are removed.
 *
 * @param res The result of a parsing.
 * @see #clearParserNoticeHighlights()
 */
private void addParserNoticeHighlights(ParseResult res) {

	// Parsers are supposed to return at least empty ParseResults, but
	// we'll be defensive here.
	if (res==null) {
		return;
	}

	if (DEBUG_PARSING) {
		System.out.println("[DEBUG]: Adding parser notices from " +
							res.getParser());
	}

	if (noticeHighlightPairs==null) {
		noticeHighlightPairs = new ArrayList<NoticeHighlightPair>();
	}

	removeParserNotices(res);

	List<ParserNotice> notices = res.getNotices();
	if (notices.size()>0) { // Guaranteed non-null

		RSyntaxTextAreaHighlighter h = (RSyntaxTextAreaHighlighter)
												textArea.getHighlighter();

		for (ParserNotice notice : notices) {
			if (DEBUG_PARSING) {
				System.out.println("[DEBUG]: ... adding: " + notice);
			}
			try {
				HighlightInfo highlight = null;
				if (notice.getShowInEditor()) {
					highlight = h.addParserHighlight(notice,
										parserErrorHighlightPainter);
				}
				noticeHighlightPairs.add(new NoticeHighlightPair(notice, highlight));
			} catch (BadLocationException ble) { // Never happens
				ble.printStackTrace();
			}
		}

	}

	if (DEBUG_PARSING) {
		System.out.println("[DEBUG]: Done adding parser notices from " +
							res.getParser());
	}

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Called when the timer fires (e.g. it's time to parse the document).
 * 
 * @param e
 *            The event.
 */
public void actionPerformed(ActionEvent e) {

    // Sanity check - should have >1 parser if event is fired.
    int parserCount = getParserCount();
    if (parserCount == 0) {
        return;
    }

    long begin = 0;
    if (DEBUG_PARSING) {
        begin = System.currentTimeMillis();
    }

    RSyntaxDocument doc = (RSyntaxDocument) textArea.getDocument();

    Element root = doc.getDefaultRootElement();
    int firstLine = firstOffsetModded == null ? 0 : root.getElementIndex(firstOffsetModded.getOffset());
    int lastLine = lastOffsetModded == null ? root.getElementCount() - 1 : root.getElementIndex(lastOffsetModded
            .getOffset());
    firstOffsetModded = lastOffsetModded = null;
    if (DEBUG_PARSING) {
        System.out.println("[DEBUG]: Minimum lines to parse: " + firstLine + "-" + lastLine);
    }

    String style = textArea.getSyntaxEditingStyle();
    doc.readLock();
    try {
        for (int i = 0; i < parserCount; i++) {
            Parser parser = getParser(i);
            if (parser.isEnabled()) {
                ParseResult res = parser.parse(doc, style);
                addParserNoticeHighlights(res);
            }
            else {
                clearParserNoticeHighlights(parser);
            }
        }
        textArea.fireParserNoticesChange();
    } finally {
        doc.readUnlock();
    }

    if (DEBUG_PARSING) {
        float time = (System.currentTimeMillis() - begin) / 1000f;
        System.err.println("Total parsing time: " + time + " seconds");
    }

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Adds highlights for a list of parser notices. Any current notices from the same Parser, in the same parsed range,
 * are removed.
 * 
 * @param res
 *            The result of a parsing.
 * @see #clearParserNoticeHighlights()
 */
private void addParserNoticeHighlights(ParseResult res) {

    if (DEBUG_PARSING) {
        System.out.println("[DEBUG]: Adding parser notices from " +
                res.getParser());
    }

    if (noticesToHighlights == null) {
        noticesToHighlights = new HashMap();
    }

    removeParserNotices(res);

    List notices = res.getNotices();
    if (notices.size() > 0) { // Guaranteed non-null

        RSyntaxTextAreaHighlighter h = (RSyntaxTextAreaHighlighter)
                textArea.getHighlighter();

        for (Iterator i = notices.iterator(); i.hasNext();) {
            ParserNotice notice = (ParserNotice) i.next();
            if (DEBUG_PARSING) {
                System.out.println("[DEBUG]: ... adding: " + res);
            }
            try {
                Object highlight = null;
                if (notice.getShowInEditor()) {
                    highlight = h.addParserHighlight(notice,
                            parserErrorHighlightPainter);
                }
                noticesToHighlights.put(notice, highlight);
            } catch (BadLocationException ble) { // Never happens
                ble.printStackTrace();
            }
        }

    }

    if (DEBUG_PARSING) {
        System.out.println("[DEBUG]: Done adding parser notices from " +
                res.getParser());
    }

}
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
     * {@inheritDoc}
     */
    @Override
    public ParseResult parse(final RSyntaxDocument doc, final String style) {
        assert m_snippet.getDocument() == doc;

        JavaSnippetCompiler compiler = new JavaSnippetCompiler(m_snippet);
        StringWriter log = new StringWriter();
        DiagnosticCollector<JavaFileObject> digsCollector =
            new DiagnosticCollector<JavaFileObject>();
        CompilationTask compileTask = null;
        try {
            compileTask = compiler.getTask(log, digsCollector);
        } catch (IOException e) {
            LOGGER.error("Cannot create an compile task.", e);
            return new DefaultParseResult(this);
        }
        compileTask.call();
        DefaultParseResult parseResult = new DefaultParseResult(this);
        parseResult.setError(null);
        for (Diagnostic<? extends JavaFileObject> d
                : digsCollector.getDiagnostics()) {
            boolean isSnippet = m_snippet.isSnippetSource(d.getSource());
            if (isSnippet) {
                DefaultParserNotice notice = new DefaultParserNotice(this,
                        d.getMessage(Locale.US),
                        (int)d.getLineNumber(),
                        (int)d.getStartPosition(),
                        (int)(d.getEndPosition()
                                - d.getStartPosition() + 1));
                if (d.getKind().equals(Kind.ERROR)) {
                    notice.setLevel(ParserNotice.Level.ERROR);
//                    LOGGER.error(d.getMessage(Locale.US));
                } else if (d.getKind().equals(Kind.WARNING)) {
                    notice.setLevel(ParserNotice.Level.WARNING);
//                    LOGGER.warn(d.getMessage(Locale.US));
                } else {
                    notice.setLevel(ParserNotice.Level.INFO);
//                    LOGGER.debug(d.getMessage(Locale.US));
                }
                parseResult.addNotice(notice);
            }
        }
        return parseResult;
    }
 

import org.fife.ui.rsyntaxtextarea.parser.ParseResult; //导入依赖的package包/类
/**
 * Called when the timer fires (e.g. it's time to parse the document).
 * 
 * @param e The event.
 */
public void actionPerformed(ActionEvent e) {

	// Sanity check - should have >1 parser if event is fired.
	int parserCount = getParserCount();
	if (parserCount==0) {
		return;
	}

	long begin = 0;
	if (DEBUG_PARSING) {
		begin = System.currentTimeMillis();
	}

	RSyntaxDocument doc = (RSyntaxDocument)textArea.getDocument();

	Element root = doc.getDefaultRootElement();
	int firstLine = firstOffsetModded==null ? 0 : root.getElementIndex(firstOffsetModded.getOffset());
	int lastLine = lastOffsetModded==null ? root.getElementCount()-1 : root.getElementIndex(lastOffsetModded.getOffset());
	firstOffsetModded = lastOffsetModded = null;
	if (DEBUG_PARSING) {
		System.out.println("[DEBUG]: Minimum lines to parse: " + firstLine + "-" + lastLine);
	}

	String style = textArea.getSyntaxEditingStyle();
	doc.readLock();
	try {
		for (int i=0; i<parserCount; i++) {
			Parser parser = getParser(i);
			if (parser.isEnabled()) {
				ParseResult res = parser.parse(doc, style);
				addParserNoticeHighlights(res);
			}
			else {
				clearParserNoticeHighlights(parser);
			}
		}
		textArea.fireParserNoticesChange();
	} finally {
		doc.readUnlock();
	}

	if (DEBUG_PARSING) {
		float time = (System.currentTimeMillis()-begin)/1000f;
		System.out.println("Total parsing time: " + time + " seconds");
	}

}