Changes between Version 1 and Version 2 of SemanticQuery/Examples

Timestamp:

Apr 11, 2012, 1:11:32 PM (13 years ago)

Author:

manualwiki

Comment:

join basic and advanced queries, swap example queries and their explanation

SemanticQuery/Examples

@@ -1 +1 @@
 = Query Examples =
 
-== Basic queries ==
-In this language we can build difficult queries from lot of very simple queries. Here are some examples for simple ones:
+With our query language we can build either simple or more complex, compound quries. In the followings there are some useful and often used queries with different complexity.
 
+Returns a list of expressions which call the pointed function:
 {{{
 @fun.refs
 }}}
-Returns a list of expressions which call the pointed function.
 
+Returns all function calls from current module group by the module's own functions:
 {{{
 @file.funs.calls
 }}}
-Returns all function calls from current module group by the module's own functions.
 
+Returns all functions which have 3 arguments:
 {{{
 @file.funs[arity==3]
 }}}
-Returns all functions which have 3 arguments.
 
-== Advanced queries ==
-Let's see some useful queries:
-
+Returns all functions which have a variable named "Expl". It useful when we want to know which functions use variables with same name:
 {{{
 @file.funs.vars[name=="Expl"]
 }}}
-Returns all functions which have a variable named "Expl". It useful when we want to know which functions use variables with same name.
 
+
+Returns all io:format calls (this query is very useful when you have finished your software, and you want to find all debug messages):
 {{{
 mods[name=="io"].funs[name==format].refs
 }}}
-Returns all io:format calls, this query is very useful when you have finished your software, and you want to find all debug messages.
 
+For example we stand in a variable, and run this query, we get information about the variable gets its value from where. This functionality uses [wiki:DataFlow data-flow analysis].
 {{{
 @expr.origin
 }}}
-For example we stand in a variable, and run this query, we get information about the variable gets its value from where. This functionality uses [wiki:DataFlow data-flow analysis].
 
+Returns information about the function gets its return value from where and how its calculated:
 {{{
 @fun.refs.origin
 }}}
-Returns information about the function gets its return value from where and how its calculated.
 
 == Checking coding convensions ==