From: Michael D. Lowis Date: Fri, 20 Sep 2019 20:37:21 +0000 (-0400) Subject: added ada notes X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=ef626c24f22d8b202229a549809eea808963229a;p=proto%2Fsclpl-rb.git added ada notes --- 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