		Search-engine friendly clone of the ACL2 documentation.

Vl-callstmt

Representation of a Verilog-2005 task enable statement, or a SystemVerilog-2012 subroutine call statement.

This is a product type, introduced by deftagsum in support of vl-stmt.

id — vl-scopeexpr: The function being called.
args — vl-maybe-exprlist: The (non-datatype) arguments to the function, in order. We use NIL here to represent any 'blank' arguments.
loc — vl-location: Location of this statement in the source code.
atts — vl-atts: Any (* foo, bar = 1*) style attributes associated with this statement.
typearg — vl-maybe-datatype: Most function calls just take expressions as arguments, in which case typearg will be nil. However, certain system functions can take a datatype argument. For instance, you can write $bits(struct { ...}). In such cases, we put that datatype here.
systemp — booleanp: Indicates that this is a system task like $display instead of a user-defined function like myclear.
voidp — booleanp: Indicates that this call was wrapped in void '(...).

This is similar to a vl-call expression.