PySimultan 0.5.9.7__py3-none-any.whl → 0.6.0.1__py3-none-any.whl

PySimultan2/typings/System/Diagnostics/CodeAnalysis/__init__.pyi

@@ -0,0 +1,315 @@
+import typing
+from System import Attribute, Array_1
+
+class AllowNullAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ConstantExpectedAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def Max(self) -> typing.Any: ...
+    @Max.setter
+    def Max(self, value: typing.Any) -> typing.Any: ...
+    @property
+    def Min(self) -> typing.Any: ...
+    @Min.setter
+    def Min(self, value: typing.Any) -> typing.Any: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class DisallowNullAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class DoesNotReturnAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class DoesNotReturnIfAttribute(Attribute):
+    def __init__(self, parameterValue: bool) -> None: ...
+    @property
+    def ParameterValue(self) -> bool: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class DynamicallyAccessedMembersAttribute(Attribute):
+    def __init__(self, memberTypes: DynamicallyAccessedMemberTypes) -> None: ...
+    @property
+    def MemberTypes(self) -> DynamicallyAccessedMemberTypes: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class DynamicallyAccessedMemberTypes(typing.SupportsInt):
+    @typing.overload
+    def __init__(self, value : int) -> None: ...
+    @typing.overload
+    def __init__(self, value : int, force_if_true: bool) -> None: ...
+    def __int__(self) -> int: ...
+    
+    # Values:
+    None_ : DynamicallyAccessedMemberTypes # 0
+    PublicParameterlessConstructor : DynamicallyAccessedMemberTypes # 1
+    PublicConstructors : DynamicallyAccessedMemberTypes # 3
+    NonPublicConstructors : DynamicallyAccessedMemberTypes # 4
+    PublicMethods : DynamicallyAccessedMemberTypes # 8
+    NonPublicMethods : DynamicallyAccessedMemberTypes # 16
+    PublicFields : DynamicallyAccessedMemberTypes # 32
+    NonPublicFields : DynamicallyAccessedMemberTypes # 64
+    PublicNestedTypes : DynamicallyAccessedMemberTypes # 128
+    NonPublicNestedTypes : DynamicallyAccessedMemberTypes # 256
+    PublicProperties : DynamicallyAccessedMemberTypes # 512
+    NonPublicProperties : DynamicallyAccessedMemberTypes # 1024
+    PublicEvents : DynamicallyAccessedMemberTypes # 2048
+    NonPublicEvents : DynamicallyAccessedMemberTypes # 4096
+    Interfaces : DynamicallyAccessedMemberTypes # 8192
+    All : DynamicallyAccessedMemberTypes # -1
+
+
+class DynamicDependencyAttribute(Attribute):
+    @typing.overload
+    def __init__(self, memberSignature: str) -> None: ...
+    @typing.overload
+    def __init__(self, memberSignature: str, type: typing.Type[typing.Any]) -> None: ...
+    @typing.overload
+    def __init__(self, memberSignature: str, typeName: str, assemblyName: str) -> None: ...
+    @typing.overload
+    def __init__(self, memberTypes: DynamicallyAccessedMemberTypes, type: typing.Type[typing.Any]) -> None: ...
+    @typing.overload
+    def __init__(self, memberTypes: DynamicallyAccessedMemberTypes, typeName: str, assemblyName: str) -> None: ...
+    @property
+    def AssemblyName(self) -> str: ...
+    @property
+    def Condition(self) -> str: ...
+    @Condition.setter
+    def Condition(self, value: str) -> str: ...
+    @property
+    def MemberSignature(self) -> str: ...
+    @property
+    def MemberTypes(self) -> DynamicallyAccessedMemberTypes: ...
+    @property
+    def Type(self) -> typing.Type[typing.Any]: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+    @property
+    def TypeName(self) -> str: ...
+
+
+class ExcludeFromCodeCoverageAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def Justification(self) -> str: ...
+    @Justification.setter
+    def Justification(self, value: str) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ExperimentalAttribute(Attribute):
+    def __init__(self, diagnosticId: str) -> None: ...
+    @property
+    def DiagnosticId(self) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+    @property
+    def UrlFormat(self) -> str: ...
+    @UrlFormat.setter
+    def UrlFormat(self, value: str) -> str: ...
+
+
+class MaybeNullAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class MaybeNullWhenAttribute(Attribute):
+    def __init__(self, returnValue: bool) -> None: ...
+    @property
+    def ReturnValue(self) -> bool: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class MemberNotNullAttribute(Attribute):
+    @typing.overload
+    def __init__(self, member: str) -> None: ...
+    @typing.overload
+    def __init__(self, members: Array_1[str]) -> None: ...
+    @property
+    def Members(self) -> Array_1[str]: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class MemberNotNullWhenAttribute(Attribute):
+    @typing.overload
+    def __init__(self, returnValue: bool, member: str) -> None: ...
+    @typing.overload
+    def __init__(self, returnValue: bool, members: Array_1[str]) -> None: ...
+    @property
+    def Members(self) -> Array_1[str]: ...
+    @property
+    def ReturnValue(self) -> bool: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class NotNullAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class NotNullIfNotNullAttribute(Attribute):
+    def __init__(self, parameterName: str) -> None: ...
+    @property
+    def ParameterName(self) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class NotNullWhenAttribute(Attribute):
+    def __init__(self, returnValue: bool) -> None: ...
+    @property
+    def ReturnValue(self) -> bool: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class RequiresAssemblyFilesAttribute(Attribute):
+    @typing.overload
+    def __init__(self) -> None: ...
+    @typing.overload
+    def __init__(self, message: str) -> None: ...
+    @property
+    def Message(self) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+    @property
+    def Url(self) -> str: ...
+    @Url.setter
+    def Url(self, value: str) -> str: ...
+
+
+class RequiresDynamicCodeAttribute(Attribute):
+    def __init__(self, message: str) -> None: ...
+    @property
+    def Message(self) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+    @property
+    def Url(self) -> str: ...
+    @Url.setter
+    def Url(self, value: str) -> str: ...
+
+
+class RequiresUnreferencedCodeAttribute(Attribute):
+    def __init__(self, message: str) -> None: ...
+    @property
+    def Message(self) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+    @property
+    def Url(self) -> str: ...
+    @Url.setter
+    def Url(self, value: str) -> str: ...
+
+
+class SetsRequiredMembersAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class StringSyntaxAttribute(Attribute):
+    @typing.overload
+    def __init__(self, syntax: str) -> None: ...
+    @typing.overload
+    def __init__(self, syntax: str, arguments: Array_1[typing.Any]) -> None: ...
+    CompositeFormat : str
+    DateOnlyFormat : str
+    DateTimeFormat : str
+    EnumFormat : str
+    GuidFormat : str
+    Json : str
+    NumericFormat : str
+    Regex : str
+    TimeOnlyFormat : str
+    TimeSpanFormat : str
+    Uri : str
+    Xml : str
+    @property
+    def Arguments(self) -> Array_1[typing.Any]: ...
+    @property
+    def Syntax(self) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class SuppressMessageAttribute(Attribute):
+    def __init__(self, category: str, checkId: str) -> None: ...
+    @property
+    def Category(self) -> str: ...
+    @property
+    def CheckId(self) -> str: ...
+    @property
+    def Justification(self) -> str: ...
+    @Justification.setter
+    def Justification(self, value: str) -> str: ...
+    @property
+    def MessageId(self) -> str: ...
+    @MessageId.setter
+    def MessageId(self, value: str) -> str: ...
+    @property
+    def Scope(self) -> str: ...
+    @Scope.setter
+    def Scope(self, value: str) -> str: ...
+    @property
+    def Target(self) -> str: ...
+    @Target.setter
+    def Target(self, value: str) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class UnconditionalSuppressMessageAttribute(Attribute):
+    def __init__(self, category: str, checkId: str) -> None: ...
+    @property
+    def Category(self) -> str: ...
+    @property
+    def CheckId(self) -> str: ...
+    @property
+    def Justification(self) -> str: ...
+    @Justification.setter
+    def Justification(self, value: str) -> str: ...
+    @property
+    def MessageId(self) -> str: ...
+    @MessageId.setter
+    def MessageId(self, value: str) -> str: ...
+    @property
+    def Scope(self) -> str: ...
+    @Scope.setter
+    def Scope(self, value: str) -> str: ...
+    @property
+    def Target(self) -> str: ...
+    @Target.setter
+    def Target(self, value: str) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class UnscopedRefAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+

