class AssertionSucceeded

final class AssertionSucceeded implements Event {
    private readonly Telemetry\Info $telemetryInfo;
    private readonly string $value;
    private readonly string $constraint;
    private readonly int $count;
    private readonly string $message;
    public function __construct(Telemetry\Info $telemetryInfo, string $value, string $constraint, int $count, string $message) {
        $this->telemetryInfo = $telemetryInfo;
        $this->value = $value;
        $this->constraint = $constraint;
        $this->count = $count;
        $this->message = $message;
    }
    public function telemetryInfo() : Telemetry\Info {
        return $this->telemetryInfo;
    }
    public function value() : string {
        return $this->value;
    }
    public function count() : int {
        return $this->count;
    }
    public function message() : string {
        return $this->message;
    }
    public function asString() : string {
        $message = '';
        if (!empty($this->message)) {
            $message = sprintf(', Message: %s', $this->message);
        }
        return sprintf('Assertion Succeeded (Constraint: %s, Value: %s%s)', $this->constraint, $this->value, $message);
    }

}