Removed unused declarations.
This commit is contained in:
parent
5cf07d1198
commit
1000524e35
@ -701,11 +701,6 @@ public final class Encoder implements ActualParameterVisitor<Frame, Integer>,
|
|||||||
writeTableDetails(routineDeclaration);
|
writeTableDetails(routineDeclaration);
|
||||||
}
|
}
|
||||||
|
|
||||||
private final void elaborateStdRoutine(Declaration routineDeclaration, int routineOffset) {
|
|
||||||
routineDeclaration.entity = new KnownRoutine(Machine.closureSize, 0, routineOffset);
|
|
||||||
writeTableDetails(routineDeclaration);
|
|
||||||
}
|
|
||||||
|
|
||||||
private final void elaborateStdEnvironment() {
|
private final void elaborateStdEnvironment() {
|
||||||
tableDetailsReqd = false;
|
tableDetailsReqd = false;
|
||||||
elaborateStdConst(StdEnvironment.falseDecl, Machine.falseRep);
|
elaborateStdConst(StdEnvironment.falseDecl, Machine.falseRep);
|
||||||
|
@ -45,7 +45,6 @@ public class DrawingTree {
|
|||||||
}
|
}
|
||||||
|
|
||||||
private final int FIXED_FONT_HEIGHT = 10;
|
private final int FIXED_FONT_HEIGHT = 10;
|
||||||
private final int FIXED_FONT_ASCENT = 3;
|
|
||||||
private final Color nodeColor = new Color(250, 220, 100);
|
private final Color nodeColor = new Color(250, 220, 100);
|
||||||
|
|
||||||
public void paint(Graphics graphics) {
|
public void paint(Graphics graphics) {
|
||||||
|
Reference in New Issue
Block a user