-- $Source: /commtar/monoBANK/CICS_INTF/tkc_b.ada,v $ 
-- $Revision: 1.2 $ $Date: 88/03/22 11:17:47 $ $Author: chris $ 
with CICS_test_reporter; use CICS_test_reporter;
with Task_control_testing_utility; use Task_control_testing_utility;
with CICS_task_control; use CICS_task_control;
with CICS_exceptions; use CICS_exceptions;
-----------------
procedure tkc_b_1
-----------------
is
    use Shared_data_pkg;
    package SD renames Shared_data;
    X : Buffer_type := "?!";
begin
    Start_module("tkc_b_1", "Raise Program_error");
     
    declare
    begin
	Start_test("tkc_b_1_a","Raise Program_error by linking");
	Link(Program=>"gibberish");
	Fail_test;
    exception
	when Program_id_error => Pass_test;
	when Others => unexpected_exception("undocumented exception");
    end;
     
    declare
    begin
	Start_test("tkc_b_1_b","Raise Program_error by linking " &
	    "(with comm_area)");
	SD.Link(Program=>"gibberish", Comm_area=>X, Length=>X'length);
	Fail_test;
    exception
	when Program_id_error => Pass_test;
	when Others => unexpected_exception("undocumented exception");
    end;
     
    declare
    begin
	Start_test("tkc_b_1_c","Raise Program_error by transferring");
	Transfer_control(Program=>"gibberish");
	Fail_test;
    exception
	when Program_id_error => Pass_test;
	when Others => unexpected_exception("undocumented exception");
    end;
     
    declare
    begin
	Start_test("tkc_b_1_d","Raise Program_error by transferring " &
	    "(with comm_area)");
	SD.Transfer_control(Program=>"gibberish", Comm_area=>X,
	    Length=>X'length);
	Fail_test;
    exception
	when Program_id_error => Pass_test;
	when Others => unexpected_exception("undocumented exception");
    end;
    End_module;
exception
    when Others => unexpected_exception("undocumented exception");
end;
     
     
     
     
     
     
     
     
     
with CICS_test_reporter; use CICS_test_reporter;
with Task_control_testing_utility; use Task_control_testing_utility;
with CICS_task_control; use CICS_task_control;
with CICS_exceptions; use CICS_exceptions;
-----------------
procedure tkc_b_2
------------------
is
    Resource : resource_spec(1..1) := "R";
begin
    Start_module("tkc_b_2", "Enqueue more than once");
    Start_test("tkc_b_2_a","Issue 2 Enqueues followed by 2 Dequeues");
    Enqueue(Resource=>"R");
    Enqueue(Resource=>"R");
    Dequeue(Resource=>"R");
    Dequeue(Resource=>"R");
    Pass_test;
    End_module;
exception
    when Enqueue_busy => unexpected_exception("Enqueue_busy"); End_Module;
    when Others => unexpected_exception("undocumented exception"); End_module;
end;