pysertive Download- pysertive 소스 코드 다운로드

pysertive

AI 소스 코드

v0.0.1

다운로드

pysertive ✔️

PYSERTIVE : 계약 (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