-
Notifications
You must be signed in to change notification settings - Fork 1
/
phpstan.neon
121 lines (121 loc) · 4.1 KB
/
phpstan.neon
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
parameters:
level: 6
#level: 2
typeAliases:
# Définition des types de GeoJSON (https://datatracker.ietf.org/doc/html/rfc7946) décodés par json_decode()
TPos: list<float>
TLPos: list<TPos>
TLLPos: list<TLPos>
TLLLPos: list<TLLPos>
TGJBox: list<float>
TGJPoint: "array{type: 'Point', bbox?: TGJBox, coordinates: TPos}"
TGJLineString: "array{type: 'LineString', bbox?: TGJBox, coordinates: TLPos}"
TGJPolygon: "array{type: 'Polygon', bbox?: TGJBox, coordinates: TLLPos}"
TGJMultiPoint: "array{type: 'MultiPoint', bbox?: TGJBox, coordinates: TLPos}"
TGJMultiLineString: "array{type: 'MultiLineString', bbox?: TGJBox, coordinates: TLLPos}"
TGJMultiPolygon: "array{type: 'MultiPolygon', bbox?: TGJBox, coordinates: TLLLPos}"
TGJSimpleGeometry: "TGJPoint|TGJLineString|TGJPolygon|TGJMultiPoint|TGJMultiLineString|TGJMultiPolygon"
TGJGeometryCollection: "array{type: 'GeometryCollection', bbox?: TGJBox, geometries: list<TGJSimpleGeometry>}"
TGeoJsonGeometry: TGJSimpleGeometry|TGJGeometryCollection
TGeoJsonProperties: "array<string, mixed>"
TGeoJsonFeature: '''
array{type: 'Feature', id?: string, properties?: TGeoJsonProperties, bbox?: TGJBox, geometry: TGeoJsonGeometry}
'''
# Les champs numberReturned et totalFeatures sont ajoutés quand la collection est produite par un serveur WFS
TGeoJsonFeatureCollection: '''
array{
type: 'FeatureCollection',
bbox?: TGJBox,
features: list<TGeoJsonFeature>,
numberReturned?: int,
totalFeatures?: int
}
'''
# Description d'un GéoTiff dans shomgt.yaml et dans TiffLayer
TBBox: "array{SW: string, NE: string}"
TBorders: "array{left: number, bottom: number, right: number, top: number}"
TGeoTiff: '''
array{
title: string,
spatial: TBBox,
outgrowth: list<TBBox>,
borders: TBorders,
deleted: list<TBBox>
}
'''
TGeoTiffStoredInLayer: '''
array{
title: string,
spatial: \gegeom\EBox,
outgrowth: list<\gegeom\EBox>,
borders: TBorders,
deleted: list<\gegeom\EBox>
}
'''
# définition du style pour l'affichage vecteur
TColor: list<int>
TStyle: "array{title: string, description: string, color: TColor, weight: int, fillColor: TColor, fillOpacity: float}"
# définition du type de l'enregistrement .md.json stocké dans shomgeotif/current
TMapMdGan: "array{week: string, date: string}|null"
TMapMdDateMD: "array{role: string, value: string}"
TMapMdNormal: '''
array{
title: string,
alternate: string,
version: string,
edition: string,
gan: TMapMdGan,
dateMD: TMapMdDateMD,
dateArchive: string,
user?: string,
dateUpload?: string
}
'''
TMapMdLimited: "array{version: string, dateArchive: string, user?: string, dateUpload?: string}"
TMapMdObsolete: "array{status: 'obsolete', date: string, user?: string}"
TMapMd: TMapMdNormal|TMapMdLimited|TMapMdObsolete
# description d'une carte dans le catalogue MapCat
TMapCatSpatial: "array{SW: string, NE: string, exception?: string}"
TMapCatInset: "array{title: string, scaleDenominator?: string, spatial?: TMapCatSpatial}"
TMapCatItem: '''
array{
deletedDate?: string,
title: string,
scaleDenominator?: string,
spatial?: TMapCatSpatial,
mapsFrance: list<string>,
insetMaps: list<TMapCatInset>
}
'''
TMapCatKind: "'alive'|'uninteresting'|'deleted'"
paths:
- index.php
- index2.php
- mapwcat.php
- tile.php
- wms.php
- bo
- lib
- view
- sgupdt
- sgserver
- secrets
- dashboard
- gan
- mapcat
- shomft
- phpanalyzer
excludePaths:
analyse:
- bo/SevenZipArchive.php
- bo/arrayobject.php
- bo/jeudi.php
- bo/mail.php
- bo/neworg.php
- bo/purge.php
- bo/testworldmerc.php
- bo/viewmap.php
- phpanalyzer/testcode
universalObjectCratesClasses:
- mapcat\MapCatItem
treatPhpDocTypesAsCertain: false