Java IDocument.getLineInformation方法代碼示例

import org.eclipse.jface.text.IDocument; //導入方法依賴的package包/類
public static List<LoadItem> getLoadsFromDoc(IDocument document)
    throws IOException, BadLocationException, IndexOutOfBoundsException, TraceException {
  List<LoadItem> loads = new ArrayList<>();
  HashMap<String, Integer> aliasLines =
      getPartitionsLinesByType(document, MetaModelPartitionScanner.META_MODEL_LOADALIAS);
  for (String alias : aliasLines.keySet()) {
    String modelPath = "/", instancePath = "/";
    int aliasOffset = aliasLines.get(alias);
    alias = alias.substring(alias.indexOf("@") + 1);
    for (int i = 1; i <= 2; i++) {
      IRegion lineInfo = document.getLineInformation(aliasOffset + i);
      String line = document.get(lineInfo.getOffset(), lineInfo.getLength());
      if (line.toLowerCase().contains("[email protected]")) {
        modelPath = line.substring(line.indexOf("@") + 1);
      } else if (line.toLowerCase().contains("[email protected]")) {
        instancePath = line.substring(line.indexOf("@") + 1);
      }
    }
    LoadItem load = new LoadItem(alias, modelPath, instancePath);
    loads.add(load);
  }
  return loads;
}
 

import org.eclipse.jface.text.IDocument; //導入方法依賴的package包/類
/**
 * Validate 'insert_final_newline' if needed and update the given set of marker.
 *
 * @param document
 *            the document to validate
 * @param remainingMarkers
 *            set of markers to update.
 * @throws BadLocationException
 */
private void validateInsertFinalNewline(IDocument document, Set<IMarker> remainingMarkers)
		throws BadLocationException {
	boolean insertFinalNewline = preferenceStore.getBoolean(EDITOR_INSERT_FINAL_NEWLINE);
	if (!insertFinalNewline) {
		return;
	}
	// Check if there are an empty line at the end of the document.
	if (document.getLength() == 0) {
		return;
	}
	int line = document.getNumberOfLines() - 1;
	IRegion region = document.getLineInformation(line);
	if (region.getLength() > 0) {
		int end = region.getOffset() + region.getLength();
		int start = end - 1;
		addOrUpdateMarker(start, end, insertFinalNewlineType, document, remainingMarkers);
	}
}
 

import org.eclipse.jface.text.IDocument; //導入方法依賴的package包/類
/**
 * Tente de créer un inspecteur de déclaration KSP si la ligne en contient une.
 * 
 * @param file Fichier KSP.
 * @param document Document du fichier.
 * @param lineIdx Index en base zéro de la ligne du document.
 * @return Inspecteur si présence de déclaration KSP, <code>null</code> sinon.
 */
public static KspDeclarationChecker extractChecker(IFile file, IDocument document, int lineIdx) {
	try {
		/* Extrait la ligne du document. */
		IRegion lineInformation = document.getLineInformation(lineIdx);
		String lineContent = document.get(lineInformation.getOffset(), lineInformation.getLength());

		/* Extrait une déclaration KSP. */
		KspDeclarationMainParts declarationParts = KspStringUtils.getVertigoKspDeclarationParts(lineContent);
		if (declarationParts != null) {
			/* Calcule la région du nom de la déclaration KSP */
			String name = declarationParts.getConstantCaseName();
			int fullNameLineOffSet = lineContent.indexOf(name);
			int taskNameOffSet = lineInformation.getOffset() + fullNameLineOffSet;

			/* Vérifie qu'on est dans une région standard */
			/* Permet d'ignorer le contenu des string et des commentaires KSP. */
			if (!DocumentUtils.isContentType(document, taskNameOffSet, KspRegionType.DEFAULT)) {
				return null;
			}

			/* Retourne un inspecteur */
			return new KspDeclarationChecker(document, file);
		}
	} catch (BadLocationException e) {
		ErrorUtils.handle(e);
	}

	/* Pas de déclaration KSP : on retourne null */
	return null;
}
 

import org.eclipse.jface.text.IDocument; //導入方法依賴的package包/類
/**
 * Returns character offsets from line numbers from JFace Text Document object.
 */
private static int[] getStartEndOffsetFromXML(final XMLStreamReader streamReader,
    final IFile file, final EventMemento memento, final EventMemento current) {
  final int[] offsetStartEnd = new int[2];
  try {
    String charsetName = streamReader.getCharacterEncodingScheme();
    if (charsetName == null) {
      charsetName = "UTF-8";
    }
    final Scanner scanner = new Scanner(file.getContents(), charsetName);
    final IDocument document = new Document(scanner.useDelimiter("\\A").next());
    scanner.close();

    int start = 0;
    int end = 0;

    final IRegion startRegion = document.getLineInformation(memento.getLineNumber() - 1);
    start = startRegion.getOffset() + memento.getColumnNumber() - 2;
    final IRegion endRegion = document.getLineInformation(current.getLineNumber());
    end = endRegion.getOffset() - 1;

    offsetStartEnd[0] = start;
    offsetStartEnd[1] = end;

  } catch (final BadLocationException e1) {
    // e1.printStackTrace();
    System.out
        .println(e1.toString() + " --> in MarkerFactory's getStartEndOffsetFromXML function");
  } catch (final CoreException e) {
    e.printStackTrace();
  }
  return offsetStartEnd;
}
 

import org.eclipse.jface.text.IDocument; //導入方法依賴的package包/類
/**
 * Validate 'trim_trailing_whitespace' of the lines where region changed if
 * needed and update the given set of marker.
 *
 * @param partition
 *            the region which changed
 * @param remainingMarkers
 *            set of markers to update.
 * @throws BadLocationException
 */
private void validateTrimTrailingWhiteSpace(IDocument document, IRegion partition, Set<IMarker> remainingMarkers)
		throws BadLocationException, CoreException {
	boolean trimTrailingWhiteSpace = preferenceStore.getBoolean(EDITOR_TRIM_TRAILING_WHITESPACE);
	if (!trimTrailingWhiteSpace) {
		return;
	}
	int startLine = document.getLineOfOffset(partition.getOffset());
	int endLine = document.getLineOfOffset(partition.getOffset() + partition.getLength());

	IRegion region = null;
	for (int i = startLine; i < endLine + 1; i++) {
		region = document.getLineInformation(i);
		if (region.getLength() == 0)
			continue;
		int lineStart = region.getOffset();
		int lineExclusiveEnd = lineStart + region.getLength();
		int j = lineExclusiveEnd - 1;
		while (j >= lineStart && Character.isWhitespace(document.getChar(j)))
			--j;
		++j;
		if (j < lineExclusiveEnd) {
			addOrUpdateMarker(j, lineExclusiveEnd, trimTrailingWhitespaceType, document, remainingMarkers);
		}
	}
	if (region != null) {
		for (IMarker marker : new HashSet<>(remainingMarkers)) {
			if (MarkerUtils.getOptionType(marker) == trimTrailingWhitespaceType) {
				int line = MarkerUtilities.getLineNumber(marker) + 1;
				if (line < startLine || line > endLine) {
					remainingMarkers.remove(marker);
				}
			}
		}
	}
}