Use 'int' instead of Position.

compiler/java/com/google/dart/compiler/DartCompilationError.java

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file

[Brian Wilkerson, 2012/07/12 15:35:11]

nit: copyright year

 // 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.
 
 package com.google.dart.compiler;
 
 import com.google.dart.compiler.common.HasSourceInfo;
 import com.google.dart.compiler.common.SourceInfo;
 import com.google.dart.compiler.parser.DartScanner.Location;
-import com.google.dart.compiler.parser.DartScanner.Position;
 
 /**
  * Information about a compilation error.
  * 
  * @see DartCompilerListener
  */
 public class DartCompilationError {
 
   /**
    * The character offset from the beginning of the source (zero based) where the error occurred.
@@ skipping 81 matching lines @@
    * @param arguments the arguments used to build the error message
    */
   public DartCompilationError(Source source,
       Location location,
       ErrorCode errorCode,
       Object... arguments) {
     this.source = source;
     this.errorCode = errorCode;
     this.message = String.format(errorCode.getMessage(), arguments);
     if (location != null) {
-      Position begin = location.getBegin();
-      if (begin != null) {
-        offset = begin.getPos();
-        lineNumber = begin.getLine();
-        columnNumber = begin.getCol();
-      }
-      Position end = location.getEnd();
-      if (end != null) {
-        length = end.getPos() - offset;
-        if (length < 0) {
-          length = 0;
-        }
-      }
+      offset = location.getBegin();
+      SourceInfo sourceInfo = new SourceInfo(source, offset, 0);
+      lineNumber = sourceInfo.getLine();
+      columnNumber = sourceInfo.getColumn();
+      length = location.getEnd() - offset;
     }
   }
 
   /**
    * The column number in the source (one based) where the error occurred.
    */
   public int getColumnNumber() {
     return columnNumber;
   }
 
@@ skipping 56 matching lines @@
 
   @Override
   public String toString() {
     StringBuilder sb = new StringBuilder();
     sb.append((source != null) ? source.getName() : "<unknown source>");
     sb.append("(" + lineNumber + ":" + columnNumber + "): ");
     sb.append(message);
     return sb.toString();
   }
 }