Top

Static-semantics

Var-sinfo

Fixtype of static information about variables.

This is a product type introduced by fty::defprod.

Fields

type — type
defstatus — var-defstatus

This is the information about variables needed for the static semantics. It consists of a type and a definition status.

Subtopics

Var-sinfo-fix: Fixing function for var-sinfo structures.
Var-sinfo-equiv: Basic equivalence relation for var-sinfo structures.
Make-var-sinfo: Basic constructor macro for var-sinfo structures.
Var-sinfo->defstatus: Get the defstatus field from a var-sinfo.
Change-var-sinfo: Modifying constructor for var-sinfo structures.
Var-sinfo->type: Get the type field from a var-sinfo.
Var-sinfop: Recognizer for var-sinfo structures.