tree: 08ad1518f5c9ac6046b3935a751f73fd92a22097 [path history] [tgz]
  1. generate_api.py
  2. generate_api.sh
  3. NeuralNetworksTypes.t
  4. OperandTypes.t
  5. OperationTypes.t
  6. README.md
  7. types.spec
  8. Types.t
tools/api/README.md

API File Generation

There are certain pieces of NeuralNetworksTypes.h, Types.h, OperandTypes.h, OperationTypes.h, and of our various *.hal files that ought to be kept in sync -- most notably the operand type and operation type definitions and descriptions. To avoid having to do this manually, a tool generate_api.py is employed to combine a single specification file with one template file per API file (NeuralNetworksTypes.h, Types.h, OperandTypes.h, OperationTypes.h, or types.hal) to produce that API file. The script generate_api.sh invokes generate_api.py once per API file, passing appropriate arguments.

generate_api.sh

The environment variable ANDROID_BUILD_TOP must be set.

Invoked with no arguments or with the --mode=update argument, this script regenerates each API file in place, by invoking generate_api.py once per generated file.

Invoked with the --mode=hook argument, this script checks whether NeuralNetworksTypes.h, Types.h, OperandTypes.h, or OperationTypes.h needs to be regenerated.

When the --dryrun argument is present, this script shows how it would invoke generate_api.py but does not actually regenerate files or check whether they need to be regenerated.

generate_api.py

This tool generates a single output file from an input specification file and an input template file. It takes the following mandatory arguments:

  • --output OUTPUT path to generated output file (such as Types.h)
  • --specification SPECIFICATION path to input specification file
  • --template TEMPLATE path to input template file
  • --kind KIND token identifying kind of file to generate

The “kind” is an arbitrary token that the specification file can reference with the %kind directive to help generate different text in different situations. It has no meaning to the tool itself. Today, the following kinds are used: ndk (when generating NeuralNetworksTypes.h), canonical (when generating Types.h, OperandTypes.h, and OperationTypes.h), hal_1.0 (when generating 1.0/types.hal), hal_1.1, hal_1.2, and hal_1.3.

Template File Syntax

Every line of the template file is copied verbatim to the output file unless that line begins with %.

A line that begins with %% is a comment, and is ignored.

A line that begins with % and is not a comment is a directive.

Directives

%insert *name*

Copy the section with the specified name from the specification file to the output file. The section is defined by a %section directive in the specification file.

%insert-indented *count* *name*

Similar to %insert *name*, but each non-empty copied line is prefixed with count space characters. count must be a non-negative integer.

Specification File Syntax

The specification file consists of comments, directives, and other text.

A line that begins with %% is a comment, and is ignored.

A line that begins with % and is not a comment is a directive.

The meaning of a line that is neither a comment nor a directive depends on the context -- the region in which that line appears.

Regions

The specification file is divided into regions, which are sequences of lines delimited by certain directives.

Certain regions can enclose certain other regions, but this is very limited:

  • A conditional region can enclose a section region.
  • A section region can enclose a conditional region.

Equivalently:

  • A conditional region can be enclosed by a section region.
  • A section region can be enclosed by a conditional region.

null region

A null region is a sequence of lines that is not part of any other region. For example, a specification file that contains no directives other than %define and %define-kinds consists of a single null region.

Within a null region, all lines other than directives are treated as comments and are ignored.

conditional region

A conditional region is a sequence of lines immediately preceded by the %kind *list* directive and immediately followed by the %/kind directive. The %kind directive establishes a condition state on or off (see the description of the directive for details). When the condition is on, the lines in the region are processed normally (i.e., directives have their usual effect, and non-directive lines are added to the enclosing section region, if any). When the condition is off, lines in the region other than the %else directive are ignored except that even ignored directives undergo some level of syntactic and semantic checking.

section region

A section region is a sequence of lines immediately preceded by the %section *name* directive and immediately followed by the %/section directive. Every line in the sequence that doesn‘t begin with % undergoes macro substitution, and the resulting lines are associated with the section name. They can be inserted into the generated output file as directed by the template file’s %insert and %insert-indented directives. They can be added to another section region with the with the specification file's %insert and %insert-indented directives.

This is the mechanism by which a specification file contributes text to the generated output file.

Directives

%define *name* *body*

Defines a macro identified by the token name. The body is separated from the name by exactly one whitespace character, and extends to the end of the line -- it may contain whitespace itself. For example,

%define test this body begins and ends with a space character

Macro substitution occurs within a section region: a substring %{*name*} is replaced with the corresponding body. Macro substitution is not recursive: A substring %{*name2*} in body will not undergo macro substitution, except as discussed for macro arguments below.

Permitted in regions: null, conditional, section

macro arguments

The more general form of a macro invocation is %{*name* *arglist*}, where arglist is a list of whitespace-separated arguments. Within the body, a substring of the form %{argnum} will be replaced by the corresponding argument from arglist. For example, if the definition is

%define test second is %{2}, first is %{1}

then the macro invocation

%{test alpha beta}

is expanded to

second is beta, first is alpha

The only check on the number of arguments supplied at macro invocation time is that there must be at least as many arguments as the highest %{argnum} reference in the macro body. In the example above, %{test alpha} would be an error, but %{test alpha beta gamma} would not.

%insert *name*

Adds all lines from the named section region to the current section region.

Permitted in regions: section

%insert-indented *count* *name*

Similar to %insert *name*, but each non-empty added line is prefixed with count space characters. count must be a non-negative integer.

Permitted in regions: section

%kind *list*, %else, %/kind

%kind *list* creates a conditional region terminated by %/kind.

The list consists of a space-delimited list of tokens, any of which may end in * to indicate a wildcard pattern or + to indicate a lowest version pattern. Any other pattern is a simple pattern. The condition is on in three cases:

  • One of the simple pattern tokens equals the “kind”
  • One of the wildcard pattern tokens less the * is a prefix of the “kind”
  • One of the lowest version pattern tokens less the + matches the “kind” or the “kind” matches any token to the right from the lowest version pattern in the list passed to %define-kinds

In all other cases, the condition is off.

Within the region, the condition is inverted every time the %else directive appears.

Permitted in regions: null, section

%define-kinds *list*

This directive has two purposes:

  • Validity-checking. If the “kind” is not on the space-delimited list of tokens, generate_api.py terminates with an error.
  • Ordering the possible kinds for the lowest version pattern (see the section above for the explanation of the pattern).

Only one such directive is allowed per specification file.

Permitted in regions: null, section

%section *name*, %/section

%section *name* creates a section region terminated by %/section.

Permitted in regions: null, conditional