pysertive Download pysertiveソースコードのダウンロード

pysertive

AI ソースコード

v0.0.1

ダウンロード

pysertive✔️

Pysertive ：契約による断定的なPythonデザイン（DBC）ツールキット

それは何ですか？

Pysertiveは、契約によるデザイン（DBC）の原則を実装するためのデコレーターを提供するPythonライブラリです。コードの前提条件、事後条件、および不変性の実施を簡素化します。 Pysertiveは、Pythonで安全で保守可能で堅牢なソフトウェア開発を促進し、コードの動作と制約を確保するための強力なツールになることを目指しています。

？特徴

pysertiveがうまくいくこと：

前提条件：機能入力が、実行前に定義された基準を満たしていることを確認してください。
事後条件：機能出力が実行後に予想される条件に適合することを検証します。
不変：クラスインスタンスのライフサイクル全体で特定の条件が当てはまることを保証します。

Pysertiveは、シンプルさと柔軟性を念頭に置いて設計されており、複雑なシステムのデバッグと維持に役立つ、厳密な契約チェックをPythonコードに簡単に統合できます。

？どこで入手できますか？

Pysertiveをインストールするには、PIPを使用するだけです。

pip install pysertive

クイックスタート

Pysertiveをすばやく開始する方法は次のとおりです。

 from pysertive import pre_condition , post_condition , invariant

@ pre_condition ( lambda x : x > 0 , exception_type = ValueError , message = "Input must be positive" )
def sqrt ( x ):
    return x ** 0.5

@ post_condition ( lambda result : result != None , exception_type = AssertionError , message = "Result cannot be None" )
def fetch_data ():
    return { "data" : "Here is your data" }

@ invariant ( lambda self : self . balance >= 0 , exception_type = RuntimeError , message = "Insufficient funds" )
class BankAccount :
    def __init__ ( self , balance ):
        self . balance = balance

    def deposit ( self , amount ):
        self . balance += amount

    def withdraw ( self , amount ):
        self . balance -= amount  # No need to manually check for negative balance

？使用法

前提条件を使用します

関数への入力が有効であることを確認してください：

 @ pre_condition ( lambda age : age >= 18 , exception_type = ValueError , message = "Must be 18 or older" )
def sign_contract ( age ):
    print ( f"Contract signed by individual aged { age } " )

事後条件を使用します

機能を実行した後に出力を検証します。

 @ post_condition ( lambda result : result > 0 , exception_type = AssertionError , message = "Profit must be positive" )
def calculate_profit ( revenue , costs ):
    return revenue - costs

不変剤を使用します

クラスの状態を実施したままでいます。

 @ invariant ( lambda self : self . inventory_count >= 0 , exception_type = RuntimeError , message = "Inventory count cannot be negative" )
class Warehouse :
    def __init__ ( self , inventory_count ):
        self . inventory_count = inventory_count

    def add_stock ( self , number ):
        self . inventory_count += number

    def remove_stock ( self , number ):
        self . inventory_count -= number