Examples of IProblem

org.aspectj.org.eclipse.jdt.core.compiler.IProblem
Description of a Java problem, as detected by the compiler or some of the underlying technology reusing the compiler. A problem provides access to:
- its location (originating source file name, source position, line number),
- its message description and a predicate to check its severity (warning or error).
- its ID : a number identifying the very nature of this problem. All possible IDs are listed as constants on this interface.
Note: the compiler produces IProblems internally, which are turned into markers by the JavaBuilder so as to persist problem descriptions. This explains why there is no API allowing to reach IProblem detected when compiling. However, the Java problem markers carry equivalent information to IProblem, in particular their ID (attribute "id") is set to one of the IDs defined on this interface. @since 2.0
org.eclipse.dltk.compiler.problem.IProblem
org.eclipse.jdt.core.compiler.IProblem
Description of a Java problem, as detected by the compiler or some of the underlying technology reusing the compiler. A problem provides access to:
- its location (originating source file name, source position, line number),
- its message description and a predicate to check its severity (warning or error).
- its ID : a number identifying the very nature of this problem. All possible IDs are listed as constants on this interface.
Note: the compiler produces IProblems internally, which are turned into markers by the JavaBuilder so as to persist problem descriptions. This explains why there is no API allowing to reach IProblem detected when compiling. However, the Java problem markers carry equivalent information to IProblem, in particular their ID (attribute "id") is set to one of the IDs defined on this interface. @since 2.0 @noimplement This interface is not intended to be implemented by clients. @noextend This interface is not intended to be extended by clients.
org.sat4j.specs.IProblem
Access to the information related to a given problem instance. @author leberre

Examples of org.eclipse.jdt.core.compiler.IProblem

        final ICompilerRequestor requestor = new ICompilerRequestor() {
            public void acceptResult(CompilationResult result) {
                if (result.hasProblems()) {
                    IProblem[] problems = result.getProblems();
                    for (int i = 0; i < problems.length; i++) {
                        IProblem problem = problems[i];
                        if (problem.isError()) {
                            String name = new String(problems[i]
                                    .getOriginatingFileName());
                            try {
                                problemList.add(ErrorDispatcher
                                        .createJavacError(name, pageNodes,
                                                new StringBuffer(problem
                                                        .getMessage()), problem
                                                        .getSourceLineNumber(),
                                                ctxt));
                            } catch (JasperException e) {
                                log.error("Error visiting node", e);
                            }

View Full Code Here

Examples of org.sat4j.specs.IProblem

            throws FileNotFoundException, ParseFormatException, IOException,
            ContradictionException {
        log("solving " + problemname); //$NON-NLS-1$
        log("reading problem ... "); //$NON-NLS-1$
        reader = createReader(solver, problemname);
        IProblem problem = reader.parseInstance(problemname);
        log("... done. Wall clock time " //$NON-NLS-1$
                + (System.currentTimeMillis() - beginTime) / 1000.0 + "s."); //$NON-NLS-1$
        log("#vars     " + problem.nVars()); //$NON-NLS-1$
        log("#constraints  " + problem.nConstraints()); //$NON-NLS-1$
        problem.printInfos(out,COMMENT_PREFIX);    
        return problem;
    }

View Full Code Here

0 1 2 3 4 5

TOP

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.