Top

Identifiers

Programid

Fixtype of program IDs.

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

Fields

name — identifier
network — identifier

A program ID consists of a name and a network, both identifiers. Requirements on the network are expressed elsewhere, not in the abstract syntax.

Subtopics

Programid-fix: Fixing function for programid structures.
Programid-equiv: Basic equivalence relation for programid structures.
Make-programid: Basic constructor macro for programid structures.
Programid->network: Get the network field from a programid.
Change-programid: Modifying constructor for programid structures.
Programidp: Recognizer for programid structures.
Programid->name: Get the name field from a programid.