script.h 8.44 KB
Newer Older
1 2 3 4 5 6 7
// Copyright 2017 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 V8_OBJECTS_SCRIPT_H_
#define V8_OBJECTS_SCRIPT_H_

8 9
#include <memory>

10
#include "src/base/export-template.h"
11
#include "src/objects/fixed-array.h"
12
#include "src/objects/objects.h"
13
#include "src/objects/struct.h"
14 15 16 17 18

// Has to be the last include (doesn't have include guards):
#include "src/objects/object-macros.h"

namespace v8 {
19

20 21 22
namespace internal {

// Script describes a script which has been added to the VM.
23
class Script : public Struct {
24
 public:
25 26 27 28
  // Script ID used for temporary scripts, which shouldn't be added to the
  // script list.
  static constexpr int kTemporaryScriptId = -2;

29
  NEVER_READ_ONLY_SPACE
30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47
  // Script types.
  enum Type {
    TYPE_NATIVE = 0,
    TYPE_EXTENSION = 1,
    TYPE_NORMAL = 2,
    TYPE_WASM = 3,
    TYPE_INSPECTOR = 4
  };

  // Script compilation types.
  enum CompilationType { COMPILATION_TYPE_HOST = 0, COMPILATION_TYPE_EVAL = 1 };

  // Script compilation state.
  enum CompilationState {
    COMPILATION_STATE_INITIAL = 0,
    COMPILATION_STATE_COMPILED = 1
  };

48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66
  // [source]: the script source.
  DECL_ACCESSORS(source, Object)

  // [name]: the script name.
  DECL_ACCESSORS(name, Object)

  // [id]: the script id.
  DECL_INT_ACCESSORS(id)

  // [line_offset]: script line offset in resource from where it was extracted.
  DECL_INT_ACCESSORS(line_offset)

  // [column_offset]: script column offset in resource from where it was
  // extracted.
  DECL_INT_ACCESSORS(column_offset)

  // [context_data]: context data for the context this script was compiled in.
  DECL_ACCESSORS(context_data, Object)

67 68 69
  // [type]: the script type.
  DECL_INT_ACCESSORS(type)

70 71 72
  // [line_ends]: FixedArray of line ends positions.
  DECL_ACCESSORS(line_ends, Object)

73 74
  DECL_ACCESSORS(eval_from_shared_or_wrapped_arguments, Object)

75 76
  // [eval_from_shared]: for eval scripts the shared function info for the
  // function from which eval was called.
77
  DECL_ACCESSORS(eval_from_shared, SharedFunctionInfo)
78 79

  // [wrapped_arguments]: for the list of arguments in a wrapped script.
80
  DECL_ACCESSORS(wrapped_arguments, FixedArray)
81 82 83 84 85 86 87

  // Whether the script is implicitly wrapped in a function.
  inline bool is_wrapped() const;

  // Whether the eval_from_shared field is set with a shared function info
  // for the eval site.
  inline bool has_eval_from_shared() const;
88 89 90 91 92 93 94 95

  // [eval_from_position]: the source position in the code for the function
  // from which eval was called, as positive integer. Or the code offset in the
  // code from which eval was called, as negative integer.
  DECL_INT_ACCESSORS(eval_from_position)

  // [shared_function_infos]: weak fixed array containing all shared
  // function infos created from this script.
96
  DECL_ACCESSORS(shared_function_infos, WeakFixedArray)
97

98 99 100 101 102 103 104 105 106
  // [flags]: Holds an exciting bitfield.
  DECL_INT_ACCESSORS(flags)

  // [source_url]: sourceURL from magic comment
  DECL_ACCESSORS(source_url, Object)

  // [source_mapping_url]: sourceMappingURL magic comment
  DECL_ACCESSORS(source_mapping_url, Object)

107 108
  // [wasm_breakpoint_infos]: the list of {BreakPointInfo} objects describing
  // all WebAssembly breakpoints for modules/instances managed via this script.
109
  // This must only be called if the type of this script is TYPE_WASM.
110 111
  DECL_ACCESSORS(wasm_breakpoint_infos, FixedArray)
  inline bool has_wasm_breakpoint_infos() const;
112

113 114 115 116 117
  // [wasm_native_module]: the wasm {NativeModule} this script belongs to.
  // This must only be called if the type of this script is TYPE_WASM.
  DECL_ACCESSORS(wasm_managed_native_module, Object)
  inline wasm::NativeModule* wasm_native_module() const;

118 119 120 121 122
  // [wasm_weak_instance_list]: the list of all {WasmInstanceObject} being
  // affected by breakpoints that are managed via this script.
  // This must only be called if the type of this script is TYPE_WASM.
  DECL_ACCESSORS(wasm_weak_instance_list, WeakArrayList)

123 124 125
  // [host_defined_options]: Options defined by the embedder.
  DECL_ACCESSORS(host_defined_options, FixedArray)

126 127 128 129 130 131 132 133 134 135
  // [compilation_type]: how the the script was compiled. Encoded in the
  // 'flags' field.
  inline CompilationType compilation_type();
  inline void set_compilation_type(CompilationType type);

