| // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| part of models; |
| |
| abstract class ScriptRef extends ObjectRef { |
| /// The uri from which this script was loaded. |
| String get uri; |
| } |
| |
| abstract class Script extends Object implements ScriptRef { |
| /// The library which owns this script. |
| LibraryRef get library; |
| |
| /// The source code for this script. For certain built-in scripts, |
| /// this may be reconstructed without source comments. |
| String get source; |
| |
| DateTime get loadTime; |
| int get firstTokenPos; |
| int get lastTokenPos; |
| int get lineOffset; |
| int get columnOffset; |
| |
| int tokenToLine(int token); |
| int tokenToCol(int token); |
| } |