📄 layoutvisitor.java
字号:
public Object visitEmptyActualParameterSequence(EmptyActualParameterSequence ast, Object obj) {
return layoutNullary("EmptyA.P.S.");
}
public Object visitMultipleActualParameterSequence(MultipleActualParameterSequence ast, Object obj) {
return layoutBinary("Mult.A.P.S.", ast.AP, ast.APS);
}
public Object visitSingleActualParameterSequence(SingleActualParameterSequence ast, Object obj) {
return layoutUnary("Sing.A.P.S.", ast.AP);
}
// Type Denoters
public Object visitAnyTypeDenoter(AnyTypeDenoter ast, Object obj) {
return layoutNullary("any");
}
public Object visitArrayTypeDenoter(ArrayTypeDenoter ast, Object obj) {
return layoutBinary("ArrayTypeD.", ast.IL, ast.T);
}
public Object visitBoolTypeDenoter(BoolTypeDenoter ast, Object obj) {
return layoutNullary("bool");
}
public Object visitCharTypeDenoter(CharTypeDenoter ast, Object obj) {
return layoutNullary("char");
}
public Object visitErrorTypeDenoter(ErrorTypeDenoter ast, Object obj) {
return layoutNullary("error");
}
public Object visitSimpleTypeDenoter(SimpleTypeDenoter ast, Object obj) {
return layoutUnary("Sim.TypeD.", ast.I);
}
public Object visitIntTypeDenoter(IntTypeDenoter ast, Object obj) {
return layoutNullary("int");
}
public Object visitRecordTypeDenoter(RecordTypeDenoter ast, Object obj) {
return layoutUnary("Rec.TypeD.", ast.FT);
}
public Object visitMultipleFieldTypeDenoter(MultipleFieldTypeDenoter ast, Object obj) {
return layoutTernary("Mult.F.TypeD.", ast.I, ast.T, ast.FT);
}
public Object visitSingleFieldTypeDenoter(SingleFieldTypeDenoter ast, Object obj) {
return layoutBinary("Sing.F.TypeD.", ast.I, ast.T);
}
// Literals, Identifiers and Operators
public Object visitCharacterLiteral(CharacterLiteral ast, Object obj) {
return layoutNullary(ast.spelling);
}
public Object visitIdentifier(Identifier ast, Object obj) {
return layoutNullary(ast.spelling);
}
public Object visitIntegerLiteral(IntegerLiteral ast, Object obj) {
return layoutNullary(ast.spelling);
}
public Object visitOperator(Operator ast, Object obj) {
return layoutNullary(ast.spelling);
}
// Value-or-variable names
public Object visitDotVname(DotVname ast, Object obj) {
return layoutBinary("DotVname", ast.I, ast.V);
}
public Object visitSimpleVname(SimpleVname ast, Object obj) {
return layoutUnary("Sim.Vname", ast.I);
}
public Object visitSubscriptVname(SubscriptVname ast, Object obj) {
return layoutBinary("Sub.Vname",
ast.V, ast.E);
}
// Programs
public Object visitProgram(Program ast, Object obj) {
return layoutUnary("Program", ast.C);
}
private DrawingTree layoutCaption (String name) {
int w = fontMetrics.stringWidth(name) + 4;
int h = fontMetrics.getHeight() + 4;
return new DrawingTree(name, w, h);
}
private DrawingTree layoutNullary (String name) {
DrawingTree dt = layoutCaption(name);
dt.contour.upper_tail = new Polyline(0, dt.height + 2 * BORDER, null);
dt.contour.upper_head = dt.contour.upper_tail;
dt.contour.lower_tail = new Polyline(-dt.width - 2 * BORDER, 0, null);
dt.contour.lower_head = new Polyline(0, dt.height + 2 * BORDER, dt.contour.lower_tail);
return dt;
}
private DrawingTree layoutUnary (String name, AST child1) {
DrawingTree dt = layoutCaption(name);
DrawingTree d1 = (DrawingTree) child1.visit(this, null);
dt.setChildren(new DrawingTree[] {d1});
attachParent(dt, join(dt));
return dt;
}
private DrawingTree layoutBinary (String name, AST child1, AST child2) {
DrawingTree dt = layoutCaption(name);
DrawingTree d1 = (DrawingTree) child1.visit(this, null);
DrawingTree d2 = (DrawingTree) child2.visit(this, null);
dt.setChildren(new DrawingTree[] {d1, d2});
attachParent(dt, join(dt));
return dt;
}
private DrawingTree layoutTernary (String name, AST child1, AST child2,
AST child3) {
DrawingTree dt = layoutCaption(name);
DrawingTree d1 = (DrawingTree) child1.visit(this, null);
DrawingTree d2 = (DrawingTree) child2.visit(this, null);
DrawingTree d3 = (DrawingTree) child3.visit(this, null);
dt.setChildren(new DrawingTree[] {d1, d2, d3});
attachParent(dt, join(dt));
return dt;
}
private DrawingTree layoutQuaternary (String name, AST child1, AST child2,
AST child3, AST child4) {
DrawingTree dt = layoutCaption(name);
DrawingTree d1 = (DrawingTree) child1.visit(this, null);
DrawingTree d2 = (DrawingTree) child2.visit(this, null);
DrawingTree d3 = (DrawingTree) child3.visit(this, null);
DrawingTree d4 = (DrawingTree) child4.visit(this, null);
dt.setChildren(new DrawingTree[] {d1, d2, d3, d4});
attachParent(dt, join(dt));
return dt;
}
private void attachParent(DrawingTree dt, int w) {
int y = PARENT_SEP;
int x2 = (w - dt.width) / 2 - BORDER;
int x1 = x2 + dt.width + 2 * BORDER - w;
dt.children[0].offset.y = y + dt.height;
dt.children[0].offset.x = x1;
dt.contour.upper_head = new Polyline(0, dt.height,
new Polyline(x1, y, dt.contour.upper_head));
dt.contour.lower_head = new Polyline(0, dt.height,
new Polyline(x2, y, dt.contour.lower_head));
}
private int join (DrawingTree dt) {
int w, sum;
dt.contour = dt.children[0].contour;
sum = w = dt.children[0].width + 2 * BORDER;
for (int i = 1; i < dt.children.length; i++) {
int d = merge(dt.contour, dt.children[i].contour);
dt.children[i].offset.x = d + w;
dt.children[i].offset.y = 0;
w = dt.children[i].width + 2 * BORDER;
sum += d + w;
}
return sum;
}
private int merge(Polygon c1, Polygon c2) {
int x, y, total, d;
Polyline lower, upper, b;
x = y = total = 0;
upper = c1.lower_head;
lower = c2.upper_head;
while (lower != null && upper != null) {
d = offset(x, y, lower.dx, lower.dy, upper.dx, upper.dy);
x += d;
total += d;
if (y + lower.dy <= upper.dy) {
x += lower.dx;
y += lower.dy;
lower = lower.link;
} else {
x -= upper.dx;
y -= upper.dy;
upper = upper.link;
}
}
if (lower != null) {
b = bridge(c1.upper_tail, 0, 0, lower, x, y);
c1.upper_tail = (b.link != null) ? c2.upper_tail : b;
c1.lower_tail = c2.lower_tail;
} else {
b = bridge(c2.lower_tail, x, y, upper, 0, 0);
if (b.link == null) {
c1.lower_tail = b;
}
}
c1.lower_head = c2.lower_head;
return total;
}
private int offset (int p1, int p2, int a1, int a2, int b1, int b2) {
int d, s, t;
if (b2 <= p2 || p2 + a2 <= 0) {
return 0;
}
t = b2 * a1 - a2 * b1;
if (t > 0) {
if (p2 < 0) {
s = p2 * a1;
d = s / a2 - p1;
} else if (p2 > 0) {
s = p2 * b1;
d = s / b2 - p1;
} else {
d = -p1;
}
} else if (b2 < p2 + a2) {
s = (b2 - p2) * a1;
d = b1 - (p1 + s / a2);
} else if (b2 > p2 + a2) {
s = (a2 + p2) * b1;
d = s / b2 - (p1 + a1);
} else {
d = b1 - (p1 + a1);
}
if (d > 0) {
return d;
} else {
return 0;
}
}
private Polyline bridge (Polyline line1, int x1, int y1,
Polyline line2, int x2, int y2) {
int dy, dx, s;
Polyline r;
dy = y2 + line2.dy - y1;
if (line2.dy == 0) {
dx = line2.dx;
} else {
s = dy * line2.dx;
dx = s / line2.dy;
}
r = new Polyline(dx, dy, line2.link);
line1.link = new Polyline(x2 + line2.dx - dx - x1, 0, r);
return r;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -