CloneSet2254

plugins/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/JavaAutoIndentStrategy.java

plugins/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/SmartSemicolonAutoEditStrategy.java

        /**
         * Checks whether <code>position</code> resides in a default (Java) partition of <code>document</code>.
         *
         * @param document the document being modified
         * @param position the position to be checked
         * @param partitioning the document partitioning
         * @return <code>true</code> if <code>position</code> is in the default partition of <code>document</code>, <code>false</code> otherwise
         */
        private static boolean isDefaultPartition(IDocument document, int position, String partitioning) {
                Assert.isTrue(position >= 0);
                Assert.isTrue(position <= document.getLength());

                try {
                        ITypedRegion region = TextUtilities.getPartition(document, partitioning, position, false);
                        return region.getType().equals(IDocument.DEFAULT_CONTENT_TYPE);
                }
                  catch (BadLocationException e) {
                  }

                return false;
        }

        /**
         * Checks whether <code>position</code> resides in a default (Java) partition of <code>document</code>.
         *
         * @param document the document being modified
         * @param position the position to be checked
         * @param partitioning the document partitioning
         * @return <code>true</code> if <code>position</code> is in the default partition of <code>document</code>, <code>false</code> otherwise
         */
        private static boolean isDefaultPartition(IDocument document, int position, String partitioning) {
                Assert.isTrue(position >= 0);
                Assert.isTrue(position <= document.getLength());

                try {
                        // don't use getPartition2 since we're interested in the scanned character's partition
                        ITypedRegion region = TextUtilities.getPartition(document, partitioning, position, false);
                        return region.getType().equals(IDocument.DEFAULT_CONTENT_TYPE);
                }
                  catch (BadLocationException e) {
                  }

                return false;
        }

/**
         * Checks whether <code>position</code> resides in a default (Java) partition of <code>document</code>.
         *
         * @param document the document being modified
         * @param position the position to be checked
         * @param partitioning the document partitioning
         * @return <code>true</code> if <code>position</code> is in the default partition of <code>document</code>, <code>false</code> otherwise
         */
private static boolean isDefaultPartition(IDocument document, int position, String partitioning) {
  Assert.isTrue(position >= 0);
  Assert.isTrue(position <= document.getLength());
  try {
    // don't use getPartition2 since we're interested in the scanned character's partition
    ITypedRegion region = TextUtilities.getPartition(document, partitioning, position, false);
    return region.getType().equals(IDocument.DEFAULT_CONTENT_TYPE);
  }
  catch (BadLocationException e) {
  }
  return false;
}