Package io.matita08.value
package io.matita08.value
Value system package for the CPU simulator.
This package provides a comprehensive value representation system that handles different data types and states within the CPU simulation. The package implements a hierarchy of value types that can represent both defined and undefined states, supporting various arithmetic operations and conversions.
Core Components:
Value- Abstract base class defining the common interfaceSingleValue- Concrete single-word values with sign interpretationDoubleValue- Multi-word values for extended addressingUndefinedSingleValue- Simulates uninitialized single valuesUndefinedDoubleValue- Simulates uninitialized double values
Key Features:
- Type Safety: Strong typing with runtime type checking
- Undefined State Simulation: Realistic simulation of uninitialized memory
- Flexible Arithmetic: Support for signed/unsigned arithmetic operations
- Address Scaling: Automatic adaptation to different address sizes
- Random Behavior: Undefined values exhibit non-deterministic behavior
The value system is designed to help identify programming errors by simulating the unpredictable behavior of uninitialized memory, while providing efficient arithmetic operations for defined values.
- Since:
- 1.0
-
ClassesClassDescriptionConcrete implementation of Value representing a multi-word value.Concrete implementation of Value representing a single-word value.Concrete implementation of Value representing an undefined multi-word value.Concrete implementation of Value representing an undefined single-word value.Abstract base class representing a value in the CPU simulator.