Changes between Version 14 and Version 15 of SemanticQuery


Ignore:
Timestamp:
Mar 20, 2012, 1:50:01 PM (13 years ago)
Author:
daniel_h
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SemanticQuery

    v14 v15  
    1212A semantic query language was designed to query syntactic and semantic information about Erlang programs. The language concepts are defined according to the semantic units and relationships of the Erlang language, e.g. functions and function calls, records and their usage, etc.  
    1313 
    14 The main elements of the language are the '''entities''': module, function, variable, etc. Each entity has a set of selectors and properties. A '''selector''' selects a set of entities that meet the given requirements. A '''property''' describes some properties of an entity type. It is also possible to filter entities based on the properties. A '''filter''' is a boolean expression to select a subset of entities. We can build filters by using properties with boolean values, valid Erlang comparisons, logical operators or embedded queries. For usage examples, see: SemanticQuery/QueryExamples. 
     14The main elements of the language are the '''entities''': module, function, variable, etc. Each entity has a set of selectors and properties. A '''selector''' selects a set of entities that meet the given requirements. A '''property''' describes some properties of an entity type. It is also possible to filter entities based on the properties. A '''filter''' is a boolean expression to select a subset of entities. We can build filters by using properties with boolean values, valid Erlang comparisons, logical operators or embedded queries. For usage examples, see SemanticQuery/QueryExamples. 
    1515 
    1616== Formal syntax of the language == 
     
    4040=== Entities === 
    4141Entities correspond to the semantic units of Erlang. The result of a query written in the language is a set of entities. Each element of a set belongs to the same type. We have the following entity types: file, function, variable, macro, record, record 
    42 field expression. Each entity type has a set of selectors and properties defined for them. For details, see: [wiki:SemanticQuery#Detailsofthelanguage Details of the language] section. 
     42field expression. Each entity type has a set of selectors and properties defined for them. For details, see QueryComponents. 
    4343 
    4444=== Selectors ===