From ef626c24f22d8b202229a549809eea808963229a Mon Sep 17 00:00:00 2001 From: "Michael D. Lowis" Date: Fri, 20 Sep 2019 16:37:21 -0400 Subject: [PATCH] added ada notes --- Ada Notes.html | 205 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 205 insertions(+) create mode 100644 Ada Notes.html diff --git a/Ada Notes.html b/Ada Notes.html new file mode 100644 index 0000000..c209969 --- /dev/null +++ b/Ada Notes.html @@ -0,0 +1,205 @@ + + + + Ada Notes + + + + +
+ +

Ada Links

https://learn.adacore.com/courses/intro-to-ada/chapters/strongly_typed_language.html
http://www.ada-auth.org/standards/ada12.html

Types System

  • Integers are defined as "ranges" of values to specify size and signedness
  • Floats are defined as "digits" to specify minimum precision and size
  • Enumerations define a set of symbols that hold no integral value, only symbolic
  • Booleans are defined as an enumeration with special semantics
  • Derived types
  • Subtypes
type_definition := enum_def | int_def | real_def | array_def | record_def | access_def | derived_def | interface_def + +enum_def := '(' symbol { ',' symbol } ')' + +int_def := range_spec + | 'mod' static_expr + +real_def := 'digits' static_simple_expr { range_spec } + +array_def := + +record_def := + +access_def := + +derived_def := + +interface_def := + +# Miscellaneous +symbol := <ident> | <char-lit> +range_spec := 'range' static_simple_expr '..' static_simple_expr +static_expr := +static_simple_expr := + +

+
+ + + + \ No newline at end of file -- 2.52.0