From eafed8e1ffa117b72ba6b0dabbcb7ff538b3fe90 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Denilson=20das=20Merc=C3=AAs=20Amorim?= Date: Fri, 28 Dec 2018 20:28:10 -0300 Subject: [PATCH] Deploy --- core.html | 44 +++++++++++++++++++++++++++++++------------- dma.html | 2 +- 2 files changed, 32 insertions(+), 14 deletions(-) diff --git a/core.html b/core.html index 43605d3..75e7cfb 100644 --- a/core.html +++ b/core.html @@ -52,7 +52,7 @@
@@ -845,6 +845,9 @@

An array variable name which is not followed by a subscript behaves as if its zero-indexed element is referenced.

+
+

A variable used for indexing an array must not be an array.

+
@@ -870,16 +873,16 @@

6.1. St

A string constant is a name associated with an integer value. Such association is known in the translation environment.

-

An enumeration is a collection of string constants.

+

An enumeration is a collection of string constants. A parameter definition can have an associated enumeration.

-

A parameter definition can have an associated enumeration. A string constant is said to be a match if an identifier in an argument refers to a name in its parameter’s enumeration.

+

There is a special enumeration called the global string constants enumeration.

-

There is an special enumeration called the global string constants enumeration which semantics are defined along this specification. Other enumerations can be defined by an implementation.

+

An identifier is said to match a string constant in certain enumeration if there exists a name in the enumeration with the same name as the identifier.

-

If a parameter definition specifies an enumeration, the global string constants enumeration cannot be matched in the said parameter.

+

Further semantics for string constants are defined along this specification.

@@ -902,7 +905,7 @@

6.3. Para

6.3.1. INT

-

An INT parameter accepts an argument only if it is an integer literal or an identifier matching a global string constant.

+

An INT parameter accepts an argument only if it is an integer literal.

@@ -938,7 +941,10 @@

6.3.7. INPUT_INT

-

An INPUT_INT parameter accepts an argument only if it is an integer literal or an identifier either matching a string constant, global string constant or referencing a variable of integer type (in this order).

+

An INPUT_INT parameter accepts an argument only if it is an integer literal or an identifier either matching a string constant or referencing a variable of integer type (in this order).

+
+
+

If the parameter has an associated enumeration, the said enumeration shall be used for matching string constants. Otherwise, the global constant enumeration shall be used.

@@ -946,6 +952,9 @@

An INPUT_FLOAT parameter accepts an argument only if it is a floating-point literal or an identifier referencing a variable of floating-point type.

+
+

If the argument matches a global string constant, even if a variable of same name exists, the program is ill-formed.

+

6.3.9. OUTPUT_INT

@@ -955,12 +964,18 @@

If an entity type is associated with the parameter, the variable must have the same entity type as the parameter, unless there is no entity type associated with the variable. In the latter case, the parameter’s entity type is assigned to the variable.

+
+

If the argument matches a global string constant, even if a variable of same name exists, the program is ill-formed.

+

6.3.10. OUTPUT_FLOAT

An OUTPUT_FLOAT parameter accepts an argument only if it is a identifier referencing a variable of floating-point type.

+
+

If the argument matches a global string constant, even if a variable of same name exists, the program is ill-formed.

+

6.3.11. LABEL

@@ -973,6 +988,9 @@

A TEXT_LABEL parameter accepts an argument only if it is an identifier. If the identifier begins with a dollar character, its suffix must reference a variable of text label type and such a variable is the actual argument. Otherwise, the identifier is a text label.

+
+

If the identifier matches a global string constant, the program is ill-formed.

+

6.3.13. VAR_TEXT_LABEL

@@ -1026,7 +1044,7 @@

-

The INPUT_OPT parameter accepts an argument only if it is an integer literal, floating-point literal, or identifier referencing a variable of integer or floating-point type. A variable of text label type may be accepted by an INPUT_OPT parameter.

+

The INPUT_OPT parameter accepts an argument only if it is an integer literal, floating-point literal, or identifier matching a global string constant or referencing a variable of integer or floating-point type (in this order). A variable of text label type may be accepted by an INPUT_OPT parameter.

@@ -1042,7 +1060,7 @@

7. Command Select

A command selector consists of a name and a finite sequence of commands which are alternatives for replacement.

-

A command name which is the name of a selector shall behave as if its command name is rewritten as a matching alternative before any parameter checking takes place.

+

An actual command named after a selector shall behave as if its command name is rewritten as a matching alternative before any parameter checking takes place.

A matching alternative is the first command in the alternative sequence to have the same amount of parameters as arguments in the actual command, and to obey the following rules for every argument and its corresponding parameter:

@@ -1060,7 +1078,7 @@

7. Command Select
  1. -

    If the identifier matches a global string constant, the parameter type must be INT.

    +

    If the identifier matches a global string constant, the parameter type must be INT and the argument shall behave as if rewritten as an integer literal corresponding to the string constant value.

  2. If the identifier references a global variable, the parameter type must be either (depending on the type of the said variable) VAR_INT, VAR_FLOAT or VAR_TEXT_LABEL.

    @@ -1069,7 +1087,7 @@

    7. Command Select

    If the identifier references a local variable, the same rule as above applies, except by using LVAR_INT, LVAR_FLOAT and LVAR_TEXT_LABEL.

  3. -

    If the identifier matches any string constant in any enumeration, the parameter type must be INPUT_INT and the argument shall behave as if rewritten as an integer literal corresponding to the string constant’s value.

    +

    If the identifier matches any string constant in any enumeration (except the global enumeration), the parameter type must be INPUT_INT and the argument shall behave as if rewritten as an integer literal corresponding to the string constant value.

  4. Otherwise, the parameter type must be TEXT_LABEL.

    @@ -2054,10 +2072,10 @@

    12. 
    SET_VAR_INT VAR_INT INT
-SET_VAR_FLOAT VAR_FLOAT INT
+SET_VAR_FLOAT VAR_FLOAT FLOAT
 SET_LVAR_INT LVAR_INT INT
 SET_LVAR_FLOAT LVAR_FLOAT FLOAT
-SET_VAR_INT_TO_VAR_INT VAR_INT TVAR_INT
+SET_VAR_INT_TO_VAR_INT VAR_INT VAR_INT
 SET_LVAR_INT_TO_LVAR_INT LVAR_INT LVAR_INT
 SET_VAR_FLOAT_TO_VAR_FLOAT VAR_FLOAT VAR_FLOAT
 SET_LVAR_FLOAT_TO_LVAR_FLOAT LVAR_FLOAT LVAR_FLOAT
diff --git a/dma.html b/dma.html
index 98d29b9..0a76ef3 100644
--- a/dma.html
+++ b/dma.html
@@ -75,7 +75,7 @@