PySimultan 0.6.0.1__py3-none-any.whl → 0.6.0.2__py3-none-any.whl
Sign up to get free protection for your applications and to get access to all the features.
- PySimultan2/CHANGELOG.md +3 -0
- PySimultan2/__about__.py +1 -1
- PySimultan2/default_types.py +7 -0
- {pysimultan-0.6.0.1.dist-info → pysimultan-0.6.0.2.dist-info}/METADATA +1 -1
- pysimultan-0.6.0.2.dist-info/RECORD +76 -0
- PySimultan2/typings/SIMULTAN/Data/Assets/__init__.pyi +0 -616
- PySimultan2/typings/SIMULTAN/Data/Components/__init__.pyi +0 -2538
- PySimultan2/typings/SIMULTAN/Data/FlowNetworks/__init__.pyi +0 -499
- PySimultan2/typings/SIMULTAN/Data/Geometry/__init__.pyi +0 -2219
- PySimultan2/typings/SIMULTAN/Data/MultiValues/__init__.pyi +0 -682
- PySimultan2/typings/SIMULTAN/Data/SimMath/__init__.pyi +0 -1654
- PySimultan2/typings/SIMULTAN/Data/SimNetworks/__init__.pyi +0 -442
- PySimultan2/typings/SIMULTAN/Data/SitePlanner/__init__.pyi +0 -193
- PySimultan2/typings/SIMULTAN/Data/Taxonomy/__init__.pyi +0 -367
- PySimultan2/typings/SIMULTAN/Data/Users/__init__.pyi +0 -116
- PySimultan2/typings/SIMULTAN/Data/ValueMappings/__init__.pyi +0 -212
- PySimultan2/typings/SIMULTAN/Data/__init__.pyi +0 -232
- PySimultan2/typings/SIMULTAN/DataMapping/__init__.pyi +0 -916
- PySimultan2/typings/SIMULTAN/Excel/__init__.pyi +0 -15
- PySimultan2/typings/SIMULTAN/Exceptions/__init__.pyi +0 -268
- PySimultan2/typings/SIMULTAN/Exchange/SimNetworkConnectors/__init__.pyi +0 -32
- PySimultan2/typings/SIMULTAN/Exchange/__init__.pyi +0 -116
- PySimultan2/typings/SIMULTAN/Projects/ManagedFiles/__init__.pyi +0 -433
- PySimultan2/typings/SIMULTAN/Projects/__init__.pyi +0 -435
- PySimultan2/typings/SIMULTAN/Serializer/CODXF/__init__.pyi +0 -103
- PySimultan2/typings/SIMULTAN/Serializer/CSV/__init__.pyi +0 -122
- PySimultan2/typings/SIMULTAN/Serializer/DXF/__init__.pyi +0 -1335
- PySimultan2/typings/SIMULTAN/Serializer/Geometry/__init__.pyi +0 -48
- PySimultan2/typings/SIMULTAN/Serializer/JSON/__init__.pyi +0 -562
- PySimultan2/typings/SIMULTAN/Serializer/METADXF/__init__.pyi +0 -11
- PySimultan2/typings/SIMULTAN/Serializer/PADXF/__init__.pyi +0 -21
- PySimultan2/typings/SIMULTAN/Serializer/PPATH/__init__.pyi +0 -11
- PySimultan2/typings/SIMULTAN/Serializer/Projects/__init__.pyi +0 -112
- PySimultan2/typings/SIMULTAN/Serializer/SIMLINKS/__init__.pyi +0 -5
- PySimultan2/typings/SIMULTAN/Serializer/SPDXF/__init__.pyi +0 -13
- PySimultan2/typings/SIMULTAN/Serializer/SimGeo/__init__.pyi +0 -54
- PySimultan2/typings/SIMULTAN/Serializer/TXDXF/__init__.pyi +0 -46
- PySimultan2/typings/SIMULTAN/Serializer/XMI/__init__.pyi +0 -22
- PySimultan2/typings/SIMULTAN/Serializer/__init__.pyi +0 -32
- PySimultan2/typings/SIMULTAN/Utils/BackgroundWork/__init__.pyi +0 -43
- PySimultan2/typings/SIMULTAN/Utils/Collections/__init__.pyi +0 -216
- PySimultan2/typings/SIMULTAN/Utils/ElevationProvider/__init__.pyi +0 -66
- PySimultan2/typings/SIMULTAN/Utils/Files/__init__.pyi +0 -48
- PySimultan2/typings/SIMULTAN/Utils/Randomize/__init__.pyi +0 -11
- PySimultan2/typings/SIMULTAN/Utils/Streams/__init__.pyi +0 -59
- PySimultan2/typings/SIMULTAN/Utils/UndoRedo/__init__.pyi +0 -133
- PySimultan2/typings/SIMULTAN/Utils/__init__.pyi +0 -570
- PySimultan2/typings/System/Buffers/Binary/__init__.pyi +0 -248
- PySimultan2/typings/System/Buffers/Text/__init__.pyi +0 -91
- PySimultan2/typings/System/Buffers/__init__.pyi +0 -192
- PySimultan2/typings/System/CodeDom/Compiler/__init__.pyi +0 -137
- PySimultan2/typings/System/Collections/Concurrent/__init__.pyi +0 -47
- PySimultan2/typings/System/Collections/Generic/__init__.pyi +0 -1293
- PySimultan2/typings/System/Collections/ObjectModel/__init__.pyi +0 -166
- PySimultan2/typings/System/Collections/Specialized/__init__.pyi +0 -82
- PySimultan2/typings/System/Collections/__init__.pyi +0 -403
- PySimultan2/typings/System/ComponentModel/__init__.pyi +0 -582
- PySimultan2/typings/System/Configuration/Assemblies/__init__.pyi +0 -30
- PySimultan2/typings/System/Diagnostics/CodeAnalysis/__init__.pyi +0 -315
- PySimultan2/typings/System/Diagnostics/Contracts/__init__.pyi +0 -297
- PySimultan2/typings/System/Diagnostics/SymbolStore/__init__.pyi +0 -9
- PySimultan2/typings/System/Diagnostics/Tracing/__init__.pyi +0 -641
- PySimultan2/typings/System/Diagnostics/__init__.pyi +0 -1101
- PySimultan2/typings/System/Globalization/__init__.pyi +0 -1675
- PySimultan2/typings/System/IO/Enumeration/__init__.pyi +0 -125
- PySimultan2/typings/System/IO/__init__.pyi +0 -2747
- PySimultan2/typings/System/Linq/Expressions/__init__.pyi +0 -1815
- PySimultan2/typings/System/Net/__init__.pyi +0 -81
- PySimultan2/typings/System/Numerics/__init__.pyi +0 -2853
- PySimultan2/typings/System/Reflection/Emit/__init__.pyi +0 -1945
- PySimultan2/typings/System/Reflection/Metadata/__init__.pyi +0 -24
- PySimultan2/typings/System/Reflection/__init__.pyi +0 -2724
- PySimultan2/typings/System/Resources/__init__.pyi +0 -205
- PySimultan2/typings/System/Runtime/CompilerServices/__init__.pyi +0 -1926
- PySimultan2/typings/System/Runtime/ConstrainedExecution/__init__.pyi +0 -49
- PySimultan2/typings/System/Runtime/ExceptionServices/__init__.pyi +0 -34
- PySimultan2/typings/System/Runtime/InteropServices/ComTypes/__init__.pyi +0 -758
- PySimultan2/typings/System/Runtime/InteropServices/Marshalling/__init__.pyi +0 -461
- PySimultan2/typings/System/Runtime/InteropServices/ObjectiveC/__init__.pyi +0 -48
- PySimultan2/typings/System/Runtime/InteropServices/__init__.pyi +0 -2632
- PySimultan2/typings/System/Runtime/Intrinsics/Arm/__init__.pyi +0 -4757
- PySimultan2/typings/System/Runtime/Intrinsics/Wasm/__init__.pyi +0 -844
- PySimultan2/typings/System/Runtime/Intrinsics/X86/__init__.pyi +0 -5642
- PySimultan2/typings/System/Runtime/Intrinsics/__init__.pyi +0 -4504
- PySimultan2/typings/System/Runtime/Loader/__init__.pyi +0 -63
- PySimultan2/typings/System/Runtime/Remoting/__init__.pyi +0 -7
- PySimultan2/typings/System/Runtime/Serialization/__init__.pyi +0 -269
- PySimultan2/typings/System/Runtime/Versioning/__init__.pyi +0 -200
- PySimultan2/typings/System/Runtime/__init__.pyi +0 -141
- PySimultan2/typings/System/Security/Cryptography/__init__.pyi +0 -39
- PySimultan2/typings/System/Security/Permissions/__init__.pyi +0 -163
- PySimultan2/typings/System/Security/Principal/__init__.pyi +0 -45
- PySimultan2/typings/System/Security/__init__.pyi +0 -347
- PySimultan2/typings/System/Text/Unicode/__init__.pyi +0 -62
- PySimultan2/typings/System/Text/__init__.pyi +0 -1590
- PySimultan2/typings/System/Threading/Tasks/Sources/__init__.pyi +0 -76
- PySimultan2/typings/System/Threading/Tasks/__init__.pyi +0 -1403
- PySimultan2/typings/System/Threading/__init__.pyi +0 -1788
- PySimultan2/typings/System/Xml/Schema/__init__.pyi +0 -1255
- PySimultan2/typings/System/Xml/Serialization/__init__.pyi +0 -16
- PySimultan2/typings/System/Xml/XPath/__init__.pyi +0 -474
- PySimultan2/typings/System/Xml/__init__.pyi +0 -2410
- PySimultan2/typings/System/__init__.pyi +0 -17821
- pysimultan-0.6.0.1.dist-info/RECORD +0 -174
- {pysimultan-0.6.0.1.dist-info → pysimultan-0.6.0.2.dist-info}/WHEEL +0 -0
- {pysimultan-0.6.0.1.dist-info → pysimultan-0.6.0.2.dist-info}/licenses/LICENSE.txt +0 -0
@@ -1,315 +0,0 @@
|
|
1
|
-
import typing
|
2
|
-
from System import Attribute, Array_1
|
3
|
-
|
4
|
-
class AllowNullAttribute(Attribute):
|
5
|
-
def __init__(self) -> None: ...
|
6
|
-
@property
|
7
|
-
def TypeId(self) -> typing.Any: ...
|
8
|
-
|
9
|
-
|
10
|
-
class ConstantExpectedAttribute(Attribute):
|
11
|
-
def __init__(self) -> None: ...
|
12
|
-
@property
|
13
|
-
def Max(self) -> typing.Any: ...
|
14
|
-
@Max.setter
|
15
|
-
def Max(self, value: typing.Any) -> typing.Any: ...
|
16
|
-
@property
|
17
|
-
def Min(self) -> typing.Any: ...
|
18
|
-
@Min.setter
|
19
|
-
def Min(self, value: typing.Any) -> typing.Any: ...
|
20
|
-
@property
|
21
|
-
def TypeId(self) -> typing.Any: ...
|
22
|
-
|
23
|
-
|
24
|
-
class DisallowNullAttribute(Attribute):
|
25
|
-
def __init__(self) -> None: ...
|
26
|
-
@property
|
27
|
-
def TypeId(self) -> typing.Any: ...
|
28
|
-
|
29
|
-
|
30
|
-
class DoesNotReturnAttribute(Attribute):
|
31
|
-
def __init__(self) -> None: ...
|
32
|
-
@property
|
33
|
-
def TypeId(self) -> typing.Any: ...
|
34
|
-
|
35
|
-
|
36
|
-
class DoesNotReturnIfAttribute(Attribute):
|
37
|
-
def __init__(self, parameterValue: bool) -> None: ...
|
38
|
-
@property
|
39
|
-
def ParameterValue(self) -> bool: ...
|
40
|
-
@property
|
41
|
-
def TypeId(self) -> typing.Any: ...
|
42
|
-
|
43
|
-
|
44
|
-
class DynamicallyAccessedMembersAttribute(Attribute):
|
45
|
-
def __init__(self, memberTypes: DynamicallyAccessedMemberTypes) -> None: ...
|
46
|
-
@property
|
47
|
-
def MemberTypes(self) -> DynamicallyAccessedMemberTypes: ...
|
48
|
-
@property
|
49
|
-
def TypeId(self) -> typing.Any: ...
|
50
|
-
|
51
|
-
|
52
|
-
class DynamicallyAccessedMemberTypes(typing.SupportsInt):
|
53
|
-
@typing.overload
|
54
|
-
def __init__(self, value : int) -> None: ...
|
55
|
-
@typing.overload
|
56
|
-
def __init__(self, value : int, force_if_true: bool) -> None: ...
|
57
|
-
def __int__(self) -> int: ...
|
58
|
-
|
59
|
-
# Values:
|
60
|
-
None_ : DynamicallyAccessedMemberTypes # 0
|
61
|
-
PublicParameterlessConstructor : DynamicallyAccessedMemberTypes # 1
|
62
|
-
PublicConstructors : DynamicallyAccessedMemberTypes # 3
|
63
|
-
NonPublicConstructors : DynamicallyAccessedMemberTypes # 4
|
64
|
-
PublicMethods : DynamicallyAccessedMemberTypes # 8
|
65
|
-
NonPublicMethods : DynamicallyAccessedMemberTypes # 16
|
66
|
-
PublicFields : DynamicallyAccessedMemberTypes # 32
|
67
|
-
NonPublicFields : DynamicallyAccessedMemberTypes # 64
|
68
|
-
PublicNestedTypes : DynamicallyAccessedMemberTypes # 128
|
69
|
-
NonPublicNestedTypes : DynamicallyAccessedMemberTypes # 256
|
70
|
-
PublicProperties : DynamicallyAccessedMemberTypes # 512
|
71
|
-
NonPublicProperties : DynamicallyAccessedMemberTypes # 1024
|
72
|
-
PublicEvents : DynamicallyAccessedMemberTypes # 2048
|
73
|
-
NonPublicEvents : DynamicallyAccessedMemberTypes # 4096
|
74
|
-
Interfaces : DynamicallyAccessedMemberTypes # 8192
|
75
|
-
All : DynamicallyAccessedMemberTypes # -1
|
76
|
-
|
77
|
-
|
78
|
-
class DynamicDependencyAttribute(Attribute):
|
79
|
-
@typing.overload
|
80
|
-
def __init__(self, memberSignature: str) -> None: ...
|
81
|
-
@typing.overload
|
82
|
-
def __init__(self, memberSignature: str, type: typing.Type[typing.Any]) -> None: ...
|
83
|
-
@typing.overload
|
84
|
-
def __init__(self, memberSignature: str, typeName: str, assemblyName: str) -> None: ...
|
85
|
-
@typing.overload
|
86
|
-
def __init__(self, memberTypes: DynamicallyAccessedMemberTypes, type: typing.Type[typing.Any]) -> None: ...
|
87
|
-
@typing.overload
|
88
|
-
def __init__(self, memberTypes: DynamicallyAccessedMemberTypes, typeName: str, assemblyName: str) -> None: ...
|
89
|
-
@property
|
90
|
-
def AssemblyName(self) -> str: ...
|
91
|
-
@property
|
92
|
-
def Condition(self) -> str: ...
|
93
|
-
@Condition.setter
|
94
|
-
def Condition(self, value: str) -> str: ...
|
95
|
-
@property
|
96
|
-
def MemberSignature(self) -> str: ...
|
97
|
-
@property
|
98
|
-
def MemberTypes(self) -> DynamicallyAccessedMemberTypes: ...
|
99
|
-
@property
|
100
|
-
def Type(self) -> typing.Type[typing.Any]: ...
|
101
|
-
@property
|
102
|
-
def TypeId(self) -> typing.Any: ...
|
103
|
-
@property
|
104
|
-
def TypeName(self) -> str: ...
|
105
|
-
|
106
|
-
|
107
|
-
class ExcludeFromCodeCoverageAttribute(Attribute):
|
108
|
-
def __init__(self) -> None: ...
|
109
|
-
@property
|
110
|
-
def Justification(self) -> str: ...
|
111
|
-
@Justification.setter
|
112
|
-
def Justification(self, value: str) -> str: ...
|
113
|
-
@property
|
114
|
-
def TypeId(self) -> typing.Any: ...
|
115
|
-
|
116
|
-
|
117
|
-
class ExperimentalAttribute(Attribute):
|
118
|
-
def __init__(self, diagnosticId: str) -> None: ...
|
119
|
-
@property
|
120
|
-
def DiagnosticId(self) -> str: ...
|
121
|
-
@property
|
122
|
-
def TypeId(self) -> typing.Any: ...
|
123
|
-
@property
|
124
|
-
def UrlFormat(self) -> str: ...
|
125
|
-
@UrlFormat.setter
|
126
|
-
def UrlFormat(self, value: str) -> str: ...
|
127
|
-
|
128
|
-
|
129
|
-
class MaybeNullAttribute(Attribute):
|
130
|
-
def __init__(self) -> None: ...
|
131
|
-
@property
|
132
|
-
def TypeId(self) -> typing.Any: ...
|
133
|
-
|
134
|
-
|
135
|
-
class MaybeNullWhenAttribute(Attribute):
|
136
|
-
def __init__(self, returnValue: bool) -> None: ...
|
137
|
-
@property
|
138
|
-
def ReturnValue(self) -> bool: ...
|
139
|
-
@property
|
140
|
-
def TypeId(self) -> typing.Any: ...
|
141
|
-
|
142
|
-
|
143
|
-
class MemberNotNullAttribute(Attribute):
|
144
|
-
@typing.overload
|
145
|
-
def __init__(self, member: str) -> None: ...
|
146
|
-
@typing.overload
|
147
|
-
def __init__(self, members: Array_1[str]) -> None: ...
|
148
|
-
@property
|
149
|
-
def Members(self) -> Array_1[str]: ...
|
150
|
-
@property
|
151
|
-
def TypeId(self) -> typing.Any: ...
|
152
|
-
|
153
|
-
|
154
|
-
class MemberNotNullWhenAttribute(Attribute):
|
155
|
-
@typing.overload
|
156
|
-
def __init__(self, returnValue: bool, member: str) -> None: ...
|
157
|
-
@typing.overload
|
158
|
-
def __init__(self, returnValue: bool, members: Array_1[str]) -> None: ...
|
159
|
-
@property
|
160
|
-
def Members(self) -> Array_1[str]: ...
|
161
|
-
@property
|
162
|
-
def ReturnValue(self) -> bool: ...
|
163
|
-
@property
|
164
|
-
def TypeId(self) -> typing.Any: ...
|
165
|
-
|
166
|
-
|
167
|
-
class NotNullAttribute(Attribute):
|
168
|
-
def __init__(self) -> None: ...
|
169
|
-
@property
|
170
|
-
def TypeId(self) -> typing.Any: ...
|
171
|
-
|
172
|
-
|
173
|
-
class NotNullIfNotNullAttribute(Attribute):
|
174
|
-
def __init__(self, parameterName: str) -> None: ...
|
175
|
-
@property
|
176
|
-
def ParameterName(self) -> str: ...
|
177
|
-
@property
|
178
|
-
def TypeId(self) -> typing.Any: ...
|
179
|
-
|
180
|
-
|
181
|
-
class NotNullWhenAttribute(Attribute):
|
182
|
-
def __init__(self, returnValue: bool) -> None: ...
|
183
|
-
@property
|
184
|
-
def ReturnValue(self) -> bool: ...
|
185
|
-
@property
|
186
|
-
def TypeId(self) -> typing.Any: ...
|
187
|
-
|
188
|
-
|
189
|
-
class RequiresAssemblyFilesAttribute(Attribute):
|
190
|
-
@typing.overload
|
191
|
-
def __init__(self) -> None: ...
|
192
|
-
@typing.overload
|
193
|
-
def __init__(self, message: str) -> None: ...
|
194
|
-
@property
|
195
|
-
def Message(self) -> str: ...
|
196
|
-
@property
|
197
|
-
def TypeId(self) -> typing.Any: ...
|
198
|
-
@property
|
199
|
-
def Url(self) -> str: ...
|
200
|
-
@Url.setter
|
201
|
-
def Url(self, value: str) -> str: ...
|
202
|
-
|
203
|
-
|
204
|
-
class RequiresDynamicCodeAttribute(Attribute):
|
205
|
-
def __init__(self, message: str) -> None: ...
|
206
|
-
@property
|
207
|
-
def Message(self) -> str: ...
|
208
|
-
@property
|
209
|
-
def TypeId(self) -> typing.Any: ...
|
210
|
-
@property
|
211
|
-
def Url(self) -> str: ...
|
212
|
-
@Url.setter
|
213
|
-
def Url(self, value: str) -> str: ...
|
214
|
-
|
215
|
-
|
216
|
-
class RequiresUnreferencedCodeAttribute(Attribute):
|
217
|
-
def __init__(self, message: str) -> None: ...
|
218
|
-
@property
|
219
|
-
def Message(self) -> str: ...
|
220
|
-
@property
|
221
|
-
def TypeId(self) -> typing.Any: ...
|
222
|
-
@property
|
223
|
-
def Url(self) -> str: ...
|
224
|
-
@Url.setter
|
225
|
-
def Url(self, value: str) -> str: ...
|
226
|
-
|
227
|
-
|
228
|
-
class SetsRequiredMembersAttribute(Attribute):
|
229
|
-
def __init__(self) -> None: ...
|
230
|
-
@property
|
231
|
-
def TypeId(self) -> typing.Any: ...
|
232
|
-
|
233
|
-
|
234
|
-
class StringSyntaxAttribute(Attribute):
|
235
|
-
@typing.overload
|
236
|
-
def __init__(self, syntax: str) -> None: ...
|
237
|
-
@typing.overload
|
238
|
-
def __init__(self, syntax: str, arguments: Array_1[typing.Any]) -> None: ...
|
239
|
-
CompositeFormat : str
|
240
|
-
DateOnlyFormat : str
|
241
|
-
DateTimeFormat : str
|
242
|
-
EnumFormat : str
|
243
|
-
GuidFormat : str
|
244
|
-
Json : str
|
245
|
-
NumericFormat : str
|
246
|
-
Regex : str
|
247
|
-
TimeOnlyFormat : str
|
248
|
-
TimeSpanFormat : str
|
249
|
-
Uri : str
|
250
|
-
Xml : str
|
251
|
-
@property
|
252
|
-
def Arguments(self) -> Array_1[typing.Any]: ...
|
253
|
-
@property
|
254
|
-
def Syntax(self) -> str: ...
|
255
|
-
@property
|
256
|
-
def TypeId(self) -> typing.Any: ...
|
257
|
-
|
258
|
-
|
259
|
-
class SuppressMessageAttribute(Attribute):
|
260
|
-
def __init__(self, category: str, checkId: str) -> None: ...
|
261
|
-
@property
|
262
|
-
def Category(self) -> str: ...
|
263
|
-
@property
|
264
|
-
def CheckId(self) -> str: ...
|
265
|
-
@property
|
266
|
-
def Justification(self) -> str: ...
|
267
|
-
@Justification.setter
|
268
|
-
def Justification(self, value: str) -> str: ...
|
269
|
-
@property
|
270
|
-
def MessageId(self) -> str: ...
|
271
|
-
@MessageId.setter
|
272
|
-
def MessageId(self, value: str) -> str: ...
|
273
|
-
@property
|
274
|
-
def Scope(self) -> str: ...
|
275
|
-
@Scope.setter
|
276
|
-
def Scope(self, value: str) -> str: ...
|
277
|
-
@property
|
278
|
-
def Target(self) -> str: ...
|
279
|
-
@Target.setter
|
280
|
-
def Target(self, value: str) -> str: ...
|
281
|
-
@property
|
282
|
-
def TypeId(self) -> typing.Any: ...
|
283
|
-
|
284
|
-
|
285
|
-
class UnconditionalSuppressMessageAttribute(Attribute):
|
286
|
-
def __init__(self, category: str, checkId: str) -> None: ...
|
287
|
-
@property
|
288
|
-
def Category(self) -> str: ...
|
289
|
-
@property
|
290
|
-
def CheckId(self) -> str: ...
|
291
|
-
@property
|
292
|
-
def Justification(self) -> str: ...
|
293
|
-
@Justification.setter
|
294
|
-
def Justification(self, value: str) -> str: ...
|
295
|
-
@property
|
296
|
-
def MessageId(self) -> str: ...
|
297
|
-
@MessageId.setter
|
298
|
-
def MessageId(self, value: str) -> str: ...
|
299
|
-
@property
|
300
|
-
def Scope(self) -> str: ...
|
301
|
-
@Scope.setter
|
302
|
-
def Scope(self, value: str) -> str: ...
|
303
|
-
@property
|
304
|
-
def Target(self) -> str: ...
|
305
|
-
@Target.setter
|
306
|
-
def Target(self, value: str) -> str: ...
|
307
|
-
@property
|
308
|
-
def TypeId(self) -> typing.Any: ...
|
309
|
-
|
310
|
-
|
311
|
-
class UnscopedRefAttribute(Attribute):
|
312
|
-
def __init__(self) -> None: ...
|
313
|
-
@property
|
314
|
-
def TypeId(self) -> typing.Any: ...
|
315
|
-
|
@@ -1,297 +0,0 @@
|
|
1
|
-
import typing, clr, abc
|
2
|
-
from System.Collections.Generic import IEnumerable_1
|
3
|
-
from System import Predicate_1, Attribute, Exception, EventArgs
|
4
|
-
from System.Collections import IDictionary
|
5
|
-
from System.Reflection import MethodBase
|
6
|
-
from System.Runtime.Serialization import SerializationInfo, StreamingContext
|
7
|
-
|
8
|
-
class Contract(abc.ABC):
|
9
|
-
@staticmethod
|
10
|
-
def EndContractBlock() -> None: ...
|
11
|
-
# Skipped Assert due to it being static, abstract and generic.
|
12
|
-
|
13
|
-
Assert : Assert_MethodGroup
|
14
|
-
class Assert_MethodGroup:
|
15
|
-
@typing.overload
|
16
|
-
def __call__(self, condition: bool) -> None:...
|
17
|
-
@typing.overload
|
18
|
-
def __call__(self, condition: bool, userMessage: str) -> None:...
|
19
|
-
|
20
|
-
# Skipped Assume due to it being static, abstract and generic.
|
21
|
-
|
22
|
-
Assume : Assume_MethodGroup
|
23
|
-
class Assume_MethodGroup:
|
24
|
-
@typing.overload
|
25
|
-
def __call__(self, condition: bool) -> None:...
|
26
|
-
@typing.overload
|
27
|
-
def __call__(self, condition: bool, userMessage: str) -> None:...
|
28
|
-
|
29
|
-
# Skipped Ensures due to it being static, abstract and generic.
|
30
|
-
|
31
|
-
Ensures : Ensures_MethodGroup
|
32
|
-
class Ensures_MethodGroup:
|
33
|
-
@typing.overload
|
34
|
-
def __call__(self, condition: bool) -> None:...
|
35
|
-
@typing.overload
|
36
|
-
def __call__(self, condition: bool, userMessage: str) -> None:...
|
37
|
-
|
38
|
-
# Skipped EnsuresOnThrow due to it being static, abstract and generic.
|
39
|
-
|
40
|
-
EnsuresOnThrow : EnsuresOnThrow_MethodGroup
|
41
|
-
class EnsuresOnThrow_MethodGroup:
|
42
|
-
def __getitem__(self, t:typing.Type[EnsuresOnThrow_1_T1]) -> EnsuresOnThrow_1[EnsuresOnThrow_1_T1]: ...
|
43
|
-
|
44
|
-
EnsuresOnThrow_1_T1 = typing.TypeVar('EnsuresOnThrow_1_T1')
|
45
|
-
class EnsuresOnThrow_1(typing.Generic[EnsuresOnThrow_1_T1]):
|
46
|
-
EnsuresOnThrow_1_TException = Contract.EnsuresOnThrow_MethodGroup.EnsuresOnThrow_1_T1
|
47
|
-
@typing.overload
|
48
|
-
def __call__(self, condition: bool) -> None:...
|
49
|
-
@typing.overload
|
50
|
-
def __call__(self, condition: bool, userMessage: str) -> None:...
|
51
|
-
|
52
|
-
|
53
|
-
# Skipped Exists due to it being static, abstract and generic.
|
54
|
-
|
55
|
-
Exists : Exists_MethodGroup
|
56
|
-
class Exists_MethodGroup:
|
57
|
-
def __getitem__(self, t:typing.Type[Exists_1_T1]) -> Exists_1[Exists_1_T1]: ...
|
58
|
-
|
59
|
-
Exists_1_T1 = typing.TypeVar('Exists_1_T1')
|
60
|
-
class Exists_1(typing.Generic[Exists_1_T1]):
|
61
|
-
Exists_1_T = Contract.Exists_MethodGroup.Exists_1_T1
|
62
|
-
def __call__(self, collection: IEnumerable_1[Exists_1_T], predicate: Predicate_1[Exists_1_T]) -> bool:...
|
63
|
-
|
64
|
-
def __call__(self, fromInclusive: int, toExclusive: int, predicate: Predicate_1[int]) -> bool:...
|
65
|
-
|
66
|
-
# Skipped ForAll due to it being static, abstract and generic.
|
67
|
-
|
68
|
-
ForAll : ForAll_MethodGroup
|
69
|
-
class ForAll_MethodGroup:
|
70
|
-
def __getitem__(self, t:typing.Type[ForAll_1_T1]) -> ForAll_1[ForAll_1_T1]: ...
|
71
|
-
|
72
|
-
ForAll_1_T1 = typing.TypeVar('ForAll_1_T1')
|
73
|
-
class ForAll_1(typing.Generic[ForAll_1_T1]):
|
74
|
-
ForAll_1_T = Contract.ForAll_MethodGroup.ForAll_1_T1
|
75
|
-
def __call__(self, collection: IEnumerable_1[ForAll_1_T], predicate: Predicate_1[ForAll_1_T]) -> bool:...
|
76
|
-
|
77
|
-
def __call__(self, fromInclusive: int, toExclusive: int, predicate: Predicate_1[int]) -> bool:...
|
78
|
-
|
79
|
-
# Skipped Invariant due to it being static, abstract and generic.
|
80
|
-
|
81
|
-
Invariant : Invariant_MethodGroup
|
82
|
-
class Invariant_MethodGroup:
|
83
|
-
@typing.overload
|
84
|
-
def __call__(self, condition: bool) -> None:...
|
85
|
-
@typing.overload
|
86
|
-
def __call__(self, condition: bool, userMessage: str) -> None:...
|
87
|
-
|
88
|
-
# Skipped OldValue due to it being static, abstract and generic.
|
89
|
-
|
90
|
-
OldValue : OldValue_MethodGroup
|
91
|
-
class OldValue_MethodGroup:
|
92
|
-
def __getitem__(self, t:typing.Type[OldValue_1_T1]) -> OldValue_1[OldValue_1_T1]: ...
|
93
|
-
|
94
|
-
OldValue_1_T1 = typing.TypeVar('OldValue_1_T1')
|
95
|
-
class OldValue_1(typing.Generic[OldValue_1_T1]):
|
96
|
-
OldValue_1_T = Contract.OldValue_MethodGroup.OldValue_1_T1
|
97
|
-
def __call__(self, value: OldValue_1_T) -> OldValue_1_T:...
|
98
|
-
|
99
|
-
|
100
|
-
# Skipped Requires due to it being static, abstract and generic.
|
101
|
-
|
102
|
-
Requires : Requires_MethodGroup
|
103
|
-
class Requires_MethodGroup:
|
104
|
-
def __getitem__(self, t:typing.Type[Requires_1_T1]) -> Requires_1[Requires_1_T1]: ...
|
105
|
-
|
106
|
-
Requires_1_T1 = typing.TypeVar('Requires_1_T1')
|
107
|
-
class Requires_1(typing.Generic[Requires_1_T1]):
|
108
|
-
Requires_1_TException = Contract.Requires_MethodGroup.Requires_1_T1
|
109
|
-
@typing.overload
|
110
|
-
def __call__(self, condition: bool) -> None:...
|
111
|
-
@typing.overload
|
112
|
-
def __call__(self, condition: bool, userMessage: str) -> None:...
|
113
|
-
|
114
|
-
@typing.overload
|
115
|
-
def __call__(self, condition: bool) -> None:...
|
116
|
-
@typing.overload
|
117
|
-
def __call__(self, condition: bool, userMessage: str) -> None:...
|
118
|
-
|
119
|
-
# Skipped Result due to it being static, abstract and generic.
|
120
|
-
|
121
|
-
Result : Result_MethodGroup
|
122
|
-
class Result_MethodGroup:
|
123
|
-
def __getitem__(self, t:typing.Type[Result_1_T1]) -> Result_1[Result_1_T1]: ...
|
124
|
-
|
125
|
-
Result_1_T1 = typing.TypeVar('Result_1_T1')
|
126
|
-
class Result_1(typing.Generic[Result_1_T1]):
|
127
|
-
Result_1_T = Contract.Result_MethodGroup.Result_1_T1
|
128
|
-
def __call__(self) -> Result_1_T:...
|
129
|
-
|
130
|
-
|
131
|
-
# Skipped ValueAtReturn due to it being static, abstract and generic.
|
132
|
-
|
133
|
-
ValueAtReturn : ValueAtReturn_MethodGroup
|
134
|
-
class ValueAtReturn_MethodGroup:
|
135
|
-
def __getitem__(self, t:typing.Type[ValueAtReturn_1_T1]) -> ValueAtReturn_1[ValueAtReturn_1_T1]: ...
|
136
|
-
|
137
|
-
ValueAtReturn_1_T1 = typing.TypeVar('ValueAtReturn_1_T1')
|
138
|
-
class ValueAtReturn_1(typing.Generic[ValueAtReturn_1_T1]):
|
139
|
-
ValueAtReturn_1_T = Contract.ValueAtReturn_MethodGroup.ValueAtReturn_1_T1
|
140
|
-
def __call__(self, value: clr.Reference[ValueAtReturn_1_T]) -> ValueAtReturn_1_T:...
|
141
|
-
|
142
|
-
|
143
|
-
|
144
|
-
|
145
|
-
class ContractAbbreviatorAttribute(Attribute):
|
146
|
-
def __init__(self) -> None: ...
|
147
|
-
@property
|
148
|
-
def TypeId(self) -> typing.Any: ...
|
149
|
-
|
150
|
-
|
151
|
-
class ContractArgumentValidatorAttribute(Attribute):
|
152
|
-
def __init__(self) -> None: ...
|
153
|
-
@property
|
154
|
-
def TypeId(self) -> typing.Any: ...
|
155
|
-
|
156
|
-
|
157
|
-
class ContractClassAttribute(Attribute):
|
158
|
-
def __init__(self, typeContainingContracts: typing.Type[typing.Any]) -> None: ...
|
159
|
-
@property
|
160
|
-
def TypeContainingContracts(self) -> typing.Type[typing.Any]: ...
|
161
|
-
@property
|
162
|
-
def TypeId(self) -> typing.Any: ...
|
163
|
-
|
164
|
-
|
165
|
-
class ContractClassForAttribute(Attribute):
|
166
|
-
def __init__(self, typeContractsAreFor: typing.Type[typing.Any]) -> None: ...
|
167
|
-
@property
|
168
|
-
def TypeContractsAreFor(self) -> typing.Type[typing.Any]: ...
|
169
|
-
@property
|
170
|
-
def TypeId(self) -> typing.Any: ...
|
171
|
-
|
172
|
-
|
173
|
-
class ContractException(Exception):
|
174
|
-
def __init__(self, kind: ContractFailureKind, failure: str, userMessage: str, condition: str, innerException: Exception) -> None: ...
|
175
|
-
@property
|
176
|
-
def Condition(self) -> str: ...
|
177
|
-
@property
|
178
|
-
def Data(self) -> IDictionary: ...
|
179
|
-
@property
|
180
|
-
def Failure(self) -> str: ...
|
181
|
-
@property
|
182
|
-
def HelpLink(self) -> str: ...
|
183
|
-
@HelpLink.setter
|
184
|
-
def HelpLink(self, value: str) -> str: ...
|
185
|
-
@property
|
186
|
-
def HResult(self) -> int: ...
|
187
|
-
@HResult.setter
|
188
|
-
def HResult(self, value: int) -> int: ...
|
189
|
-
@property
|
190
|
-
def InnerException(self) -> Exception: ...
|
191
|
-
@property
|
192
|
-
def Kind(self) -> ContractFailureKind: ...
|
193
|
-
@property
|
194
|
-
def Message(self) -> str: ...
|
195
|
-
@property
|
196
|
-
def Source(self) -> str: ...
|
197
|
-
@Source.setter
|
198
|
-
def Source(self, value: str) -> str: ...
|
199
|
-
@property
|
200
|
-
def StackTrace(self) -> str: ...
|
201
|
-
@property
|
202
|
-
def TargetSite(self) -> MethodBase: ...
|
203
|
-
@property
|
204
|
-
def UserMessage(self) -> str: ...
|
205
|
-
def GetObjectData(self, info: SerializationInfo, context: StreamingContext) -> None: ...
|
206
|
-
|
207
|
-
|
208
|
-
class ContractFailedEventArgs(EventArgs):
|
209
|
-
def __init__(self, failureKind: ContractFailureKind, message: str, condition: str, originalException: Exception) -> None: ...
|
210
|
-
@property
|
211
|
-
def Condition(self) -> str: ...
|
212
|
-
@property
|
213
|
-
def FailureKind(self) -> ContractFailureKind: ...
|
214
|
-
@property
|
215
|
-
def Handled(self) -> bool: ...
|
216
|
-
@property
|
217
|
-
def Message(self) -> str: ...
|
218
|
-
@property
|
219
|
-
def OriginalException(self) -> Exception: ...
|
220
|
-
@property
|
221
|
-
def Unwind(self) -> bool: ...
|
222
|
-
def SetHandled(self) -> None: ...
|
223
|
-
def SetUnwind(self) -> None: ...
|
224
|
-
|
225
|
-
|
226
|
-
class ContractFailureKind(typing.SupportsInt):
|
227
|
-
@typing.overload
|
228
|
-
def __init__(self, value : int) -> None: ...
|
229
|
-
@typing.overload
|
230
|
-
def __init__(self, value : int, force_if_true: bool) -> None: ...
|
231
|
-
def __int__(self) -> int: ...
|
232
|
-
|
233
|
-
# Values:
|
234
|
-
Precondition : ContractFailureKind # 0
|
235
|
-
Postcondition : ContractFailureKind # 1
|
236
|
-
PostconditionOnException : ContractFailureKind # 2
|
237
|
-
Invariant : ContractFailureKind # 3
|
238
|
-
Assert : ContractFailureKind # 4
|
239
|
-
Assume : ContractFailureKind # 5
|
240
|
-
|
241
|
-
|
242
|
-
class ContractInvariantMethodAttribute(Attribute):
|
243
|
-
def __init__(self) -> None: ...
|
244
|
-
@property
|
245
|
-
def TypeId(self) -> typing.Any: ...
|
246
|
-
|
247
|
-
|
248
|
-
class ContractOptionAttribute(Attribute):
|
249
|
-
@typing.overload
|
250
|
-
def __init__(self, category: str, setting: str, enabled: bool) -> None: ...
|
251
|
-
@typing.overload
|
252
|
-
def __init__(self, category: str, setting: str, value: str) -> None: ...
|
253
|
-
@property
|
254
|
-
def Category(self) -> str: ...
|
255
|
-
@property
|
256
|
-
def Enabled(self) -> bool: ...
|
257
|
-
@property
|
258
|
-
def Setting(self) -> str: ...
|
259
|
-
@property
|
260
|
-
def TypeId(self) -> typing.Any: ...
|
261
|
-
@property
|
262
|
-
def Value(self) -> str: ...
|
263
|
-
|
264
|
-
|
265
|
-
class ContractPublicPropertyNameAttribute(Attribute):
|
266
|
-
def __init__(self, name: str) -> None: ...
|
267
|
-
@property
|
268
|
-
def Name(self) -> str: ...
|
269
|
-
@property
|
270
|
-
def TypeId(self) -> typing.Any: ...
|
271
|
-
|
272
|
-
|
273
|
-
class ContractReferenceAssemblyAttribute(Attribute):
|
274
|
-
def __init__(self) -> None: ...
|
275
|
-
@property
|
276
|
-
def TypeId(self) -> typing.Any: ...
|
277
|
-
|
278
|
-
|
279
|
-
class ContractRuntimeIgnoredAttribute(Attribute):
|
280
|
-
def __init__(self) -> None: ...
|
281
|
-
@property
|
282
|
-
def TypeId(self) -> typing.Any: ...
|
283
|
-
|
284
|
-
|
285
|
-
class ContractVerificationAttribute(Attribute):
|
286
|
-
def __init__(self, value: bool) -> None: ...
|
287
|
-
@property
|
288
|
-
def TypeId(self) -> typing.Any: ...
|
289
|
-
@property
|
290
|
-
def Value(self) -> bool: ...
|
291
|
-
|
292
|
-
|
293
|
-
class PureAttribute(Attribute):
|
294
|
-
def __init__(self) -> None: ...
|
295
|
-
@property
|
296
|
-
def TypeId(self) -> typing.Any: ...
|
297
|
-
|
@@ -1,9 +0,0 @@
|
|
1
|
-
import typing, abc
|
2
|
-
from System import Guid, Array_1
|
3
|
-
|
4
|
-
class ISymbolDocumentWriter(typing.Protocol):
|
5
|
-
@abc.abstractmethod
|
6
|
-
def SetCheckSum(self, algorithmId: Guid, checkSum: Array_1[int]) -> None: ...
|
7
|
-
@abc.abstractmethod
|
8
|
-
def SetSource(self, source: Array_1[int]) -> None: ...
|
9
|
-
|