Examples of Lint

com.android.tools.lint.client.api.Lint
Analyzes Android projects and files
com.clarkparsia.pellint.model.Lint
larkparsia.com>
@author Harris Lin
com.sun.tools.javac.code.Lint
A class for handling -Xlint suboptions and @SuppresssWarnings.
This is NOT part of any supported API. If you write code that depends on this, you do so at your own risk. This code and its internal interfaces are subject to change or deletion without notice.
org.aspectj.weaver.Lint

Examples of com.android.tools.lint.client.api.Lint

                map.put(v[0], v[1]);
            }
            htmlReporter.setUrlMap(map);
        }


        Lint analyzer = new Lint(registry, this);


        if (!mQuiet) {
            analyzer.addLintListener(new ProgressPrinter());
        }


        analyzer.analyze(files, null /* scope */);


        Collections.sort(mWarnings);


        try {
            mReporter.write(mErrorCount, mWarningCount, mWarnings);

View Full Code Here

Examples of com.clarkparsia.pellint.model.Lint

  public static OntologyLints lint(List<AxiomLintPattern> axiomLintPatterns,
      List<OntologyLintPattern> ontologyLintPatterns, OWLOntology ontology) {
    OntologyLints ontologyLints = new OntologyLints( ontology );
    for( OWLAxiom axiom : ontology.getAxioms() ) {
      for( AxiomLintPattern pattern : axiomLintPatterns ) {
        Lint lint = pattern.match( ontology, axiom );
        if( lint != null ) {
          ontologyLints.addLint( pattern, lint );
        }
      }
    }

View Full Code Here

Examples of com.clarkparsia.pellint.model.Lint

        cardinalityRestriction = owlDesc;
      }
    }
    
    if (namedClass != null && cardinalityRestriction != null) {
      Lint lint = makeLint();
      lint.addParticipatingClass(namedClass);
      lint.addParticipatingAxiom(axiom);
      OWLAxiom newAxiom = OWL.subClassOf(namedClass, cardinalityRestriction);
      LintFixer fixer = new LintFixer(axiom, newAxiom);
      lint.setLintFixer(fixer);
      setLint(lint);
    }
  }

View Full Code Here

Examples of com.clarkparsia.pellint.model.Lint

  private void visitNaryClassAxiom(OWLClassAxiom axiom) {
    m_Visitor.reset();
    axiom.accept(m_Visitor);
    int disjunctionSize = m_Visitor.getDisjunctionSize();
    if (disjunctionSize > m_MaxAllowed) {
      Lint lint = makeLint();
      lint.addParticipatingAxiom(axiom);
      lint.setSeverity(new Severity(disjunctionSize));
      setLint(lint);
    }
  }

View Full Code Here

Examples of com.clarkparsia.pellint.model.Lint

      }
      
      if (badEquivalents.isEmpty()) continue;
      if (badEquivalents.size() == 1 && subclasses.isEmpty()) continue;
      
      Lint lint = new Lint(this, ontology);
      lint.addParticipatingClass(owlClass);
      lint.addAllParticipatingAxioms(badEquivalents);
      lint.addAllParticipatingAxioms(subclasses);
      Set<OWLClassAxiom> fixedAxioms = fixEquivalentAxioms(owlClass, badEquivalents);
      LintFixer fixer = new LintFixer(badEquivalents, fixedAxioms);
      lint.setLintFixer(fixer);
      allLints.add(lint);
    }
    
    return allLints;
  }

View Full Code Here

Examples of com.clarkparsia.pellint.model.Lint

      for (OWLClass owlClass : connectedSet) {
        estimatedTreeSize *= subgraph.outDegreeOf(owlClass);
      }
      
      if (estimatedTreeSize > m_MaxTreeSize) {
        Lint lint = m_LintFactory.make();
        lint.addAllParticipatingClasses(connectedSet);
        lint.setSeverity(new Severity(estimatedTreeSize));
        m_AccumulatedLints.add(lint);
      }
    }
  }

View Full Code Here

Examples of com.clarkparsia.pellint.model.Lint

      }
      
      estimatedTreeSize *= totalInvolvedIndividuals;
      
      if (estimatedTreeSize > m_MaxTreeSize) {
        Lint lint = m_LintFactory.make();
        lint.addAllParticipatingClasses(connectedSet);
        lint.setSeverity(new Severity(estimatedTreeSize));
        m_AccumulatedLints.add(lint);
      }
    }
  }

View Full Code Here

Examples of com.clarkparsia.pellint.model.Lint

        }
      }
    }


    if (estimatedTotalTreeSize > m_MaxTreeSize) {
      Lint lint = m_LintFactory.make();
      lint.addAllParticipatingClasses(participatingClasses);
      lint.setSeverity(new Severity(estimatedTotalTreeSize));
      m_AccumulatedLints.add(lint);
    }
  }

View Full Code Here

Examples of com.clarkparsia.pellint.model.Lint

      totalEstimatedMemory += estimateMemoryConcumption(axiom.getIndividuals().size());
    }
    
    List<Lint> allLints = new ArrayList<Lint>();
    if (totalEstimatedMemory > estimateMemoryConcumption(m_MaxAllowed)) {
      Lint lint = new Lint(this, ontology);
      lint.setSeverity(new Severity(totalEstimatedMemory));
      allLints.add(lint);  
    }
    return allLints;
  }

View Full Code Here

Examples of com.clarkparsia.pellint.model.Lint

        complexCount++;
      }
    }
    
    if (complexCount > 1) {
      Lint lint = makeLint();
      lint.addParticipatingAxiom(axiom);
      setLint(lint);
    }
  }

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.