Rotate about a specific point

Question

I have a script that creates geologic map symbols, positions them, and rotates them into their proper orientation.  However, I do not know how to rotate about a specific point (not the center of the group). The portion of script in question is:
if (dlg.symbol.bedding.value) {
var myLine = stGroup.pathItems.add();
myLine.stroked = true;
myLine.setEntirePath([[posx,posy],[posx+3,posy]]);
myLine.strokeWidth = .75;
var myLine = stGroup.pathItems.add();
myLine.setEntirePath([[posx,posy - 6.75],[posx,posy + 6.75]]);
myLine.stroked = true;
myLine.strokeWidth = .75;
stGroup.rotate(-azi);
and I wish to rotate around the point [posx, posy].  How do I accomplish this?

Answer 1

Thanks!  That worked.  For future reference, here's the modified section of script:
if (dlg.symbol.bedding.value) {
var myLine = stGroup.pathItems.add();
myLine.stroked = true;
myLine.setEntirePath([[posx,posy],[posx+3,posy]]);
myLine.strokeWidth = .75;
var myLine = stGroup.pathItems.add();
myLine.setEntirePath([[posx,posy - 6.75],[posx,posy + 6.75]]);
myLine.stroked = true;
myLine.strokeWidth = .75;
mapDoc.theOrigin = mapDoc.rulerOrigin;
mapDoc.rulerOrigin = [posx,posy];
stGroup.rotate(-azi, undefined,undefined,undefined,undefined,Transformation.DOCUMENTORIGIN);
mapDoc.rulerOrigin = mapDoc.theOrigin;
Another parameter in the rotate method to specify a rotation point would be nice.  Still, this works just fine, so no complaints from me.