Warning: session_start(): open(/var/lib/php/sessions/sess_olbkcmp2l6rl3u1ps2d305qq0q, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sclass ScaledDiagram { settable int w = 600; settable int h = 400; settable int horizontalMargin = 10; settable int verticalMargin = 10; settable DoubleRange horizontalRange; settable DoubleRange verticalRange; // Ranges in pixels that we can paint in (image size minus margins) DoubleRange xRange() { ret doubleRange(horizontalMargin, w-horizontalMargin); } DoubleRange yRange() { ret doubleRange(h-verticalMargin, verticalMargin); } double xToScreen(double x) { ret transformBetweenDoubleRanges(x, horizontalRange(), xRange()); } double yToScreen(double y) { ret transformBetweenDoubleRanges(y, verticalRange(), yRange()); } double xToScreen_int(double x) { ret iround(xToScreen(x)); } double yToScreen_int(double y) { ret iround(yToScreen(y)); } double xFromScreen(double x) { ret transformBetweenDoubleRanges(x, xRange(), horizontalRange()); } double yFromScreen(double y) { ret transformBetweenDoubleRanges(y, yRange(), verticalRange()); } public int getWidth() { ret w; } public int getHeight() { ret h; } bool hasScale() { ret horizontalRange != null && verticalRange != null; } }