source: azure_iot_hub_f767zi/trunk/asp_baseplatform/utils/gentest@ 457

#! /usr/bin/perl
#
#  TOPPERS Software
#      Toyohashi Open Platform for Embedded Real-Time Systems
# 
#  Copyright (C) 2007-2014 by Embedded and Real-Time Systems Laboratory
#              Graduate School of Information Science, Nagoya Univ., JAPAN
# 
#  上記著作権者
は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
#  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
#  変・再é…
å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
#  (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
#      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
#      スコード中に含まれていること．
#  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
#      用できる形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
#      者
マニュアルなど）に，上記の著作権表示，この利用条件および下記
#      の無保証規定を掲載すること．
#  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
#      用できない形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
#      と．
#    (a) 再é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
マニュアルなど）に，上記の著
#        作権表示，この利用条件および下記の無保証規定を掲載すること．
#    (b) 再é…
å¸ƒã®å½¢æ…
‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
#        å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
#  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
#      害からも，上記著作権者
およびTOPPERSプロジェクトをå…
è²¬ã™ã‚‹ã“と．
#      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
#      由に基づく請求からも，上記著作権者
およびTOPPERSプロジェクトを
#      å…
è²¬ã™ã‚‹ã“と．
# 
#  本ソフトウェアは，無保証で提供されているものである．上記著作権者
お
#  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
#  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
#  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
#  ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
# 
#  $Id$
# 

#
#               テストプログラム生成ツール
#

use open ":encoding(euc-jp)";
use encoding "euc-jp";

$infile = $ARGV[0];

%parampos = (
        "get_pri" => 2,
        "get_inf" => 1,
        "ref_tsk" => 2,
        "ref_tex" => 2,
        "ref_sem" => 2,
        "ref_flg" => 2,
        "ref_dtq" => 2,
        "ref_pdq" => 2,
        "ref_mbx" => 2,
        "ref_mtx" => 2,
        "ref_mbf" => 2,
        "ref_mpf" => 2,
        "get_tim" => 1,
        "get_utm" => 1,
        "ref_cyc" => 2,
        "ref_alm" => 2,
        "get_tid" => 1,
        "iget_tid" => 1,
        "get_ipm" => 1,
);

%paramtype = (
        "get_pri" => "PRI",
        "get_inf" => "intptr_t",
        "ref_tsk" => "T_RTSK",
        "ref_tex" => "T_RTEX",
        "ref_sem" => "T_RSEM",
        "ref_flg" => "T_RFLG",
        "ref_dtq" => "T_RDTQ",
        "ref_pdq" => "T_RPDQ",
        "ref_mbx" => "T_RMBX",
        "ref_mtx" => "T_RMTX",
        "ref_mbf" => "T_RMBF",
        "ref_mpf" => "T_RMPF",
        "get_tim" => "SYSTIM",
        "get_utm" => "SYSUTM",
        "ref_cyc" => "T_RCYC",
        "ref_alm" => "T_RALM",
        "get_tid" => "ID",
        "iget_tid" => "ID",
        "get_ipm" => "PRI",
);

$last_check_point = 0;

sub gen_var_def {
        local($svc_call) = @_;
        local($svcname, @params);
        local($typename, $varname);

        if ($svc_call =~ /^([a-z_]+)\((.*)\)$/) {
                $svcname = $1;
                @params = split(/\s*,\s*/, $2);

                if ($parampos{$svcname}) {
                        $varname = $params[@parampos{$svcname} - 1];
                        $varname =~ s/^\&//;
                        $typename = $paramtype{$svcname};
                        ${$TASKVAR{$tskid}}{$typename} = ${varname};
                }
        }
}

sub gen_svc_call {
        local($svc_call, $error_code_string) = @_;
        local($error_code);

        ${$TASKVAR{$tskid}}{"ER_UINT"} = "ercd";

        push(@{$TASKCODE{$tskid}{$tskcnt}}, sprintf("\tercd = %s;", $svc_call));
        gen_var_def($svc_call);

        if ($error_code_string eq "") {
                push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                                sprintf("\tcheck_ercd(ercd, E_OK);"), "");
        }
        elsif ($error_code_string =~ /^\-\>\s*noreturn$/) {
                push(@{$TASKCODE{$tskid}{$tskcnt}}, "");
        }
        else {
                $error_code = $error_code_string;
                $error_code =~ s/^\-\>\s*([A-Za-z0-9_]*)$/$1/;
                push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                sprintf("\tcheck_ercd(ercd, %s);", $error_code), "");
        }
}

