Gecko [ www.jdcpatala.org ]

Name	Size	Permission
cppgc	[ DIR ]	drwxr-xr-x
libplatform	[ DIR ]	drwxr-xr-x
openssl	[ DIR ]	drwxr-xr-x
uv	[ DIR ]	drwxr-xr-x
common.gypi	23.29 KB	-rw-r--r--
config.gypi	26.68 KB	-rw-r--r--
js_native_api.h	31.22 KB	-rw-r--r--
js_native_api_types.h	4.44 KB	-rw-r--r--
node.h	64.5 KB	-rw-r--r--
node_api.h	9.96 KB	-rw-r--r--
node_api_types.h	1.57 KB	-rw-r--r--
node_buffer.h	3.6 KB	-rw-r--r--
node_object_wrap.h	3.78 KB	-rw-r--r--
node_version.h	4.08 KB	-rw-r--r--
uv.h	67.74 KB	-rw-r--r--
v8-array-buffer.h	17.45 KB	-rw-r--r--
v8-callbacks.h	15.03 KB	-rw-r--r--
v8-container.h	3.4 KB	-rw-r--r--
v8-context.h	16.13 KB	-rw-r--r--
v8-cppgc.h	7.46 KB	-rw-r--r--
v8-data.h	1.58 KB	-rw-r--r--
v8-date.h	1.19 KB	-rw-r--r--
v8-debug.h	5.04 KB	-rw-r--r--
v8-embedder-heap.h	1.9 KB	-rw-r--r--
v8-embedder-state-scope.h	1.51 KB	-rw-r--r--
v8-exception.h	6.98 KB	-rw-r--r--
v8-extension.h	1.83 KB	-rw-r--r--
v8-external.h	924 B	-rw-r--r--
v8-forward.h	1.62 KB	-rw-r--r--
v8-function-callback.h	15.87 KB	-rw-r--r--
v8-function.h	4.24 KB	-rw-r--r--
v8-initialization.h	10.23 KB	-rw-r--r--
v8-internal.h	39.18 KB	-rw-r--r--
v8-isolate.h	60.97 KB	-rw-r--r--
v8-json.h	1.32 KB	-rw-r--r--
v8-local-handle.h	14.98 KB	-rw-r--r--
v8-locker.h	3.86 KB	-rw-r--r--
v8-maybe.h	4.47 KB	-rw-r--r--
v8-memory-span.h	1.25 KB	-rw-r--r--
v8-message.h	6.29 KB	-rw-r--r--
v8-microtask-queue.h	4.95 KB	-rw-r--r--
v8-microtask.h	861 B	-rw-r--r--
v8-object.h	28.51 KB	-rw-r--r--
v8-persistent-handle.h	18.7 KB	-rw-r--r--
v8-platform.h	41.37 KB	-rw-r--r--
v8-primitive-object.h	2.53 KB	-rw-r--r--
v8-primitive.h	27.65 KB	-rw-r--r--
v8-profiler.h	40.16 KB	-rw-r--r--
v8-promise.h	5.17 KB	-rw-r--r--
v8-proxy.h	1.23 KB	-rw-r--r--
v8-regexp.h	3.1 KB	-rw-r--r--
v8-script.h	28.08 KB	-rw-r--r--
v8-snapshot.h	6.97 KB	-rw-r--r--
v8-statistics.h	6.8 KB	-rw-r--r--
v8-template.h	37.42 KB	-rw-r--r--
v8-traced-handle.h	11.85 KB	-rw-r--r--
v8-typed-array.h	8.06 KB	-rw-r--r--
v8-unwinder.h	4.63 KB	-rw-r--r--
v8-value-serializer.h	10.09 KB	-rw-r--r--
v8-value.h	13.45 KB	-rw-r--r--
v8-version.h	772 B	-rw-r--r--
v8-wasm.h	6 KB	-rw-r--r--
v8-weak-callback-info.h	2.41 KB	-rw-r--r--
v8.h	3.69 KB	-rw-r--r--
v8config.h	31.61 KB	-rw-r--r--
zconf.h	16.77 KB	-rw-r--r--
zlib.h	95.08 KB	-rw-r--r--

Code Editor : v8-maybe.h

// Copyright 2021 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef INCLUDE_V8_MAYBE_H_
#define INCLUDE_V8_MAYBE_H_

#include <type_traits>
#include <utility>

#include "v8-internal.h"  // NOLINT(build/include_directory)
#include "v8config.h"     // NOLINT(build/include_directory)

