1 11 package org.eclipse.jdt.internal.core.util; 12 13 import org.eclipse.jdt.core.compiler.CategorizedProblem; 14 import org.eclipse.jdt.internal.compiler.CompilationResult; 15 16 20 public class RecordedParsingInformation { 21 public CategorizedProblem[] problems; 22 public int problemsCount; 23 public int[] lineEnds; 24 public int[][] commentPositions; 25 26 public RecordedParsingInformation(CategorizedProblem[] problems, int[] lineEnds, int[][] commentPositions) { 27 this.problems = problems; 28 this.lineEnds = lineEnds; 29 this.commentPositions = commentPositions; 30 this.problemsCount = problems != null ? problems.length : 0; 31 } 32 33 void updateRecordedParsingInformation(CompilationResult compilationResult) { 34 if (compilationResult.problems != null) { 35 this.problems = compilationResult.problems; 36 this.problemsCount = this.problems.length; 37 } 38 } 39 } 40 | Popular Tags |