Skip to content

Commit

Permalink
Add Condition->trySucceed and Condition->tryFail
Browse files Browse the repository at this point in the history
  • Loading branch information
Atry committed Mar 15, 2022
1 parent 6315fec commit d643a73
Showing 1 changed file with 34 additions and 10 deletions.
44 changes: 34 additions & 10 deletions src/async/Condition.php
Original file line number Diff line number Diff line change
Expand Up @@ -21,34 +21,58 @@ class Condition<T> {
* Notify the condition variable of success and set the result.
*/
final public function succeed(T $result): void {
invariant($this->trySucceed($result), 'Unable to notify Condition twice');
}

/**
* Notify the condition variable of failure and set the exception.
*/
final public function fail(\Exception $exception): void {
invariant($this->tryFail($exception), 'Unable to notify Condition twice');
}

/**
* Notify the condition variable of success and set the $result.
*
* @return
* true if the condition is set to $result successfully, false if the
* condition was previously set to another result or exception.
*/
final public function trySucceed(T $result): bool {
if ($this->condition === null) {
$this->condition = async {
return $result;
};
return true;
} else {
invariant(
$this->condition is ConditionWaitHandle<_>,
'Unable to notify AsyncCondition twice',
);
if (!($this->condition is ConditionWaitHandle<_>)) {
return false;
}
/* HH_FIXME[4110]: Type error revealed by type-safe instanceof feature. See https://fburl.com/instanceof */
$this->condition->succeed($result);
return true;
}
}

/**
* Notify the condition variable of failure and set the exception.
* Notify the condition variable of failure and set the $exception.
*
* @return
* true if the condition is set to $exception successfully, false if the
* condition was previously set to another result or exception.
*/
final public function fail(\Exception $exception): void {
final public function tryFail(\Exception $exception): bool {
if ($this->condition === null) {
$this->condition = async {
throw $exception;
};
return true;
} else {
invariant(
$this->condition is ConditionWaitHandle<_>,
'Unable to notify AsyncCondition twice',
);
if (!($this->condition is ConditionWaitHandle<_>)) {
return false;
}
$this->condition->fail($exception);
return true;
}
}

Expand Down

0 comments on commit d643a73

Please sign in to comment.