saealib.core.ComponentContract

class saealib.core.ComponentContract(*, ports=<factory>, required_services=(), parts=(), lifecycle=<factory>, state=<factory>, execution=<factory>, assumptions=<factory>)

Bases: object

Declare a component’s ports, services, parts, and sub-contracts.

Parameters:

• ports (Mapping[str, PortContract])

• required_services (tuple[ServiceRequirement, ...])

• parts (tuple[PartSpec, ...])

• lifecycle (LifecycleContract)

• state (StateContract)

• execution (ExecutionContract)

• assumptions (AssumptionSet)

Methods

__init__

Method Details

ComponentContract.__init__(*, ports=<factory>, required_services=(), parts=(), lifecycle=<factory>, state=<factory>, execution=<factory>, assumptions=<factory>)

Parameters:

• ports (Mapping[str, PortContract])

• required_services (tuple[ServiceRequirement, ...])

• parts (tuple[PartSpec, ...])

• lifecycle (LifecycleContract)

• state (StateContract)

• execution (ExecutionContract)

• assumptions (AssumptionSet)

Return type:

None