		Search-engine friendly clone of the ACL2 documentation.

Annotate

Port-resolve

Tricky post-parsing code to get all the ports straightened out.

BOZO document me. See the long comment in port-resolve.lisp.

Subtopics

Vl-modulelist-resolve-nonansi-interfaceports: (vl-modulelist-resolve-nonansi-interfaceports x ss) maps vl-module-resolve-nonansi-interfaceports across a list.
Vl-interfacelist-resolve-nonansi-interfaceports: (vl-interfacelist-resolve-nonansi-interfaceports x ss) maps vl-interface-resolve-nonansi-interfaceports across a list.
Vl-ansi-portdecl-resolve: Turns an ANSI portdecl into a real port, (possible) portdecl, and (possible) vardecl.
Vl-interfacelist-resolve-ansi-portdecls: (vl-interfacelist-resolve-ansi-portdecls x ss) maps vl-interface-resolve-ansi-portdecls across a list.
Vl-modulelist-resolve-ansi-portdecls: (vl-modulelist-resolve-ansi-portdecls x ss) maps vl-module-resolve-ansi-portdecls across a list.
Vl-ansi-portdecl-to-regularport: Assumes x was NOT just a plain identifier (or we are in the erroneous case where it was a plain identifier, but there was no previous port to base it on.) Type and nettype info comes from x itself; only the direction may come from the previous port.
Vl-ansi-portdecl-to-regularport-from-previous-regularport: Assumes that x was just a plain variable, so it inherits all its info from the previous port.
Vl-resolve-ansi-portdecls
Vl-nettype-for-parsed-ansi-port: Determine the net type to use for a port.
Vl-loaditems-remove-interfaceport-decls
Vl-vardecl-is-really-interfaceport
Vl-name-is-interface-or-type: Looks up x in the scopestack to see if it looks like an interface or type name. Warns if the result was ambiguous.
Vl-interface/type-warn-about-unexpected-lookup
Vl-interface-resolve-nonansi-interfaceports
Vl-module-resolve-nonansi-interfaceports
Vl-ports-resolve-interfaces
Vl-interface-resolve-ansi-portdecls
Vl-module-resolve-ansi-portdecls
Vl-ansi-portdecl-consistency-check
Vl-design-resolve-nonansi-interfaceports
Vl-ansi-portdecl-to-interfaceport
Vl-ansi-portdecl-regularport-type
Vl-design-resolve-ansi-portdecls