| Index: pkg/analysis_server/doc/api.html
|
| diff --git a/pkg/analysis_server/doc/api.html b/pkg/analysis_server/doc/api.html
|
| index d5a60b718e1caa9ae295f7ffc212ee3630fa51e5..0a606275e9829cd7dda58ac30695b6192693e507 100644
|
| --- a/pkg/analysis_server/doc/api.html
|
| +++ b/pkg/analysis_server/doc/api.html
|
| @@ -2821,6 +2821,15 @@ dt.typeDefinition {
|
| <p>
|
| The file containing the code to be modified.
|
| </p>
|
| + </dd><dt class="field"><b><i>fileStamp ( long )</i></b></dt><dd>
|
| +
|
| + <p>
|
| + The modification stamp of the file at the moment when the change
|
| + was created, in milliseconds since the "Unix epoch". Maybe -1 if
|
| + the file did not exist and should be created. The client may use
|
| + this field to make sure that the file was not changed since then,
|
| + so it is safe to apply the change.
|
| + </p>
|
| </dd><dt class="field"><b><i>edits ( List<<a href="#type_SourceEdit">SourceEdit</a>> )</i></b></dt><dd>
|
|
|
| <p>
|
|
|