sub parse_line {
        local($line) = @_;

        while ($line =~ s/\\$//) {
                $line1 = <INFILE>;
                $output_line .= $line1;
                chomp $line1;
                $line1 =~ s/^\s*\*\s*//;
                $line1 =~ s/\s*\/\/.*$//;
                $line1 =~ s/\s*\.\.\..*$//;
                $line .= $line1;
        }

        if ($line =~ /^\.\./) {
                # do nothing.
        }
        elsif ($line =~ /^==\s*((TASK|ALM|CPUEXC|EXTSVC)[0-9]*)(.*)$/) {
                $procflag = 1;
                $tskid = $1;
                $line2 = $3;
                if ($line2 =~ /^\-TEX(.*)$/) {
                        $tskid = $tskid."-TEX";
                        $line2 = $1;
                }
                if ($line2 =~ /^\-([0-9]+)(.*)$/) {
                        $tskcnt = $1;
                        if (!$TASKCOUNTVAR{$tskid}) {
                                if ($tskid =~ /^TASK([0-9]*)$/) {
                                        $countvar = "task$1_count";
                                }
                                elsif ($tskid =~ /^TASK([0-9]*)-TEX$/) {
                                        $countvar = "tex_task$1_count";
                                }
                                elsif ($tskid =~ /^ALM([0-9]*)$/) {
                                        $countvar = "alarm$1_count";
                                }
                                elsif ($tskid =~ /^CPUEXC([0-9]*)$/) {
                                        $countvar = "cpuexc$1_count";
                                }
                                elsif ($tskid =~ /^EXTSVC([0-9]*)$/) {
                                        $countvar = "extsvc$1_count";
                                }
                                $TASKCOUNTVAR{$tskid} = $countvar;
                        }
                }
                else {
                        $tskcnt = "";
                }
                if ($startflag) {
                        push(@{$TASKCODE{$tskid}{$tskcnt}}, "\ttest_start(__FILE__);");
                        push(@{$TASKCODE{$tskid}{$tskcnt}}, "");
                        $startflag = 0;
                }
        }
        elsif (!$procflag) {
                # do nothing.
        }
        elsif ($line =~ /^([0-9]+\:)\s*END$/) {
                $check_str = $1;
                $check_no = ++$last_check_point;
                push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                                sprintf("\tcheck_finish(%d);", $check_no));
                $procflag = 0;
                $output_line =~ s/$check_str/$check_no:/;
        }
        else {
                if ($line =~ /^([0-9]+\:)\s*(.*)/) {
                        $check_str = $1;
                        $line = $2;
                        $check_no = ++$last_check_point;
                        push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                                sprintf("\tcheck_point(%d);", $check_no));
                        $output_line =~ s/$check_str/$check_no:/;
                }
                if ($line =~ /^(assert\(.*\))$/) {
                        $assert_string = $1;
                        push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                                sprintf("\tcheck_%s;", $assert_string), "");
                }
                elsif ($line =~ /^(state(_i)?\(.*\))$/) {
                        $state_string = $1;
                        push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                                sprintf("\tcheck_%s;", $state_string), "");
                }
                elsif ($line =~ /^call\((.*)\)$/ || $line =~ /^DO\((.*)\)$/) {
                        $call_string = $1;
                        push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                                        sprintf("\t%s;", $call_string), "");
                }
                elsif ($line =~ /^MISSING$/) {
                        push(@{$TASKCODE{$tskid}{$tskcnt}}, "");
                }
                elsif ($line =~ /^RETURN((\(.*\))?)$/) {
                        $return_string = $1;
                        push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                                        "\treturn".$return_string.";", "");
                }
                elsif ($line =~ /^GOTO\((.*)\)$/) {
                        $goto_string = $1;
                        push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                                        sprintf("\tgoto %s;", $goto_string), "");
                }
                elsif ($line =~ /^LABEL\((.*)\)$/) {
                        $label_string = $1;
                        $indent_string = $indentstr;
                        $indent_string =~ s/\t$//;
                        push(@{$TASKCODE{$tskid}{$tskcnt}},
                                                                        sprintf("%s:", $label_string));
                }
                elsif ($line =~ /^([a-z_]+\(.*\))\s*(\-\>\s*[A-Za-z0-9_]*)?\s*$/) {
                        $svc_call = $1;
                        $error_code_string = $2;
                        gen_svc_call($svc_call, $error_code_string);
                }
                else {
                        print STDERR "Error: ",$line,"\n";
                }
        }
}