PySimultan2/typings/System/Diagnostics/Contracts/__init__.pyi

@@ -0,0 +1,297 @@
+import typing, clr, abc
+from System.Collections.Generic import IEnumerable_1
+from System import Predicate_1, Attribute, Exception, EventArgs
+from System.Collections import IDictionary
+from System.Reflection import MethodBase
+from System.Runtime.Serialization import SerializationInfo, StreamingContext
+
+class Contract(abc.ABC):
+    @staticmethod
+    def EndContractBlock() -> None: ...
+    # Skipped Assert due to it being static, abstract and generic.
+
+    Assert : Assert_MethodGroup
+    class Assert_MethodGroup:
+        @typing.overload
+        def __call__(self, condition: bool) -> None:...
+        @typing.overload
+        def __call__(self, condition: bool, userMessage: str) -> None:...
+
+    # Skipped Assume due to it being static, abstract and generic.
+
+    Assume : Assume_MethodGroup
+    class Assume_MethodGroup:
+        @typing.overload
+        def __call__(self, condition: bool) -> None:...
+        @typing.overload
+        def __call__(self, condition: bool, userMessage: str) -> None:...
+
+    # Skipped Ensures due to it being static, abstract and generic.
+
+    Ensures : Ensures_MethodGroup
+    class Ensures_MethodGroup:
+        @typing.overload
+        def __call__(self, condition: bool) -> None:...
+        @typing.overload
+        def __call__(self, condition: bool, userMessage: str) -> None:...
+
+    # Skipped EnsuresOnThrow due to it being static, abstract and generic.
+
+    EnsuresOnThrow : EnsuresOnThrow_MethodGroup
+    class EnsuresOnThrow_MethodGroup:
+        def __getitem__(self, t:typing.Type[EnsuresOnThrow_1_T1]) -> EnsuresOnThrow_1[EnsuresOnThrow_1_T1]: ...
+
+        EnsuresOnThrow_1_T1 = typing.TypeVar('EnsuresOnThrow_1_T1')
+        class EnsuresOnThrow_1(typing.Generic[EnsuresOnThrow_1_T1]):
+            EnsuresOnThrow_1_TException = Contract.EnsuresOnThrow_MethodGroup.EnsuresOnThrow_1_T1
+            @typing.overload
+            def __call__(self, condition: bool) -> None:...
+            @typing.overload
+            def __call__(self, condition: bool, userMessage: str) -> None:...
+
+
+    # Skipped Exists due to it being static, abstract and generic.
+
+    Exists : Exists_MethodGroup
+    class Exists_MethodGroup:
+        def __getitem__(self, t:typing.Type[Exists_1_T1]) -> Exists_1[Exists_1_T1]: ...
+
+        Exists_1_T1 = typing.TypeVar('Exists_1_T1')
+        class Exists_1(typing.Generic[Exists_1_T1]):
+            Exists_1_T = Contract.Exists_MethodGroup.Exists_1_T1
+            def __call__(self, collection: IEnumerable_1[Exists_1_T], predicate: Predicate_1[Exists_1_T]) -> bool:...
+
+        def __call__(self, fromInclusive: int, toExclusive: int, predicate: Predicate_1[int]) -> bool:...
+
+    # Skipped ForAll due to it being static, abstract and generic.
+
+    ForAll : ForAll_MethodGroup
+    class ForAll_MethodGroup:
+        def __getitem__(self, t:typing.Type[ForAll_1_T1]) -> ForAll_1[ForAll_1_T1]: ...
+
+        ForAll_1_T1 = typing.TypeVar('ForAll_1_T1')
+        class ForAll_1(typing.Generic[ForAll_1_T1]):
+            ForAll_1_T = Contract.ForAll_MethodGroup.ForAll_1_T1
+            def __call__(self, collection: IEnumerable_1[ForAll_1_T], predicate: Predicate_1[ForAll_1_T]) -> bool:...
+
+        def __call__(self, fromInclusive: int, toExclusive: int, predicate: Predicate_1[int]) -> bool:...
+
+    # Skipped Invariant due to it being static, abstract and generic.
+
+    Invariant : Invariant_MethodGroup
+    class Invariant_MethodGroup:
+        @typing.overload
+        def __call__(self, condition: bool) -> None:...
+        @typing.overload
+        def __call__(self, condition: bool, userMessage: str) -> None:...
+
+    # Skipped OldValue due to it being static, abstract and generic.
+
+    OldValue : OldValue_MethodGroup
+    class OldValue_MethodGroup:
+        def __getitem__(self, t:typing.Type[OldValue_1_T1]) -> OldValue_1[OldValue_1_T1]: ...
+
+        OldValue_1_T1 = typing.TypeVar('OldValue_1_T1')
+        class OldValue_1(typing.Generic[OldValue_1_T1]):
+            OldValue_1_T = Contract.OldValue_MethodGroup.OldValue_1_T1
+            def __call__(self, value: OldValue_1_T) -> OldValue_1_T:...
+
+
+    # Skipped Requires due to it being static, abstract and generic.
+
+    Requires : Requires_MethodGroup
+    class Requires_MethodGroup:
+        def __getitem__(self, t:typing.Type[Requires_1_T1]) -> Requires_1[Requires_1_T1]: ...
+
+        Requires_1_T1 = typing.TypeVar('Requires_1_T1')
+        class Requires_1(typing.Generic[Requires_1_T1]):
+            Requires_1_TException = Contract.Requires_MethodGroup.Requires_1_T1
+            @typing.overload
+            def __call__(self, condition: bool) -> None:...
+            @typing.overload
+            def __call__(self, condition: bool, userMessage: str) -> None:...
+
+        @typing.overload
+        def __call__(self, condition: bool) -> None:...
+        @typing.overload
+        def __call__(self, condition: bool, userMessage: str) -> None:...
+
+    # Skipped Result due to it being static, abstract and generic.
+
+    Result : Result_MethodGroup
+    class Result_MethodGroup:
+        def __getitem__(self, t:typing.Type[Result_1_T1]) -> Result_1[Result_1_T1]: ...
+
+        Result_1_T1 = typing.TypeVar('Result_1_T1')
+        class Result_1(typing.Generic[Result_1_T1]):
+            Result_1_T = Contract.Result_MethodGroup.Result_1_T1
+            def __call__(self) -> Result_1_T:...
+
+
+    # Skipped ValueAtReturn due to it being static, abstract and generic.
+
+    ValueAtReturn : ValueAtReturn_MethodGroup
+    class ValueAtReturn_MethodGroup:
+        def __getitem__(self, t:typing.Type[ValueAtReturn_1_T1]) -> ValueAtReturn_1[ValueAtReturn_1_T1]: ...
+
+        ValueAtReturn_1_T1 = typing.TypeVar('ValueAtReturn_1_T1')
+        class ValueAtReturn_1(typing.Generic[ValueAtReturn_1_T1]):
+            ValueAtReturn_1_T = Contract.ValueAtReturn_MethodGroup.ValueAtReturn_1_T1
+            def __call__(self, value: clr.Reference[ValueAtReturn_1_T]) -> ValueAtReturn_1_T:...
+
+
+
+
+class ContractAbbreviatorAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ContractArgumentValidatorAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ContractClassAttribute(Attribute):
+    def __init__(self, typeContainingContracts: typing.Type[typing.Any]) -> None: ...
+    @property
+    def TypeContainingContracts(self) -> typing.Type[typing.Any]: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ContractClassForAttribute(Attribute):
+    def __init__(self, typeContractsAreFor: typing.Type[typing.Any]) -> None: ...
+    @property
+    def TypeContractsAreFor(self) -> typing.Type[typing.Any]: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ContractException(Exception):
+    def __init__(self, kind: ContractFailureKind, failure: str, userMessage: str, condition: str, innerException: Exception) -> None: ...
+    @property
+    def Condition(self) -> str: ...
+    @property
+    def Data(self) -> IDictionary: ...
+    @property
+    def Failure(self) -> str: ...
+    @property
+    def HelpLink(self) -> str: ...
+    @HelpLink.setter
+    def HelpLink(self, value: str) -> str: ...
+    @property
+    def HResult(self) -> int: ...
+    @HResult.setter
+    def HResult(self, value: int) -> int: ...
+    @property
+    def InnerException(self) -> Exception: ...
+    @property
+    def Kind(self) -> ContractFailureKind: ...
+    @property
+    def Message(self) -> str: ...
+    @property
+    def Source(self) -> str: ...
+    @Source.setter
+    def Source(self, value: str) -> str: ...
+    @property
+    def StackTrace(self) -> str: ...
+    @property
+    def TargetSite(self) -> MethodBase: ...
+    @property
+    def UserMessage(self) -> str: ...
+    def GetObjectData(self, info: SerializationInfo, context: StreamingContext) -> None: ...
+
+
+class ContractFailedEventArgs(EventArgs):
+    def __init__(self, failureKind: ContractFailureKind, message: str, condition: str, originalException: Exception) -> None: ...
+    @property
+    def Condition(self) -> str: ...
+    @property
+    def FailureKind(self) -> ContractFailureKind: ...
+    @property
+    def Handled(self) -> bool: ...
+    @property
+    def Message(self) -> str: ...
+    @property
+    def OriginalException(self) -> Exception: ...
+    @property
+    def Unwind(self) -> bool: ...
+    def SetHandled(self) -> None: ...
+    def SetUnwind(self) -> None: ...
+
+
+class ContractFailureKind(typing.SupportsInt):
+    @typing.overload
+    def __init__(self, value : int) -> None: ...
+    @typing.overload
+    def __init__(self, value : int, force_if_true: bool) -> None: ...
+    def __int__(self) -> int: ...
+    
+    # Values:
+    Precondition : ContractFailureKind # 0
+    Postcondition : ContractFailureKind # 1
+    PostconditionOnException : ContractFailureKind # 2
+    Invariant : ContractFailureKind # 3
+    Assert : ContractFailureKind # 4
+    Assume : ContractFailureKind # 5
+
+
+class ContractInvariantMethodAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ContractOptionAttribute(Attribute):
+    @typing.overload
+    def __init__(self, category: str, setting: str, enabled: bool) -> None: ...
+    @typing.overload
+    def __init__(self, category: str, setting: str, value: str) -> None: ...
+    @property
+    def Category(self) -> str: ...
+    @property
+    def Enabled(self) -> bool: ...
+    @property
+    def Setting(self) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+    @property
+    def Value(self) -> str: ...
+
+
+class ContractPublicPropertyNameAttribute(Attribute):
+    def __init__(self, name: str) -> None: ...
+    @property
+    def Name(self) -> str: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ContractReferenceAssemblyAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ContractRuntimeIgnoredAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+
+
+class ContractVerificationAttribute(Attribute):
+    def __init__(self, value: bool) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+    @property
+    def Value(self) -> bool: ...
+
+
+class PureAttribute(Attribute):
+    def __init__(self) -> None: ...
+    @property
+    def TypeId(self) -> typing.Any: ...
+

PySimultan2/typings/System/Diagnostics/SymbolStore/__init__.pyi

@@ -0,0 +1,9 @@
+import typing, abc
+from System import Guid, Array_1
+
+class ISymbolDocumentWriter(typing.Protocol):
+    @abc.abstractmethod
+    def SetCheckSum(self, algorithmId: Guid, checkSum: Array_1[int]) -> None: ...
+    @abc.abstractmethod
+    def SetSource(self, source: Array_1[int]) -> None: ...
+