io7m
com.io7m.jpra
0.7.0-SNAPSHOT
3.3. import
3. Statements - Packages
4. Statements - Types
Previous
Up
Next
3.4
package-end
3.4.1. Syntax
3.4.2. Description
3.4.3. Semantics
3.4.1
Syntax
3.4.1.1. package-end Syntax
package_end = (package-end)
3.4.2
Description
1
The
package-end
statement completes the definition of a package.
3.4.3
Semantics
1
The
package-end
statement completes the definition of the
current package
and adds it to the schema context. The statement unsets the
current package
in the schema context.
2
If a
package-end
statement
i
is evaluated when no
current package
is set, then
i
is rejected with an error.
Previous
Up
Next
3.3. import
3. Statements - Packages
4. Statements - Types