Unit Description
Authors
Class Diagram
classDiagram
prod_range --> production
prod_range *-- prod_range_config_t
class prod_range{ }
class prod_range_config_t{
char* key
int lower_bound
int upper_bound
}
class production{<<interface>>}
Interfaces
Libraries
None
Functionality
Public Structures
Configuration Structure
The configuration structure contains the data needed for computing the positivity of an input WPTT.
This includes:
- A pointer to a read-only notation structure for a WPTT.
Public Functions
Function
The configuration function sets the local configuration variable of the computation.
This process is described in the following state machines:
stateDiagram-v2
state "Initialize local configuration" as Sc
[*] --> Sc
Sc --> [*]
Validation
Resolve Function
Positive Tests
Valid Configuration
A valid configuration for the production is passed to the function.
Inputs:
- A valid configuration with:
- Upper == Lower
- Lower \(<\) Upper
Expected Output:
A positive response and correct string.
Negative Tests
Bad Configuration
An invalid configuration for the production is passed to the function.
Inputs:
- A null string.
- Upper \(<\) Lower
Expected Output:
A negative response.
[!test-card] "Null Configuration"
A null configuration for the production is passed to the function.
Inputs:
- A null configuration
Expected Output:
A negative response.
Terminate Function
The terminate function calls the resolve function directly