Index: runtime/vm/object.h |
diff --git a/runtime/vm/object.h b/runtime/vm/object.h |
index 61a8051b8ebcba5e3b76764371117ce469bb924f..a21534f7aa9d5bfb70709842830b9b57c74389d2 100644 |
--- a/runtime/vm/object.h |
+++ b/runtime/vm/object.h |
@@ -3555,6 +3555,12 @@ class Script : public Object { |
void set_line_starts(const Array& value) const; |
+ void set_tokens_seen(const Array& value) const; |
Kevin Millikin (Google)
2017/01/24 13:44:13
I don't really like the name. They're not tokens,
jensj
2017/01/25 12:52:22
Done.
|
+ |
+ void set_yields_seen(const Array& value) const; |
+ |
+ RawArray* yields_seen() const { return raw_ptr()->yields_seen_; } |
+ |
void Tokenize(const String& private_key, bool use_shared_tokens = true) const; |
RawLibrary* FindLibrary() const; |
@@ -3605,6 +3611,7 @@ class Script : public Object { |
void set_load_timestamp(int64_t value) const; |
void set_tokens(const TokenStream& value) const; |
RawArray* line_starts() const { return raw_ptr()->line_starts_; } |
+ RawArray* tokens_seen() const { return raw_ptr()->tokens_seen_; } |
static RawScript* New(); |