wiki:TracQuery

Version 3 (modified by trac, 5 years ago) (diff)

--

Trac Ticket Queries

In addition to reports, Trac provides support for custom ticket queries, used to display lists of tickets meeting a specified set of criteria.

To configure and execute a custom query, switch to the View Tickets module from the navigation bar, and select the Custom Query link.

Filters

When you first go to the query page the default filters will display all open tickets, or if you're logged in it will display open tickets assigned to you. Current filters can be removed by clicking the button to the right with the minus sign on the label. New filters are added from the pulldown list in the bottom-right corner of the filters box. Filters with either a text box or a pulldown menu of options can be added multiple times to perform an or of the criteria.

You can use the fields just below the filters box to group the results based on a field, or display the full description for each ticket.

Once you've edited your filters click the Update button to refresh your results.

Clicking on one of the query results will take you to that ticket. You can navigate through the results by clicking the Next Ticket or Previous Ticket links just below the main menu bar, or click the Back to Query link to return to the query page.

You can safely edit any of the tickets and continue to navigate through the results using the Next/Previous/Back to Query links after saving your results. When you return to the query any tickets which were edited will be displayed with italicized text. If one of the tickets was edited such that it no longer matches the query criteria the text will also be greyed. Lastly, if a new ticket matching the query criteria has been created, it will be shown in bold.

The query results can be refreshed and cleared of these status indicators by clicking the Update button again.

Saving Queries

While Trac does not yet allow saving a named query and somehow making it available in a navigable list, you can save references to queries in Wiki content, as described below.

You may want to save some queries so that you can come back to them later. You can do this by making a link to the query from any Wiki page.

[query:status=new|assigned|reopened&version=1.0 Active tickets against 1.0]

Which is displayed as:

Active tickets against 1.0

This uses a very simple query language to specify the criteria (see Query Language).

Alternatively, you can copy the query string of a query and paste that into the Wiki link, including the leading ? character:

[query:?status=new&status=assigned&status=reopened&group=owner Assigned tickets by owner]

Which is displayed as:

Assigned tickets by owner

Using the [[TicketQuery]] Macro

The TicketQuery macro lets you display lists of tickets matching certain criteria anywhere you can use WikiFormatting.

Example:

[[TicketQuery(version=0.6|0.7&resolution=duplicate)]]

This is displayed as:

No results

Just like the query: wiki links, the parameter of this macro expects a query string formatted according to the rules of the simple ticket query language.

A more compact representation without the ticket summaries is also available:

[[TicketQuery(version=0.6|0.7&resolution=duplicate, compact)]]

This is displayed as:

No results

Finally if you wish to receive only the number of defects that match the query using the count parameter.

[[TicketQuery(version=0.6|0.7&resolution=duplicate, count)]]

This is displayed as:

0

Customizing the table format

You can also customize the columns displayed in the table format (format=table) by using col=<field> - you can specify multiple fields and what order they are displayed by placing pipes (|) between the columns like below:

[[TicketQuery(max=3,status=closed,order=id,desc=1,format=table,col=resolution|summary|owner|reporter)]]

This is displayed as:

Full rows

In table format you can also have full rows by using rows=<field> like below:

[[TicketQuery(max=3,status=closed,order=id,desc=1,format=table,col=resolution|summary|owner|reporter,rows=description)]]

This is displayed as:

Results (1 - 3 of 7482)

1 2 3 4 5 6 7 8 9 10 11
Ticket Resolution Summary Owner Reporter
#10122 invalid PolyKinds: inferred type not as polymorphic as possible thomie
Description

In the user's guide on kind polymorphism the following example is presented:

f1 :: (forall a m. m a -> Int) -> Int
         -- f1 :: forall (k:BOX).
         --       (forall (a:k) (m:k->*). m a -> Int)
         --       -> Int

"Here in f1 there is no kind annotation mentioning the polymorphic kind variable, so k is generalised at the top level of the signature for f1, making the signature for f1 is as polymorphic as possible."

When I ask GHCi for the type of f1, it is however not as polymorphic as possible:

> :t f1
f1 :: (forall a (m :: * -> *). m a -> Int) -> Int

Trying to compile the following program:

{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE Rank2Types #-}

module PolyFail where

f :: (forall a m. m a -> Int) -> Int
f g = g (Just 3)

Results in this error:

[1 of 1] Compiling PolyFail         ( PolyFail.hs, PolyFail.o )

PolyFail.hs:8:10:
    Kind incompatibility when matching types:
      m0 :: k -> *
      Maybe :: * -> *
    Expected type: m0 a0
      Actual type: Maybe a1
    Relevant bindings include
      g :: forall (a :: k) (m :: k -> *). m a -> Int
        (bound at PolyFail.hs:8:3)
      f :: (forall (a :: k) (m :: k -> *). m a -> Int) -> Int
        (bound at PolyFail.hs:8:1)
    In the first argument of ‘g’, namely ‘(Just 3)’
    In the expression: g (Just 3)
#10104 fixed Show '#' on unboxed literals thomie
Description

Currently, unboxed literals are shown in the same way as boxed literals (without #):

Prelude> :set -XMagicHash
Prelude> :m GHC.Prim
Prelude GHC.Prim> data T = MkT Int# deriving Show
Prelude GHC.Prim> MkT 3#
MkT 3

It would be nice if this would show MkT 3# instead. I have a patch.

#10102 duplicate GHC inlines past lambda in do-notation nomeata
Description

Hi,

a friend of mine discovered this weird behaviour:

The program, when run on the attached file, takes quite some time.

import System.IO
import Control.Monad
import qualified Data.Map as M

main :: IO ()
main = do
    n <- read `fmap` getLine
    q <- read `fmap` getLine
    
    mts <- replicateM n $ do
        [a,b] <- words `fmap` getLine
        return (a,b)
    
    let mtdb2 = M.fromList mts
    
    --M.null mtdb2 `seq` return ()

    replicateM_ q $ do
        a <- getLine
        print $ M.lookup a mtdb2
    return ()

But if I uncomment the use of mtdb2 outside the replicate, it runs fast. My conclusion is that GHC inlines mtdb2 into the body of the loop, repeating the construction of the map over and over.

If forM [1..q] $ \_ -> do is used instead, this does not happen – probably because GHC does _not_ inline past that lambda.

(I didn’t attempt to understand the core yet)

1 2 3 4 5 6 7 8 9 10 11

Query Language

query: TracLinks and the [[TicketQuery]] macro both use a mini “query language” for specifying query filters. Basically, the filters are separated by ampersands (&). Each filter then consists of the ticket field name, an operator, and one or more values. More than one value are separated by a pipe (|), meaning that the filter matches any of the values.

The available operators are:

= the field content exactly matches the one of the values
~= the field content contains one or more of the values
^= the field content starts with one of the values
$= the field content ends with one of the values

All of these operators can also be negated:

!= the field content matches none of the values
!~= the field content does not contain any of the values
!^= the field content does not start with any of the values
!$= the field content does not end with any of the values

See also: TracTickets, TracReports, TracGuide