Login
 
 
  • Home
  • Features
  • Documentation
  • Company

Documentation Menu

  • SemmleCode Professional
    • 1. System Requirements
    • 2. Installation
    • 3. Quick Guide
    • 4. Standard Analyses
    • 5. Standard Libraries
    • 6. .QL Tutorial
    • 7. Glossary
  • .QL Language
    • 1. Examples
    • 2. Language Reference
    • 3. Messages
.QL Messages
On this page you can find a list of .QL error messages and their detailed explanation. Examples are also provided to illustrate the case when a specific error is occurring and a suggested solution on how to overcome the problem.

  • 'result' cannot be used in this context
  • 'result' is not bound in the body of this method
  • Class or primitive expected in method parameter
  • Class expected in 'instanceof'
  • Class or primitive expected in from clause
  • Signature mismatch: cannot simultaneously inherit Xs
  • X must override ambiguous inherited method Y
  • Class or primitive expected in cast
  • X cannot be resolved
  • Duplicate variable
  • Class X already declared
  • Method X cannot be resolved for type Y
  • Predicate X cannot be overloaded with signature Y
  • Constructor already declared
  • Duplicate query declaration
  • Binary relation expected for the computation of transitive closure
  • Predicate X/n cannot be resolved
  • Duplicate existential variable VariableX
  • Cannot resolve type TypeX
  • Predicate not allowed
<< Start < Prev 1 2 3 Next > End >>

Results 21 - 40 of 52
 
 

Semmle Ltd. © 2009 | semmle.com | Support | Privacy Statement | Terms of Use