Как задокументировать условие getextent post

---

/**
	 * Initializes this shape group with the given shape.
	 * @creates | xarray
	 * @creates | yarray
	 * @mutates | this
	 * @post | getShape() == shape
	 * @post | getExtent() == Extent.ofLeftTopRightBottom(xarray[0], yarray[0], xarray[xarray.length - 1], yarray[yarray.length - 1])
	 * @post | getOriginalExtent() == Extent.ofLeftTopRightBottom(xarray[0], yarray[0], xarray[xarray.length - 1], yarray[yarray.length - 1])
	 * 
	 */
	public ShapeGroup(RoundedPolygon shape) {
		this.poly = shape;
		IntPoint[] calculateExtent = poly.getVertices();
		
		int[] xarray = new int [calculateExtent.length];
		for (int i = 0; i < calculateExtent.length; i++) {
			xarray[i] = calculateExtent[i].getX();
		}
		Arrays.sort(xarray);
		
		int[] yarray = new int [calculateExtent.length];
		for (int i = 0; i < calculateExtent.length; i++) {
			yarray[i] = calculateExtent[i].getY();
		}
		Arrays.sort(yarray);

		extent = Extent.ofLeftTopRightBottom(xarray[0], yarray[0],
				xarray[xarray.length - 1], yarray[yarray.length - 1]);
		original = Extent.ofLeftTopRightBottom(xarray[0], yarray[0],
				xarray[xarray.length - 1], yarray[yarray.length - 1]);
	}

Что я уже пробовал:

Мы хотим документировать этот конструктор, но наш компилятор документации не позволяет использовать xarray и yarray в документации. Как мы можем решить эту проблему, не меняя наш код?

Наш компилятор документации не допускает локальных переменных в документации. Нам нужен способ выразить то же самое значение для getExtent с помощью Extent.ofLTRB только с параметрами и переменными класса. ofLTRB создает экстент определенной формы, используя левую, верхнюю, правую и нижнюю линии, используемые для формирования прямоугольника, содержащего эту форму.

---