#
#  スクリプトファイル読込み処理
#
$procflag = 0;
$startflag = 1;
$outflag = 1;
open(INFILE, $infile) || die "Cannot open $infile";
while (($line = <INFILE>) && $outflag) {
        $output_line = $line;
        chomp $line;
        $line =~ s/^\s*\*\s*//;
        $line =~ s/\s*\/\/.*$//;
        $line =~ s/\s*\.\.\..*$//;
        if ($line) {
                parse_line($line);
        }
        print $output_line;
        if ($output_line =~ /DO NOT DELETE THIS LINE/) {
                $outflag = 0;
        }
}
close(INFILE);

#
#  タスクの変数定義のコード出力
#
sub output_task_vardef {
        my($tskid) = @_;

        foreach my $typename (keys(%{$TASKVAR{$tskid}})) {
                print "\t",$typename, (length($typename) < 4 ? "\t\t" : "\t"),
                                                                ${$TASKVAR{$tskid}}{$typename},";\n";
        }
}

#
#  タスク本体のコード出力
#
sub output_task_body {
        my($tskid) = @_;

        foreach my $tskcnt (sort {$a <=> $b} (keys(%{$TASKCODE{$tskid}}))) {
                printf "\tcase %d:\n", $tskcnt;
                foreach my $line (@{$TASKCODE{$tskid}{$tskcnt}}) {
                        print "\t",$line if ($line);
                        print "\n";
                }
                printf "\t\tcheck_point(0);\n\n";
        }
}

#
#  タスクコードの出力
#
sub output_task {
        if ($TASKCOUNTVAR{$tskid}) {
                printf "\nstatic uint_t\t%s = 0;\n", $TASKCOUNTVAR{$tskid};
        }
        if ($tskid =~ /^TASK([0-9]*)$/) {
                print "\nvoid\n";
                print "task$1(intptr_t exinf)\n";
        }
        elsif ($tskid =~ /^TASK([0-9]*)-TEX$/) {
                print "\nvoid\n";
                print "tex_task$1(TEXPTN texptn, intptr_t exinf)\n";
        }
        elsif ($tskid =~ /^ALM([0-9]*)$/) {
                print "\nvoid\n";
                print "alarm$1_handler(intptr_t exinf)\n";
        }
        elsif ($tskid =~ /^CPUEXC([0-9]*)$/) {
                print "\nvoid\n";
                print "cpuexc$1_handler(void *p_excinf)\n";
        }
        elsif ($tskid =~ /^EXTSVC([0-9]*)$/) {
                print "\nER_UINT\n";
                print "extsvc$1_routine(intptr_t par1, intptr_t par2, intptr_t par3,\n";
                print "\t\t\t\t\t\t\t\tintptr_t par4, intptr_t par5, ID cdmid)\n";
        }
        print "{\n";
        output_task_vardef($tskid);
        print "\n";
        if ($TASKCOUNTVAR{$tskid}) {
                printf "\tswitch (++%s) {\n", $TASKCOUNTVAR{$tskid};
                output_task_body($tskid);
                printf "\tdefault:\n";
                printf "\t\tcheck_point(0);\n";
                printf "\t}\n";
        }
        else {
                foreach my $line (@{$TASKCODE{$tskid}{""}}) {
                        print $line,"\n";
                }
        }
        print "\tcheck_point(0);\n";
        if ($tskid =~ /^EXTSVC([0-9]*)$/) {
                print "\treturn(E_SYS);\n";
        }
        print "}\n";
}

#
#  テストプログラム出力処理
#
foreach $tskid (sort(keys(%TASKCODE))) {
        output_task();
}