jianglk.darker
7ee447c011
|
4 months ago | |
---|---|---|
.. | ||
NeuralNetworksTypes.t | 4 months ago | |
OperandTypes.t | 4 months ago | |
OperationTypes.t | 4 months ago | |
README.md | 4 months ago | |
Types.t | 4 months ago | |
generate_api.py | 4 months ago | |
generate_api.sh | 4 months ago | |
types.spec | 4 months ago |
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 asTypes.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