File tree 17 files changed +146
-1
lines changed
17 files changed +146
-1
lines changed Original file line number Diff line number Diff line change
1
+ name : Infer
2
+ executable : infer
3
+ website : https://fbinfer.com/
4
+ packages :
5
+ - infer-0.7.0-linux
6
+ languages :
7
+ - C
8
+ - CPlusPlus
9
+ - Java
10
+ - Objective-C
11
+ aspects :
12
+ - Security
Original file line number Diff line number Diff line change
1
+ name : pyflakes
2
+ executable : pyflakes
3
+ packages :
4
+ - pyflakes
5
+ languages :
6
+ - Python
7
+ aspects :
8
+ - Syntax
9
+ - Unused Code
10
+ - Undefined Element
Original file line number Diff line number Diff line change
1
+ name : infer
2
+ manager : opam
3
+ source : https://github.com/facebook/infer/releases/download/
4
+ v0.7.0/infer-linux64-v0.7.0.tar.xz
5
+ version : 0.7.0
6
+ platform : linux
Original file line number Diff line number Diff line change
1
+ name : pyflakes
2
+ manager : pip
3
+ version : 2.0.0
Original file line number Diff line number Diff line change
1
+ - pk : npm
2
+ - pk : opam
3
+ - pk : pip
Original file line number Diff line number Diff line change
1
+ # pk: String
Original file line number Diff line number Diff line change
1
+ name : String
2
+ executable : String
3
+ repology_id : String # optional
4
+ wikidata : String # optional
5
+ website : String
6
+ languages : Language[]
7
+ aspects : Aspect[] # i.e. CAN_DETECT & CAN_FIX
8
+ packages : Package[] # only needed where Repology does not provide
Original file line number Diff line number Diff line change
1
+ name : String
2
+ manager : PackageManager
3
+ version : String
4
+ repology_id : String # optional
5
+ wikidata : String # optional
6
+ source : String # optional
7
+ platform : Platform # optional
Original file line number Diff line number Diff line change
1
+ # pk: String
Original file line number Diff line number Diff line change
1
+ # pk: String
Original file line number Diff line number Diff line change
1
+ <!DOCTYPE html>
2
+ <html >
3
+ <head >
4
+ <title >{{ site_title }}: {{ linter.name }}</title >
5
+ <link rel =" stylesheet" href =" ../assets/css/coala.css" type =" text/css" />
6
+ <link rel =" stylesheet" href =" ../assets/css/coast.css" type =" text/css" />
7
+ </head >
8
+ <body >
9
+ <section class =" thin-row-small" >
10
+ <h1 >{{ linter.name }}</h1 >
11
+ </section >
12
+ <table >
13
+ <tr >
14
+ <th >executable</th >
15
+ <td >{{ linter.executable }}</td >
16
+ </tr >
17
+ <tr >
18
+ <th >Repology</th >
19
+ <td >{{ linter.repology_id }}</td >
20
+ </tr >
21
+ <tr >
22
+ <th >Wikidata</th >
23
+ <td >{{ linter.wikidata }}</td >
24
+ </tr >
25
+ <tr >
26
+ <th >Packages</th >
27
+ <td >
28
+ <ul >
29
+ {% for package in linter .packages %}
30
+ <li >{{ package.manager.name }} {{ package.name }}
31
+ {% endfor %}
32
+ </ul >
33
+ </td >
34
+ </tr >
35
+ </table >
36
+ </body >
37
+ </html >
Original file line number Diff line number Diff line change
1
+ <!DOCTYPE html>
2
+ <html >
3
+ <head >
4
+ <title >{{ site_title }}: {{ package.name }}</title >
5
+ <link rel =" stylesheet" href =" ../assets/css/coala.css" type =" text/css" />
6
+ <link rel =" stylesheet" href =" ../assets/css/coast.css" type =" text/css" />
7
+ </head >
8
+ <body >
9
+ <section class =" thin-row-small" >
10
+ <h1 >{{ package.name }}</h1 >
11
+ </section >
12
+ <table >
13
+ <tr >
14
+ <th >Package manager</th >
15
+ <td >{{ package.manager.name }}</td >
16
+ </tr >
17
+ <tr >
18
+ <th >Version</th >
19
+ <td >{{ package.version }}</td >
20
+ </tr >
21
+ <tr >
22
+ <th >Source</th >
23
+ <td >{{ package.source }}</td >
24
+ </tr >
25
+ <tr >
26
+ <th >Platform</th >
27
+ <td >{{ package.platform }}</td >
28
+ </tr >
29
+ </table >
30
+ </body >
31
+ </html >
Original file line number Diff line number Diff line change 10
10
<section class =" thin-row-small" >
11
11
<h1 >{{ page_title }}</h1 >
12
12
</section >
13
+
14
+ <section class =" thin-row-small" >
15
+ <h2 >Languages</h1 >
16
+ </section >
17
+
13
18
<ul class =" thin-row-medium" id =" languages-list" >
14
19
{% for language in languages %}
15
20
<li ><a href =" {% url 'languages', language %}" >{{ m.language_name(language) }}</a >
16
21
{% endfor %} {# for language in languages #}
17
22
</ul >
23
+
24
+ <section class =" thin-row-small" >
25
+ <h2 >Linters</h1 >
26
+ </section >
27
+ <ul class =" thin-row-medium" id =" linter-list" >
28
+ {% for linter in linters %}
29
+ <li ><a href =" {% url 'linters', linter %}" >{{ linter.name }}</a >
30
+ {% endfor %} {# for linter in linters #}
31
+ </ul >
18
32
</body >
19
33
</html >
Original file line number Diff line number Diff line change 5
5
page-title : Welcome
6
6
dynamic :
7
7
languages : session.query(Language).all()
8
+ linters : session.query(Linter).all()
Original file line number Diff line number Diff line change 1
1
path :
2
- template : /{{ language.identifier }}
2
+ template : /{{ language.identifier }}/
3
3
for-each :
4
4
language : session.query(Language).all()
5
5
template : Language
Original file line number Diff line number Diff line change
1
+ path :
2
+ template : /{{ linter.name }}/
3
+ for-each :
4
+ linter : session.query(Linter).all()
5
+ template : Linter
Original file line number Diff line number Diff line change
1
+ path :
2
+ template : /{{ package.manager.pk }}/{{ package.name }}-{{ package.version }}/
3
+ for-each :
4
+ package : session.query(Package).all()
5
+ template : Package
You can’t perform that action at this time.
0 commit comments