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.
Files changed (106) hide show
  1. PySimultan2/CHANGELOG.md +3 -0
  2. PySimultan2/__about__.py +1 -1
  3. PySimultan2/default_types.py +7 -0
  4. {pysimultan-0.6.0.1.dist-info → pysimultan-0.6.0.2.dist-info}/METADATA +1 -1
  5. pysimultan-0.6.0.2.dist-info/RECORD +76 -0
  6. PySimultan2/typings/SIMULTAN/Data/Assets/__init__.pyi +0 -616
  7. PySimultan2/typings/SIMULTAN/Data/Components/__init__.pyi +0 -2538
  8. PySimultan2/typings/SIMULTAN/Data/FlowNetworks/__init__.pyi +0 -499
  9. PySimultan2/typings/SIMULTAN/Data/Geometry/__init__.pyi +0 -2219
  10. PySimultan2/typings/SIMULTAN/Data/MultiValues/__init__.pyi +0 -682
  11. PySimultan2/typings/SIMULTAN/Data/SimMath/__init__.pyi +0 -1654
  12. PySimultan2/typings/SIMULTAN/Data/SimNetworks/__init__.pyi +0 -442
  13. PySimultan2/typings/SIMULTAN/Data/SitePlanner/__init__.pyi +0 -193
  14. PySimultan2/typings/SIMULTAN/Data/Taxonomy/__init__.pyi +0 -367
  15. PySimultan2/typings/SIMULTAN/Data/Users/__init__.pyi +0 -116
  16. PySimultan2/typings/SIMULTAN/Data/ValueMappings/__init__.pyi +0 -212
  17. PySimultan2/typings/SIMULTAN/Data/__init__.pyi +0 -232
  18. PySimultan2/typings/SIMULTAN/DataMapping/__init__.pyi +0 -916
  19. PySimultan2/typings/SIMULTAN/Excel/__init__.pyi +0 -15
  20. PySimultan2/typings/SIMULTAN/Exceptions/__init__.pyi +0 -268
  21. PySimultan2/typings/SIMULTAN/Exchange/SimNetworkConnectors/__init__.pyi +0 -32
  22. PySimultan2/typings/SIMULTAN/Exchange/__init__.pyi +0 -116
  23. PySimultan2/typings/SIMULTAN/Projects/ManagedFiles/__init__.pyi +0 -433
  24. PySimultan2/typings/SIMULTAN/Projects/__init__.pyi +0 -435
  25. PySimultan2/typings/SIMULTAN/Serializer/CODXF/__init__.pyi +0 -103
  26. PySimultan2/typings/SIMULTAN/Serializer/CSV/__init__.pyi +0 -122
  27. PySimultan2/typings/SIMULTAN/Serializer/DXF/__init__.pyi +0 -1335
  28. PySimultan2/typings/SIMULTAN/Serializer/Geometry/__init__.pyi +0 -48
  29. PySimultan2/typings/SIMULTAN/Serializer/JSON/__init__.pyi +0 -562
  30. PySimultan2/typings/SIMULTAN/Serializer/METADXF/__init__.pyi +0 -11
  31. PySimultan2/typings/SIMULTAN/Serializer/PADXF/__init__.pyi +0 -21
  32. PySimultan2/typings/SIMULTAN/Serializer/PPATH/__init__.pyi +0 -11
  33. PySimultan2/typings/SIMULTAN/Serializer/Projects/__init__.pyi +0 -112
  34. PySimultan2/typings/SIMULTAN/Serializer/SIMLINKS/__init__.pyi +0 -5
  35. PySimultan2/typings/SIMULTAN/Serializer/SPDXF/__init__.pyi +0 -13
  36. PySimultan2/typings/SIMULTAN/Serializer/SimGeo/__init__.pyi +0 -54
  37. PySimultan2/typings/SIMULTAN/Serializer/TXDXF/__init__.pyi +0 -46
  38. PySimultan2/typings/SIMULTAN/Serializer/XMI/__init__.pyi +0 -22
  39. PySimultan2/typings/SIMULTAN/Serializer/__init__.pyi +0 -32
  40. PySimultan2/typings/SIMULTAN/Utils/BackgroundWork/__init__.pyi +0 -43
  41. PySimultan2/typings/SIMULTAN/Utils/Collections/__init__.pyi +0 -216
  42. PySimultan2/typings/SIMULTAN/Utils/ElevationProvider/__init__.pyi +0 -66
  43. PySimultan2/typings/SIMULTAN/Utils/Files/__init__.pyi +0 -48
  44. PySimultan2/typings/SIMULTAN/Utils/Randomize/__init__.pyi +0 -11
  45. PySimultan2/typings/SIMULTAN/Utils/Streams/__init__.pyi +0 -59
  46. PySimultan2/typings/SIMULTAN/Utils/UndoRedo/__init__.pyi +0 -133
  47. PySimultan2/typings/SIMULTAN/Utils/__init__.pyi +0 -570
  48. PySimultan2/typings/System/Buffers/Binary/__init__.pyi +0 -248
  49. PySimultan2/typings/System/Buffers/Text/__init__.pyi +0 -91
  50. PySimultan2/typings/System/Buffers/__init__.pyi +0 -192
  51. PySimultan2/typings/System/CodeDom/Compiler/__init__.pyi +0 -137
  52. PySimultan2/typings/System/Collections/Concurrent/__init__.pyi +0 -47
  53. PySimultan2/typings/System/Collections/Generic/__init__.pyi +0 -1293
  54. PySimultan2/typings/System/Collections/ObjectModel/__init__.pyi +0 -166
  55. PySimultan2/typings/System/Collections/Specialized/__init__.pyi +0 -82
  56. PySimultan2/typings/System/Collections/__init__.pyi +0 -403
  57. PySimultan2/typings/System/ComponentModel/__init__.pyi +0 -582
  58. PySimultan2/typings/System/Configuration/Assemblies/__init__.pyi +0 -30
  59. PySimultan2/typings/System/Diagnostics/CodeAnalysis/__init__.pyi +0 -315
  60. PySimultan2/typings/System/Diagnostics/Contracts/__init__.pyi +0 -297
  61. PySimultan2/typings/System/Diagnostics/SymbolStore/__init__.pyi +0 -9
  62. PySimultan2/typings/System/Diagnostics/Tracing/__init__.pyi +0 -641
  63. PySimultan2/typings/System/Diagnostics/__init__.pyi +0 -1101
  64. PySimultan2/typings/System/Globalization/__init__.pyi +0 -1675
  65. PySimultan2/typings/System/IO/Enumeration/__init__.pyi +0 -125
  66. PySimultan2/typings/System/IO/__init__.pyi +0 -2747
  67. PySimultan2/typings/System/Linq/Expressions/__init__.pyi +0 -1815
  68. PySimultan2/typings/System/Net/__init__.pyi +0 -81
  69. PySimultan2/typings/System/Numerics/__init__.pyi +0 -2853
  70. PySimultan2/typings/System/Reflection/Emit/__init__.pyi +0 -1945
  71. PySimultan2/typings/System/Reflection/Metadata/__init__.pyi +0 -24
  72. PySimultan2/typings/System/Reflection/__init__.pyi +0 -2724
  73. PySimultan2/typings/System/Resources/__init__.pyi +0 -205
  74. PySimultan2/typings/System/Runtime/CompilerServices/__init__.pyi +0 -1926
  75. PySimultan2/typings/System/Runtime/ConstrainedExecution/__init__.pyi +0 -49
  76. PySimultan2/typings/System/Runtime/ExceptionServices/__init__.pyi +0 -34
  77. PySimultan2/typings/System/Runtime/InteropServices/ComTypes/__init__.pyi +0 -758
  78. PySimultan2/typings/System/Runtime/InteropServices/Marshalling/__init__.pyi +0 -461
  79. PySimultan2/typings/System/Runtime/InteropServices/ObjectiveC/__init__.pyi +0 -48
  80. PySimultan2/typings/System/Runtime/InteropServices/__init__.pyi +0 -2632
  81. PySimultan2/typings/System/Runtime/Intrinsics/Arm/__init__.pyi +0 -4757
  82. PySimultan2/typings/System/Runtime/Intrinsics/Wasm/__init__.pyi +0 -844
  83. PySimultan2/typings/System/Runtime/Intrinsics/X86/__init__.pyi +0 -5642
  84. PySimultan2/typings/System/Runtime/Intrinsics/__init__.pyi +0 -4504
  85. PySimultan2/typings/System/Runtime/Loader/__init__.pyi +0 -63
  86. PySimultan2/typings/System/Runtime/Remoting/__init__.pyi +0 -7
  87. PySimultan2/typings/System/Runtime/Serialization/__init__.pyi +0 -269
  88. PySimultan2/typings/System/Runtime/Versioning/__init__.pyi +0 -200
  89. PySimultan2/typings/System/Runtime/__init__.pyi +0 -141
  90. PySimultan2/typings/System/Security/Cryptography/__init__.pyi +0 -39
  91. PySimultan2/typings/System/Security/Permissions/__init__.pyi +0 -163
  92. PySimultan2/typings/System/Security/Principal/__init__.pyi +0 -45
  93. PySimultan2/typings/System/Security/__init__.pyi +0 -347
  94. PySimultan2/typings/System/Text/Unicode/__init__.pyi +0 -62
  95. PySimultan2/typings/System/Text/__init__.pyi +0 -1590
  96. PySimultan2/typings/System/Threading/Tasks/Sources/__init__.pyi +0 -76
  97. PySimultan2/typings/System/Threading/Tasks/__init__.pyi +0 -1403
  98. PySimultan2/typings/System/Threading/__init__.pyi +0 -1788
  99. PySimultan2/typings/System/Xml/Schema/__init__.pyi +0 -1255
  100. PySimultan2/typings/System/Xml/Serialization/__init__.pyi +0 -16
  101. PySimultan2/typings/System/Xml/XPath/__init__.pyi +0 -474
  102. PySimultan2/typings/System/Xml/__init__.pyi +0 -2410
  103. PySimultan2/typings/System/__init__.pyi +0 -17821
  104. pysimultan-0.6.0.1.dist-info/RECORD +0 -174
  105. {pysimultan-0.6.0.1.dist-info → pysimultan-0.6.0.2.dist-info}/WHEEL +0 -0
  106. {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
-