  // [compilation_state]: determines whether the script has already been
  // compiled. Encoded in the 'flags' field.
  inline CompilationState compilation_state();
  inline void set_compilation_state(CompilationState state);

Simon Zünd's avatar
Simon Zünd committed
136 137 138 139 140
  // [is_repl_mode]: whether this script originated from a REPL via debug
  // evaluate and therefore has different semantics, e.g. re-declaring let.
  inline bool is_repl_mode() const;
  inline void set_is_repl_mode(bool value);

141 142 143 144 145 146
  // [origin_options]: optional attributes set by the embedder via ScriptOrigin,
  // and used by the embedder to make decisions about the script. V8 just passes
  // this through. Encoded in the 'flags' field.
  inline v8::ScriptOriginOptions origin_options();
  inline void set_origin_options(ScriptOriginOptions origin_options);

147 148
  DECL_CAST(Script)

149 150 151 152
  // If script source is an external string, check that the underlying
  // resource is accessible. Otherwise, always return true.
  inline bool HasValidSource();

153
  Object GetNameOrSourceURL();
154 155

  // Retrieve source position from where eval was called.
156
  static int GetEvalPosition(Isolate* isolate, Handle<Script> script);
157

158 159 160
  // Check if the script contains any Asm modules.
  bool ContainsAsmModule();

161
  // Init line_ends array with source code positions of line ends.
162
  template <typename LocalIsolate>
163
  EXPORT_TEMPLATE_DECLARE(V8_EXPORT_PRIVATE)
164
  static void InitLineEnds(LocalIsolate* isolate, Handle<Script> script);
165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187

  // Carries information about a source position.
  struct PositionInfo {
    PositionInfo() : line(-1), column(-1), line_start(-1), line_end(-1) {}

    int line;        // Zero-based line number.
    int column;      // Zero-based column number.
    int line_start;  // Position of first character in line.
    int line_end;    // Position of final linebreak character in line.
  };

  // Specifies whether to add offsets to position infos.
  enum OffsetFlag { NO_OFFSET = 0, WITH_OFFSET = 1 };

  // Retrieves information about the given position, optionally with an offset.
  // Returns false on failure, and otherwise writes into the given info object
  // on success.
  // The static method should is preferable for handlified callsites because it
  // initializes the line ends array, avoiding expensive recomputations.
  // The non-static version is not allocating and safe for unhandlified
  // callsites.
  static bool GetPositionInfo(Handle<Script> script, int position,
                              PositionInfo* info, OffsetFlag offset_flag);
188 189
  V8_EXPORT_PRIVATE bool GetPositionInfo(int position, PositionInfo* info,
                                         OffsetFlag offset_flag) const;
190

191
  bool IsUserJavaScript() const;
192 193 194 195

  // Wrappers for GetPositionInfo
  static int GetColumnNumber(Handle<Script> script, int code_offset);
  int GetColumnNumber(int code_pos) const;
196 197
  V8_EXPORT_PRIVATE static int GetLineNumber(Handle<Script> script,
                                             int code_offset);
198 199 200 201
  int GetLineNumber(int code_pos) const;

  // Look through the list of existing shared function infos to find one
  // that matches the function literal.  Return empty handle if not found.
202 203
  template <typename LocalIsolate>
  MaybeHandle<SharedFunctionInfo> FindSharedFunctionInfo(
204
      LocalIsolate* isolate, int function_literal_id);
205 206

  // Iterate over all script objects on the heap.
207
  class V8_EXPORT_PRIVATE Iterator {
208 209
   public:
    explicit Iterator(Isolate* isolate);
210
    Script Next();
211 212

   private:
213
    WeakArrayList::Iterator iterator_;
214 215 216 217
    DISALLOW_COPY_AND_ASSIGN(Iterator);
  };

  // Dispatched behavior.
218 219
  DECL_PRINTER(Script)
  DECL_VERIFIER(Script)
220

221 222 223
  DEFINE_FIELD_OFFSET_CONSTANTS(HeapObject::kHeaderSize,
                                TORQUE_GENERATED_SCRIPT_FIELDS)

224 225
 private:
  // Bit positions in the flags field.
226 227 228 229 230 231 232 233 234
  static const int kCompilationTypeBit = 0;
  static const int kCompilationStateBit = 1;
  static const int kREPLModeBit = 2;
  static const int kOriginOptionsShift = 3;
  static const int kOriginOptionsSize = 4;
  static const int kOriginOptionsMask = ((1 << kOriginOptionsSize) - 1)
                                        << kOriginOptionsShift;

  OBJECT_CONSTRUCTORS(Script, Struct);
235 236 237 238 239 240 241 242
};

}  // namespace internal
}  // namespace v8

#include "src/objects/object-macros-undef.h"

#endif  // V8_OBJECTS_SCRIPT_H_