.tgt.docexample.list_of_integers
-
Name
-
list_of_integers
-
Description
-
A kind with no formal properties. In this example, I am not
specifying anything about this kind. It is to be understood from its
name and context what it means. More specifications can be added later
as a system description evolves.
.tgt.docexample.example_kind
-
Name
-
example_kind
-
Synopsis
-
- Methods
- m_noargs()
- m_returns() -> example_kind
- m_one(a
:
int+)
- m_opt( [a
:
int+ [b:
string+]])
- m_alt( alt:[a
:
int+ or a:
string+ or a:
list+])
- m_repeat( 0..*:a
:
int+ 2..4:b:
string+)
- m_draw_keywords( draw:[
a
= int+ , b
= int+ , c
= string+])
- range( alt:[stop
:
int+ or seq:[start:
int+ , stop:
int+ , [step:
int+]]]) -> list_of_integers
- Attribute
- a_nokind
:
anything
-
Description
-
A kind specifying some example attributes and methods.
-
Methods
- m_noargs()
-
A method that takes no arguments, and returns an unspecified kind.
- m_returns() -> example_kind
- A method which returns objects of kind example_kind again.
- m_one(a
:
int+)
- A method with one argument.
-
- Argument
-
- a
:
int+
- A positional argument of kind int+. The int+ kind is a so called superkind
because an API with this specification,
is expected to accept values according to the specification of
int+, but it is allowed to accept other kinds of arguments as well. A
compatible
new specification could add these alternative kinds of
arguments as allowed arguments, but it would still have to accept the
int+ kind of argument.
-
- Note
- The + in the int+ name is a convention to indicate that it is a superkind.
-
- Note
- The name of the argument, a, does
not
mean that it can be specified as a keyword argument with that
name. It is only when keyword arguments are specifically specified
that they are actually keyword arguments.
- m_opt( [a
:
int+ [b:
string+]])
-
A method with optional arguments. Square brackets without a
preceding modifier means that the contents is optional. So in this
case, either no argument must be given, or if one argument is given it
is a, or if two arguments are given, it is a and b in that order.
-
- m_alt( alt:[a
:
int+ or a:
string+ or a:
list+])
-
A method with alternative arguments.
An
alt:
before the bracket is a modifier that means that there is a
choice of alternatives. The argument is required and should be either
an int+, string+ or list+.
-
- Argument
-
- a
:
int+
- Description for an int argument.
- a
:
string+
- Description for a string argument.
- a
:
list+
-
Description for a list argument.
- m_repeat( 0..*:a
:
int+ 2..4:b:
string+)
-
A method with repeated arguments.
A modifier
m..n:
before the argument, where m and n are integers, means an
argument that may be repeated at least m times and at most n
times. Instead of n, * may be specified and means any number of times.
-
- Arguments
-
- a
:
int+
-
This argument may be repeated any number of times as long as
it is of of kind int+.
- b
:
string+
-
The final arguments must be of kind string+ and be repeated 2,
3 or 4 times.
- m_draw_keywords( draw:[
a
= int+ , b
= int+ , c
= string+])
- A method with optional keyword arguments.
- The modifier
draw:
means to 'draw' any combination of arguments from within the
brackets. Keyword arguments by them self would not be optional, but
would be mandatory, in the current specification system.
-
- range( alt:[stop
:
int+ or seq:[start:
int+ , stop:
int+ , [step:
int+]]]) -> list_of_integers
-
A method combining different argument specifications.
- The modifier
seq
means arguments that are specified by the sequence
of arguments within the following brackets.
Create a range of numbers.
-
- Arguments
-
- start
:
int+
- The first value of the range.
-
- Default: 0
- Starts with first value.
- stop
:
int+
- The value just beyond the last value of the range.
- step
:
int+
- Positive or negative, steps values up or down.
-
- Default: 1
-
- Returns
a list containing an arithmetic progression of integers.
-
Attribute
- a_nokind
:
anything
-
-
An attribute named a_nokind, with unspecified kind.
Generated by
GSL-HTML 3.1.4.post1 on Thu Dec 12 00:19:50 2024