UBC   >>   Department of Computer Science   >>   Research Areas   >>   Software Practices Lab
a query-based code browser SourceForge.net Logo
 
Home
Download
Documentation
Tutorial
Papers
Screen Shots
Contact
 

JQuery 4.0 Documentation

We're in the process of migrating all JQuery documentation to the SourceForge Wiki. It is likely that this page will house a periodically updated backup of that wiki but for the most current and up-to-date information.

Consult the Wiki.

To continue reading the JQuery 3 documention, see below.

Table of Contents

1. Getting Started
2. Core Facts
3. Advanced Rules
4. Type Predicates

1. Getting Started

The first time you start JQuery, the view will be empty. To get started:

  1. Select "New Query Tab" from the tool's menu to create/select a working set and begin querying the code.
  2. Right-click in the freshly created tree, and select either "New Top-Level Query" or one of the "Available Top Level Queries". Selecting "New Top Level Query" will open up a query dialog box in which you can type a query, a tree label for the query, and select which variables to display and what order to display them in. If you chose one of the existing queries, double-clicking the query in the tree will allow you to view and edit the query in the same type of dialog.
  3. To "sub-query" a specific item in the tree, like a particular class, for instance, right-click the item and select one of the pre-written queries, or select "New Sub-Query" to create a fresh sub-query dialog. Note that when writing sub-queries, the variable "?this" is reserved, and should be used to refer to the sub-query's target elememt.

Core Facts

These are the core facts.

PredicateDescription
arg(?M, ?T) Method ?M has an argument of type ?T
child(?Parent,?Child) Element ?Parent has child element ?Child.
class(?Class) ?Class is a class
constructor(?Class,?cons) Class ?Class declares constructor ?cons
constructor(?Cons) ?Cons is a constructor
creator(?Cted, ?Ctor, ?Loc) Class ?Cted is created by method or initializor ?Ctor and source location ?Loc
extends(?RefType1,?RefType2) ?RefType1 extends ?RefType2
field(?Field) ?Field is a field
field(?Type,?field) Type ?Type declares field ?field
implements(?Class,?Interface) Class ?Class implements interface ?Interface
inheritedField(?Type,?field,?InhFromType) ?Type inherits field ?field from type ?InhFromType
inheritedMethod(?Class,?method,?InhFrom) ?Class inherits method ?method from ?InhFrom
instanceOf(?Block,?Type,?Loc) ?Block performs an instanceof test for type ?Type at source location ?Loc
interface(?Int ?Int is an interface
method(?Meth) ?Meth is a normal method (excludes constructors)
method(?Type,?method) Type ?Type declares method ?method
modifier(?Element, ?Mod) ?Element was declared with modifier ?Mod
name(?Element,?NameString) ?Element has name ?NameString
package(?Element,?Pkg) ?Element is in package ?Pkg
package(?Pkg) ?P is a package
primitive(?Prim) ?P is a primitive type
qname(?Element,?QNameStr) ?Element has fully qualified name ?QNameStr
re_match(?RegExp,?Str) String ?Str matches regular expression ?RegExp
re_name(?X,/regexp/) ?X has a name that matches regexp
reads(?Block,?Field,?Loc) ?Block reads ?Field at source location ?Loc
returns(?M, ?T) Method ?M has return type ?T
signature(?M, ?S) Method ?M has signature ?S
tag(?Element,?Name,?Value) ?Element has Javadoc tag ?Name with ?Value
throws(?Callable,?ExType) Method or Constructor ?Callable is declared to throw exception of type ?ExType
type(?Field,?Type) Field ?Field is of type ?Type
type(?Type) ?Type is a class, interface, or primitive
viewFromHere(?X,?ViewJavaStructure) ?ViewJavaStructure is a tree representation of all child relationships below parent element ?X
writes(?Block,?Field,?Loc) ?Block writes ?Field at source location ?Loc