| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceRangeImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceRangeImpl.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceRangeImpl.java
|
| index 812b87c5a80a9d1a95d45a2c899582739b637dc1..2d98be8e93e9c47cb1e5ead738d91524895db0b8 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceRangeImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceRangeImpl.java
|
| @@ -13,7 +13,7 @@
|
| */
|
| package com.google.dart.tools.core.internal.model;
|
|
|
| -import com.google.dart.compiler.ast.DartNode;
|
| +import com.google.dart.compiler.common.HasSourceInfo;
|
| import com.google.dart.tools.core.model.SourceRange;
|
|
|
| /**
|
| @@ -52,7 +52,7 @@ public class SourceRangeImpl implements SourceRange {
|
| *
|
| * @param the node whose source position is to be used to initialize the source range
|
| */
|
| - public SourceRangeImpl(DartNode node) {
|
| + public SourceRangeImpl(HasSourceInfo node) {
|
| this.offset = node.getSourceInfo().getOffset();
|
| this.length = node.getSourceInfo().getLength();
|
| }
|
|
|