Code generation for querying an active state of a model

摘要

A device may receive information that identifies a model of a finite state machine. The model may include information that identifies a group of leaf states. The group of leaf states may include states of the model with no child states. The device may determine, based on the information that identifies the model, a set of variables required to store information that identifies an active state of the model. The device may determine a numbering scheme for encoding the group of leaf states. The numbering scheme may be based on the set of variables. The device may encode the group of leaf states based on the numbering scheme. Encoding the group of leaf states may include generating and storing information indicating an association between a leaf state and a value.

主权项

1. A device, comprising:
memory; and one or more processors, in communication with the memory, executing instructions to:
receive information that identifies a model of a finite state machine,
the model including information that identifies a plurality of leaf states,
the plurality of leaf states including states of the model that have no child states;determine, based on the information that identifies the model, one or more variables for storing information that identifies an active state of the model;determine a numbering scheme for encoding the plurality of leaf states,
the numbering scheme being based on the one or more variables; andencode the plurality of leaf states based on the numbering scheme,
wherein encoding the plurality of leaf states comprises generating and storing information indicating an association between a leaf state and a value.