diff options
Diffstat (limited to 'src/synth/elab-vhdl_expr.ads')
| -rw-r--r-- | src/synth/elab-vhdl_expr.ads | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/synth/elab-vhdl_expr.ads b/src/synth/elab-vhdl_expr.ads index 6427a5de7..8f78faa7a 100644 --- a/src/synth/elab-vhdl_expr.ads +++ b/src/synth/elab-vhdl_expr.ads @@ -38,36 +38,10 @@ package Elab.Vhdl_Expr is function Exec_Type_Of_Object (Syn_Inst : Synth_Instance_Acc; Expr : Node) return Type_Acc; - procedure Exec_Assignment_Prefix (Syn_Inst : Synth_Instance_Acc; - Pfx : Node; - Dest_Base : out Valtyp; - Dest_Typ : out Type_Acc; - Dest_Off : out Value_Offsets); - - function Exec_Name (Syn_Inst : Synth_Instance_Acc; Name : Node) - return Valtyp; - -- Get the type of NAME. No expressions are expected to be evaluated. function Exec_Name_Subtype (Syn_Inst : Synth_Instance_Acc; Name : Node) return Type_Acc; - -- Synthesize EXPR. The expression must be self-constrained. - -- If EN is not No_Net, the execution is controlled by EN. This is used - -- for assertions and checks. - function Exec_Expression - (Syn_Inst : Synth_Instance_Acc; Expr : Node) return Valtyp; - - -- Same as Synth_Expression, but the expression may be constrained by - -- EXPR_TYPE. - function Exec_Expression_With_Type (Syn_Inst : Synth_Instance_Acc; - Expr : Node; - Expr_Type : Type_Acc) return Valtyp; - - -- Use base type of EXPR to synthesize EXPR. Useful when the type of - -- EXPR is defined by itself or a range. - function Exec_Expression_With_Basetype (Syn_Inst : Synth_Instance_Acc; - Expr : Node) return Valtyp; - -- Subtype conversion. function Exec_Subtype_Conversion (Vt : Valtyp; Dtype : Type_Acc; |