namespace v8 {

namespace api_internal {
// Called when ToChecked is called on an empty Maybe.
V8_EXPORT void FromJustIsNothing();
}  // namespace api_internal

/**
 * A simple Maybe type, representing an object which may or may not have a
 * value, see https://hackage.haskell.org/package/base/docs/Data-Maybe.html.
 *
 * If an API method returns a Maybe<>, the API method can potentially fail
 * either because an exception is thrown, or because an exception is pending,
 * e.g. because a previous API call threw an exception that hasn't been caught
 * yet, or because a TerminateExecution exception was thrown. In that case, a
 * "Nothing" value is returned.
 */
template <class T>
class Maybe {
 public:
 V8_INLINE bool IsNothing() const { return !has_value_; }
 V8_INLINE bool IsJust() const { return has_value_; }

/**
 * An alias for |FromJust|. Will crash if the Maybe<> is nothing.
 */
 V8_INLINE T ToChecked() const { return FromJust(); }

/**
   * Short-hand for ToChecked(), which doesn't return a value. To be used, where
   * the actual value of the Maybe is not needed like Object::Set.
   */
  V8_INLINE void Check() const {
    if (V8_UNLIKELY(!IsJust())) api_internal::FromJustIsNothing();
  }

/**
 * Converts this Maybe<> to a value of type T. If this Maybe<> is
 * nothing (empty), |false| is returned and |out| is left untouched.
 */
 V8_WARN_UNUSED_RESULT V8_INLINE bool To(T* out) const {
 if (V8_LIKELY(IsJust())) *out = value_;
 return IsJust();
 }

/**
 * Converts this Maybe<> to a value of type T. If this Maybe<> is
 * nothing (empty), V8 will crash the process.
 */
 V8_INLINE T FromJust() const& {
 if (V8_UNLIKELY(!IsJust())) api_internal::FromJustIsNothing();
 return value_;
 }

/**
 * Converts this Maybe<> to a value of type T. If this Maybe<> is
 * nothing (empty), V8 will crash the process.
 */
 V8_INLINE T FromJust() && {
 if (V8_UNLIKELY(!IsJust())) api_internal::FromJustIsNothing();
 return std::move(value_);
 }

/**
 * Converts this Maybe<> to a value of type T, using a default value if this
 * Maybe<> is nothing (empty).
 */
 V8_INLINE T FromMaybe(const T& default_value) const {
 return has_value_ ? value_ : default_value;
 }

V8_INLINE bool operator==(const Maybe& other) const {
    return (IsJust() == other.IsJust()) &&
           (!IsJust() || FromJust() == other.FromJust());
  }

V8_INLINE bool operator!=(const Maybe& other) const {
    return !operator==(other);
  }

private:
  Maybe() : has_value_(false) {}
  explicit Maybe(const T& t) : has_value_(true), value_(t) {}
  explicit Maybe(T&& t) : has_value_(true), value_(std::move(t)) {}

bool has_value_;
  T value_;

template <class U>
 friend Maybe Nothing();
 template <class U>
 friend Maybe Just(const U& u);
 template <class U, std::enable_if_t<!std::is_lvalue_reference_v>*>
 friend Maybe Just(U&& u);
};

template <class T>
inline Maybe<T> Nothing() {
 return Maybe<T>();
}

template <class T>
inline Maybe<T> Just(const T& t) {
 return Maybe<T>(t);
}

// Don't use forwarding references here but instead use two overloads.
// Forwarding references only work when type deduction takes place, which is not
// the case for callsites such as Just<Type>(t).
template <class T, std::enable_if_t<!std::is_lvalue_reference_v<T>>* = nullptr>
inline Maybe<T> Just(T&& t) {
 return Maybe<T>(std::move(t));
}

// A template specialization of Maybe<T> for the case of T = void.
template <>
class Maybe<void> {
 public:
 V8_INLINE bool IsNothing() const { return !is_valid_; }
 V8_INLINE bool IsJust() const { return is_valid_; }

V8_INLINE bool operator==(const Maybe& other) const {
    return IsJust() == other.IsJust();
  }

V8_INLINE bool operator!=(const Maybe& other) const {
    return !operator==(other);
  }

private:
  struct JustTag {};

Maybe() : is_valid_(false) {}
  explicit Maybe(JustTag) : is_valid_(true) {}

bool is_valid_;

template <class U>
 friend Maybe Nothing();
 friend Maybe<void> JustVoid();
};

inline Maybe<void> JustVoid() { return Maybe<void>(Maybe<void>::JustTag()); }

}  // namespace v8

#endif  // INCLUDE_V8_MAYBE_H_

${this.title}

Code Editor : v8-maybe.h