## calculator-app.pkg
#
# One way to run this app from the base-directory commandline is:
#
# linux% my
# eval: make "src/lib/x-kit/tut/calculator/calculator-app.lib";
# eval: calculator_app::do_it ();
# Compiled by:
# src/lib/x-kit/tut/calculator/calculator-app.lib# This is a test driver for the calculator.
stipulate
include threadkit; # threadkit is from src/lib/src/lib/thread-kit/src/core-thread-kit/threadkit.pkg #
package xg = xgeometry; # xgeometry is from src/lib/std/2d/xgeometry.pkg package xc = xclient; # xclient is from src/lib/x-kit/xclient/xclient.pkg #
package rx = run_xkit; # run_xkit is from src/lib/x-kit/widget/lib/run-xkit.pkg #
package top = topwindow; # topwindow is from src/lib/x-kit/widget/basic/topwindow.pkg package wg = widget; # widget is from src/lib/x-kit/widget/basic/widget.pkg package wa = widget_attribute; # widget_attribute is from src/lib/x-kit/widget/lib/widget-attribute.pkg package wy = widget_style; # widget_style is from src/lib/x-kit/widget/lib/widget-style.pkg #
package cal = calculator; # calculator is from src/lib/x-kit/tut/calculator/calculator.pkg #
package xtr = xlogger; # xlogger is from src/lib/x-kit/xclient/pkg/stuff/xlogger.pkg #
tracefile = "calculator-app.trace.log";
tracing = logger::make_logtree_leaf { parent => xlogger::xkit_logging, name => "calculator_app::tracing" };
trace = xtr::log_if tracing; # Conditionally write strings to tracing.log or whatever.
#
# To debug via tracelogging, annotate the code with lines like
#
# trace .{ sprintf "foo/top: bar d=%d" bar; };
#
# and then set write_tracelog = TRUE; below.
herein
package calculator_app {
#
write_tracelog = FALSE;
stipulate
#
run_selfcheck = REF FALSE;
stipulate
selfcheck_tests_passed = REF 0;
selfcheck_tests_failed = REF 0;
herein
fun test_passed () = selfcheck_tests_passed := *selfcheck_tests_passed + 1;
fun test_failed () = selfcheck_tests_failed := *selfcheck_tests_failed + 1;
#
fun assert bool = if bool test_passed ();
else test_failed ();
fi;
#
fun test_stats ()
=
{ passed => *selfcheck_tests_passed,
failed => *selfcheck_tests_failed
};
end;
# Thread to exercise the app by simulating user
# mouseclicks and verifying their effects:
#
fun make_selfcheck_thread
{ topwindow,
widgettree,
selfcheck_interface => { buttons, display_update' }
}
=
xtr::make_thread "calculator-app selfcheck" selfcheck
where
# Figure midpoint of window and also
# a small box centered on the midpoint:
#
fun midwindow window
=
{
# Get size of drawing window:
#
(xc::get_window_site window)
->
xg::BOX { row, col, high, wide };
# Define midpoint of drawing window,
# and a 9x9 box enclosing it:
#
stipulate
row = high / 2;
col = wide / 2;
herein
midpoint = xg::POINT { row, col };
midbox = xg::BOX { row => row - 4, col => col - 4, high => 9, wide => 9 };
end;
(midpoint, midbox);
};
# Figure points just outside and inside window:
#
fun bordering_points window
=
{
# Get size of drawing window:
#
(xc::get_window_site window)
->
xg::BOX { row => in_row, col => in_col, ... };
stipulate
out_row = in_row - 1;
out_col = in_col - 1;
herein
inpoint = xg::POINT { row => in_row, col => in_col };
outpoint = xg::POINT { row => out_row, col => out_col };
end;
{ inpoint, outpoint };
};
# Simulate a mouseclick in center of window:
#
fun click_window window
=
{ button = xc::MOUSEBUTTON 1;
(midwindow window) -> ( midpoint, _);
(bordering_points window) -> { inpoint, outpoint };
xc::send_''mouse_enter''_xevent { window, point => inpoint };
xc::send_mousebutton_press_xevent { window, button, point => midpoint };
xc::send_mousebutton_release_xevent { window, button, point => midpoint };
xc::send_''mouse_leave''_xevent { window, point => outpoint };
};
fun press_button button_name
=
{
case (string_map::get (buttons, button_name))
#
NULL => test_failed (); # No button by that name -- major oops.
#
THE button
=>
{ test_passed (); # We at least found the button as expected. ;-)
widget = pushbuttons::as_widget button;
window = widget::window_of widget;
click_window window;
};
esac;
};
fun selfcheck ()
=
{ # Wait until the widgettree is realized and running:
#
get (wg::get_''gui_startup_complete''_oneshot_of widgettree);
# Evidently the above is not really sufficient;
# without the following sleep_for, the selfcheck
# run locks up about half the time with '0' showing
# on the calculator. Presumably some initialization
# race condition. This needs to be root-caused and XXX BUGGO FIXME
# fixed, but for now just sleeping a bit suffices
# as a workaround:
#
sleep_for (time::from_milliseconds 250);
# Set up access to the accumulator window contents:
#
my from_display_mailqueue: Mailqueue(String) = make_mailqueue ();
display_update' := THE from_display_mailqueue;
fun calculator_window ()
=
{
result = pull from_display_mailqueue;
result;
};
press_button "6"; assert (calculator_window() == "6");
press_button "5"; assert (calculator_window() == "65");
press_button "4"; assert (calculator_window() == "654");
press_button "+"; assert (calculator_window() == "0");
press_button "1"; assert (calculator_window() == "1");
press_button "2"; assert (calculator_window() == "12");
press_button "3"; assert (calculator_window() == "123");
press_button "="; assert (calculator_window() == "777");
# Tell calculator.pkg that we are
# done with display mailqueue:
#
display_update' := NULL; # Not really necessary, but let's be clean.
# All done -- shut everything down:
#
(xc::xsession_of_window (wg::window_of widgettree)) -> xsession;
xc::close_xsession xsession;
shut_down_thread_scheduler winix::process::success;
};
end; # fun make_selfcheck_thread
resources
=
[ "*background: gray" ];
fun calculator_app root_window
=
{ fun quit ()
=
{ wg::delete_root_window root_window;
shut_down_thread_scheduler winix::process::success;
};
style = wg::style_from_strings (root_window, resources);
name = wy::make_view
{
name => wy::style_name [],
aliases => [ wy::style_name [] ]
};
view = (name, style);
my { widgettree, selfcheck_interface }
=
cal::make_calculator (root_window, view, []);
topwindow_args
=
[ (wa::title, wa::STRING_VAL "calculator"),
(wa::icon_name, wa::STRING_VAL "calculator")
];
topwindow = top::topwindow (root_window, view, topwindow_args) widgettree;
top::start topwindow;
if *run_selfcheck
#
make_selfcheck_thread { topwindow, widgettree, selfcheck_interface };
();
fi;
();
};
herein
fun do_it' (debug_flags, server)
=
{ xlogger::init debug_flags;
rx::run_xkit'
calculator_app
{ display => THE server,
time_quantum_in_milliseconds => NULL
};
};
fun do_it ()
=
{ if write_tracelog
#
# Open tracelog file and select tracing level.
# We don't need to truncate any existing file
# because that is already done by the logic in
# src/lib/std/src/posix/winix-text-file-io-driver-for-posix.pkg #
include logger; # logger is from src/lib/src/lib/thread-kit/src/lib/logger.pkg #
set_logger_to (file::LOG_TO_FILE tracefile);
#
# enable file::all_logging; # Gross overkill.
fi;
rx::run_xkit calculator_app;
};
fun main (program, server ! _) => do_it' ([], server);
main _ => do_it ();
end;
fun selfcheck ()
=
{ run_selfcheck := TRUE;
do_it ();
test_stats ();
};
end; # stipulate
}; # package calc_test
end;
## COPYRIGHT (c) 1991 by AT&T Bell Laboratories. See COPYRIGHT file for details.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2012,
## released under Gnu Public Licence version 3.