Project

General

Profile

Revision 21b75edb

View differences:

src/backends/VHDL/vhdl_ast_deriving.ml
3057 3057
            { label = alabel; cond = acond; report = areport;
3058 3058
              severity = aseverity }
3059 3059
            ->
3060
            (Format.fprintf fmt "@[<2>Assert {@,";
3061
             ((((Format.fprintf fmt "@[%s =@ " "label";
3062
                 ((__14 ()) fmt) alabel;
3063
                 Format.fprintf fmt "@]");
3064
                Format.fprintf fmt ";@ ";
3065
                Format.fprintf fmt "@[%s =@ " "cond";
3066
                ((__15 ()) fmt) acond;
3067
                Format.fprintf fmt "@]");
3068
               Format.fprintf fmt ";@ ";
3069
               Format.fprintf fmt "@[%s =@ " "report";
3070
               ((__16 ()) fmt) areport;
3071
               Format.fprintf fmt "@]");
3072
              Format.fprintf fmt ";@ ";
3073
              Format.fprintf fmt "@[%s =@ " "severity";
3074
              ((__17 ()) fmt) aseverity;
3075
              Format.fprintf fmt "@]");
3076
             Format.fprintf fmt "@]}")
3060
            Format.fprintf fmt "@[<v 2>";
3061
            (match alabel with
3062
              | NoName -> Format.fprintf fmt "";
3063
              | _ -> (((__14 ()) fmt) alabel;
3064
                     Format.fprintf fmt ":@ ")
3065
            );
3066
            Format.fprintf fmt "assert ";
3067
            ((__15 ()) fmt) acond;
3068
            (match areport with
3069
            | IsNull -> Format.fprintf fmt "";
3070
            | _ -> 
3071
                Format.fprintf fmt "@;report ";
3072
                ((__16 ()) fmt) areport);
3073
            (match aseverity with
3074
            | IsNull -> Format.fprintf fmt "";
3075
            | _ -> 
3076
                Format.fprintf fmt "@;severity ";
3077
                ((__17 ()) fmt) aseverity);
3078
            Format.fprintf fmt "@]";
3077 3079
        | ProcedureCall { label = alabel; name = aname; assocs = aassocs } ->
3078 3080
            (match alabel with
3079 3081
              | NoName -> Format.fprintf fmt "";

Also available in: Unified diff