원문시작

Differences to Z.200/1988

This chapter lists the differences and extensions between GNUCHILL and the CCITT recommendation Z.200 in its 1988 version (reffered to as Z.200/1988).

2.2 Vocabulary
The definition of <simple name string> is changed to:

<simple name string> ::=

{<letter> | _ } { <letter> | <digit | _ }

2.6 Compiler Directives
Only one directive is allowed between the compiler directive delimiters `<>' and `<>' or the end-of-line, i.e.

<> USE_SEIZE_FILE "foo.grt" <>
<> ALL_STATIC_OFF

3.3 Modes and Classes
The syntax of <mode> is changed to:

<mode> ::=

  [READ] <non-composite-mode>
| [READ] composite-mode>

<non-composite-mode> ::=

  <discrete mode>
| <real modes>
| <powerset modes>
| <reference mode>
| <procedure mode>
| <instance mode>
| <synchronization mode>
| <timing mode>

3.4 Discrete Modes
The list of discrete modes is enhanced by the following modes:

BYTE         8-bit signed integer
UBYTE        8-bit unsigned integer
UINT         16-bit unsigned integer
LONG         32-bit signed integer
ULONG        32-bit unsigned integer

Please note that INT is implemented as 16-bit signed integer.

3.4.6 Range Modes
The mode BIN(n) is not implemented. Using INT(0 : 2 ** n - 1) instead of BIN(n) makes this mode unneccessary.

3.X Real Modes
Note: This is an extension to Z.200/1988, however, it is defined in Z.200/1992. syntax:

<real mode> ::=

<floating point mode>

semantics:

A real mode specifies a set of numerical values which approximate a
contiguous range of real numbers.

3.X.1 Floating point modes
syntax:
```
<floating point mode> ::=
```
```
<floating point mode name
```
predefined names: The names REAL and LONG_REAL are predefined as floating point mode names. semantics: A floating point mode defines a set of numeric approximations to a range of real values, together with their minimum relative accuracy, between implementation defined bounds, over which the usual ordering and arithmetic operations are defined. This set contains only the values which can be represented by the implementation. examples:
```
REAL
LONG_REAL
```
원문끝
Z.200/1988과의 차이점

본 장은 GNU CHILL과 CCITT 권고안 Z.200의 1988년 버전(Z.200/1988과 같이 언급됨)과의 차이점과 확장사항을 나열한다.
- 2.2 용어
  <simple name string>의 정의가 다음과 같이 변경되었다:
```
<simple name string> ::=
```
```
{<letter> | _ } { <letter> | <digit | _ }
```
- 2.6 컴파일러 지시문
  오직 하나의 지시문만이 컴파일러 지시문 경계기호인 `<>'와 `<>' 사이에서 또는 행끝에서 허용된다. 즉,
```
<> USE_SEIZE_FILE "foo.grt" <>
<> ALL_STATIC_OFF
```
- 3.3 모드와 클래스
  <mode>의 구문(syntax)이 다음과 같이 변경되었다:
```
<mode> ::=
```
```
  [READ] <non-composite-mode>
| [READ] composite-mode>
```
  <non-composite-mode> ::=
```
  <discrete mode>
| <real modes>
| <powerset modes>
| <reference mode>
| <procedure mode>
| <instance mode>
| <synchronization mode>
| <timing mode>
```
- 3.4 이산 모드(Discrete Modes)
  이산 모드의 목록이 다음의 모드들에 의해 개선되었다.
```
BYTE         8-bit 부호있는 정수
UBYTE        8-bit 부호없는 정수
UINT         16-bit 부호없는 정수
LONG         32-bit 부호있는 정수
ULONG        32-bit 부호없는 정수
```
  INT는 16비트 부호있는 정수로써 실행되다는 것을 주의해 주십시요.
- 3.4.6 영역 모드(range mode)
  BIN(n) 모드는 실행되지 않는다. BIN(n) 대신 INT(0 : 2 ** n - 1)을 사용하는 것은 이 모드를 불필요하게 만든다.
- 3.X 실수 모드(real mode)
  주의: 이것은 Z.200/1988에 대한 확장이다. 그러나 Z.200/1992에 정의되어 있다. 구문:
```
<real mode> ::=
```
```
<floating point mode>
```
  의미론(semantics):
```
실수 모드는 실수의 연속 영역을 근사한 수치값의 집합을 지정한다. 
```
- 3.X.1 부동 소수점 모드
  구문:
```
<floating point mode> ::=
```
```
<floating point mode name
```
  사전정의된 이름(predefined name): REAL과 LONG_REAL은 부동 소수점 모드 이름으로 이미 정의 되어 있다. 의미론: 부동 소수점 모드는 실행이 정의된 경계내-이 영역에서는 일반적인 순서와 수치연산이 정의된다-에서 최소 상대 정밀도(minimum relative accuracy)를 가지고 실수의 어떤 영역에 대한 수치적 근사의 집합을 정의한다. 이 집합은 실행에 의해서 나타내질 수 있는 값들만 가진다. 예:
```
REAL
LONG_REAL
```
  원문시작
- 3.6 Reference Modes
  Row modes are not implemeted at all.
- 3.7 Procedure Mode
  The syntax for procedure modes is changed to:
```
<procedure mode> ::=
```
```
  PROC ([<parameter list>]) [ <result spec> ]
  [EXCEPTIONS(<exception list>)] [RECURSIVE]
| <procedure mode name>
```
  <parameter list> ::=
```
<parameter spec> {, <parameter spec> } *
```
  <parameter spec> ::=
```
<mode> [ <parameter attribute> ]
```
  <parameter attribute> ::=
```
IN | OUT | INOUT | LOC
```
  <result spec> ::=
```
RETURNS ( <mode> [LOC])
```
  <exception list> ::=
```
<exception name> {, <exception name> } *
```
- 3.10 Input-Output Modes
  Due to the absence of row modes, DYNAMIC has no meaning in an access or text mode definition.
- 3.12.2 String Modes
  As <string modes> were defined differently in Z.200/1984, the syntax of <string mode> is changed to:
```
<string mode> ::=
```
```
  <string type> ( <string length> ) [ VARYING ]
| <parametrized string mode>
| <string mode name>
```
  <parameterized string mode> ::=
```
  <origin string mode name> ( <string length> )
| <parameterized string mode name>
```
  <origin string mode name> ::=
```
<string mode name>
```
  string type
```
  BOOLS
| BIT
| CHARS
| CHAR
```
  <string length> ::=
```
<integer literal expression>
```
  VARYING is not implemented for <string type> BIT and BOOL.
- 3.11.1 Duration Modes
  The predefined mode DURATION is implemented as a NEWMODE ULONG and holds the duration value in miliseconds. This gives a maximum duration of
```
MILLISECS (UPPER (ULONG)),
SECS (4294967),
MINUTES (71582),
HOURS (1193), and
DAYS (49).
```
- 3.11.2 Absolute Time Modes
  The predefined mode TIME is implemented as a NEWMODE ULONG and holds the absolute time in seconds since Jan. 1st, 1970. This is equivalent to the mode `time_t' defined on different systems.
- 3.12.4 Structure Modes
  Variant fields are allowed, but the CASE-construct may define only one tag field (one dimensional CASE). OF course, several variant fields may be specified in one STRUCT mode. The tag field will (both at compile- and runtime) not be interpreted in any way, however, it must be interpreted by a debugger. As a consequence, there are no parameterized STRUCT modes.
- 3.12.5 Layout description for array and structure modes
  STEP and POS is not implemeted at all, therefore the syntax of <element layout and field layout is changed to:
```
<element layout> ::=
```
```
PACK | NOPACK
```
  <field layout> ::=
```
PACK | NOPACK
```
- 3.13.4 Dynamic parameterised structure modes
  Dynamic parameterised structure modes are not implemented.
  원문끝
- 3.6 참조 모드
  열 모드(row mode)는 전혀 수행되지 않는다.
- 3.7 Procedure Mode
  프로시저 모드에 대한 구문은 다음과 같이 변경되었다:
```
<procedure mode> ::=
```
```
  PROC ([<parameter list>]) [ <result spec> ]
  [EXCEPTIONS(<exception list>)] [RECURSIVE]
| <procedure mode name>
```
  <parameter list> ::=
```
<parameter spec> {, <parameter spec> } *
```
  <parameter spec> ::=
```
<mode> [ <parameter attribute> ]
```
  <parameter attribute> ::=
```
IN | OUT | INOUT | LOC
```
  <result spec> ::=
```
RETURNS ( <mode> [LOC])
```
  <exception list> ::=
```
<exception name> {, <exception name> } *
```
- 3.10 입출력 모드
  열 모드가 없기때문에, DYNAMIC 은 접속 또는 문자 모드 접속에서 의미가 없다.
- 3.12.2 문자열 모드
  <string modes>가 Z.200/1984에서 다르게 정의됬던것 처럼, <string mode>의 구문은 다음과 같이 변경되었다:
```
<string mode> ::=
```
```
  <string type> ( <string length> ) [ VARYING ]
| <parametrized string mode>
| <string mode name>
```
  <parameterized string mode> ::=
```
  <origin string mode name> ( <string length> )
| <parameterized string mode name>
```
  <origin string mode name> ::=
```
<string mode name>
```
  string type
```
  BOOLS
| BIT
| CHARS
| CHAR
```
  <string length> ::=
```
<integer literal expression>
```
  VARYING은 <string type> BIT와 BOOL에 대해서 실행되지 않는다.
- 3.11.1 지속기간 모드(Duration Modes)
  사전정의된 모드인 DURATION은 NEWMODE ULONG처럼 실행된다. 그리고 지속시간 값을 밀리초로 가지고 있다. 이것은 최대 시속시간값을 다음의 형태로 내준다.
```
MILLISECS (UPPER (ULONG)),
SECS (4294967),
MINUTES (71582),
HOURS (1193), and
DAYS (49).
```
- 3.11.2 절대 시간 모드(Absolute Time Modes)
  사전 정의된 모드인 TIME은 NEWMODE ULONG처럼 실행된다. 그리고 1970년 1월 1일이후로부터 절대 시간을 초로 가지고 있다. 이것은 다른 시스템에 정의된 모드인 'time_t' 와 동일하다.
- 3.12.4 구조체 모드(Structure Modes)
  Variant 필드가 허용된다. 그러나 CASE-구문은 오직 하나의 태그 필드(tag field)를 정의할지도 모른다(1차원 CASE). 물론 몇몇 variant 필드는 한 STRUCT 모드에서 지정될지도 모른다. 태그 필드는 어떠한 방법으로든 해석되지 않을 것이다(컴파일시와 실행시간시에 모두). 그러나 디버거에 의해서는 해석되어야 한다. 결과적으로 매개변수화(parameterized) STRUCT 모드는 없다.
- 3.12.5 배열과 구조체 모드에 대한 layout 기술(description)
  STEP와 POS는 전혀 실행되지 않는다. 그러므로 <element layout과 field layout의 구문은 다음과 같이 변경되었다:
```
<element layout> ::=
```
```
PACK | NOPACK
```
  <field layout> ::=
```
PACK | NOPACK
```
- 3.13.4 동적 매개변수화 구조체 모드(Dynamic parameterised structure modes)
  동적 매개변수화 구조체 모드는 실행되지 않는다.
  원문시작
- 4.1.2 Location declaration
  The keyword STATIC is allowed, but has no effect at module level, because all locations declared there are assumed to be `static' by default. Each granted location will become `public'. A `static' declaration inside a block, procedure, etc. places the variable in the data section instead of the stack section.
- 4.1.4 Based decleration
  The based declaration was taken from Z.200/1984 and has the following syntax: syntax:
```
<based declaration> ::=
```
```
<defining occerrence list> <mode> BASED
( <free reference location name> )
```
  semantics: A based declaration with <free reference location name> specifies as many access names as are defining occerrences in the defining occurrence list. Names declared in a base declaration serve as an alternative way accessing a location by dereferencing a reference value. This reference value is contained in the location specified by the free reference location name. This dereferencing operation is made each time and only when an access is made via a declared based name. static properties: A defining occurrence in a based declaration with free reference location name defines a based name. The mode attached to a based name is the mode specified in the based declaration. A based name is referable.
- 4.2.2 Access names
  The syntax of access names is changed to:
```
<access name> ::=
```
```
  <location name>
| <loc-identity name>
| <based name>
| <location enumeration name>
| <location do-with name>
```
  The semantics, static properties and dynamic conditions remain unchanged except that they are enhanced by base name.
- 5.2.4.1 Literals General
  The syntax of <literal> is change to:
```
<literal> ::=
```
```
  <integer literal>
| <boolean literal>
| <charater literal>
| <set literal>
| <emptiness literal>
| <character string literal>
| <bit string literal>
| <floating point literal>
```
  Note: The <floating point literal> is an extension to Z.200/1988 and will be described later on.
- 5.2.4.2 Integer literals
  The <decimal integer literal> is changed to:
```
<decimal integer literal> ::=
```
```
  { D | d } ' { <digit> | _ } +
| <digit> { <digit> | _ } *
```
- 5.2.4.4 Character literals
  A character literal, e.g. 'M', may serve as a charater string literal of length 1.
- 5.2.4.7 Character string literals
  The syntax of a character string literal is:
```
<character string literal> ::=
```
```
  '{ <non-reserved character> | <single quote> |
  <control sequence> } * '
| '{ <non-reserved character> | <double quote> |
  <control sequence> } * '
```
  <single quote> ::=
```
"
```
  <double quote> ::=
```
""
```
  A character string litaral of length 1, enclosed in apostrophes (e.g. 'M') may also serve as a charater literal.
- 5.2.4.9 Floating point literal
  Note: This is an extension to Z.200/1988 ans was taken from Z.200/1992. syntax:
```
<floating point literal> ::=
```
```
  <unsigned floating point literal>
| <signed floating point literal>
```
  <unsigned floating point literal> ::=
```
  <digit sequence> . [ <digit sequence> ] [ <exponent> ]
| [ <digit sequence> ] . <digit sequence> [ <exponent> ]
```
  <signed floating point literal> ::=
```
- <unsigned floating point literal>
```
  <digit sequence> ::=
```
<digit> { <digit> | _ } *
```
  <exponent> ::=
```
  [ E | D | e | d ] <digit sequence>
| [ E | D | e | d ] - <digit sequence>
```
- 5.2.14 Start Expression
  The START expression is not implemented.
  원문끝
- 4.1.2 위치 선언
  키워드 STATIC은 허용된다. 그러나 모듈 레벨(level)에 영향을 주지 않는다. 왜냐하면 모든 위치가 디폴트로 'static'이라고 가정되어 선언되었기때문이다. 각 양도된(granted) 위치는 'public'이 될 것이다. 블럭(block), 프로시저 등의 내부에서의 'static' 선언은 스택 영역 대신에 데이타 영역에 변수를 위치시킨다.
- 4.1.4 Based decleration
  based decleration은 Z.200/1984에서 가져왔고, 다음의 구문을 가진다: 구문:
```
<based declaration> ::=
```
```
<defining occerrence list> <mode> BASED
( <free reference location name> )
```
  의미론: <free reference location name>을 가진 based decleration은 defining occurrence list 안의 defining occurrence 수 만큼의 접속명(access name)을 명시한다. base decleration에 선언된 이름은 참조값을 dereference함으로써 어떤 위치를 접속하는 다른 방법의 역할을 한다. 이 참조값은 free reference location name에 의해 지정된 위치에 포함된다. 이런 dereferencing 동작은 매 시간마다, 그리고 오직 접속이 선언된 based name을 통해 이루어질때만 수행된다. 정적 특성: free reference location name를 가진 based declaration의 defining occurrence은 based name을 정의한다. based name에 첨부된 모드는 based declaration안에 지정된 mode이다. based name는 참조가능하다.
- 4.2.2 접속명
  접속명(access name)의 구문은 다음과 같이 변경된다:
```
<access name> ::=
```
```
  <location name>
| <loc-identity name>
| <based name>
| <location enumeration name>
| <location do-with name>
```
  의미론, 정적 특성과 동적 조건은 base name에 의해 개선된것을 제외하고는 변경사항이 없다.
- 5.2.4.1 Literals General
  <literal>의 구문은 다음과 같이 변경된다:
```
<literal> ::=
```
```
  <integer literal>
| <boolean literal>
| <charater literal>
| <set literal>
| <emptiness literal>
| <character string literal>
| <bit string literal>
| <floating point literal>
```
  주의: <floating point literal>은 Z.200/1988에 대한 확장이고 후에 기술할 것이다.
- 5.2.4.2 Integer literals
  <decimal integer literal>은 다음과 같이 변경된다:
```
<decimal integer literal> ::=
```
```
  { D | d } ' { <digit> | _ } +
| <digit> { <digit> | _ } *
```
- 5.2.4.4 Character literals
  character literal(예를 들면, 'M')은 길이 1의 chracter string literal의 역할을 할지도 모른다.
- 5.2.4.7 Character string literals
  Chracter string literal의 구문은 다음과 같다:
```
<character string literal> ::=
```
```
  '{ <non-reserved character> | <single quote> |
  <control sequence> } * '
| '{ <non-reserved character> | <double quote> |
  <control sequence> } * '
```
  <single quote> ::=
```
"
```
  <double quote> ::=
```
""
```
  아포스트로피(apostrophe)로 둘러쌓인(예를 들면, 'M') 길이 1의 Chracter string literal은 또한 character literal 역할을 할지도 모른다.
- 5.2.4.9 Floating point literal
  주의: 이것은 Z.200/1988에 대한 확장이다. Z.200/1992에서 가져온 것이다. 구문:
```
<floating point literal> ::=
```
```
  <unsigned floating point literal>
| <signed floating point literal>
```
  <unsigned floating point literal> ::=
```
  <digit sequence> . [ <digit sequence> ] [ <exponent> ]
| [ <digit sequence> ] . <digit sequence> [ <exponent> ]
```
  <signed floating point literal> ::=
```
- <unsigned floating point literal>
```
  <digit sequence> ::=
```
<digit> { <digit> | _ } *
```
  <exponent> ::=
```
  [ E | D | e | d ] <digit sequence>
| [ E | D | e | d ] - <digit sequence>
```
- 5.2.14 Start 표현(Expression)
  START 표현은 실행되지 않는다.
  원문시작
- 5.3 Values and Expressions
  The undefined value, denoted by `*', is not implemented.
- 5.3.8 Operand-5
  The <string repetition operator> is defined as:
```
<string repetition operator> ::=
```
```
(<integer expression>)
```
- 6.4 Case Action
  There may be only one case selector specified. The optional range list must not be specified.
- 6.5 Do Action
  A Do-Action without control part is not implemented. Grouping of statements can be achieved via BEGIN and END. A location enumeration is not allowed for BIT strings, only for (varying) CHAR strings and ARRAYs. The expression list in a DO WITH must consist of locations only.
- 6.13 Start Action
  The syntax of the START action is changed to:
```
<start action> ::=
```
```
START <process name> (<copy number> [, <actual parameter list>])
[ SET <instance location> ]
```
  <copy number> ::=
```
<integer expression>
```
- 6.16 Delay Action
  The optional PRIORITY specification need not be a constant.
- 6.17 Delay Case Action
  The optional SET branch and the, also optional, PRIORITY branch must be separated by `;'.
- 6.18 Send Action
  The send action must define a destination instance (via the TO branch), since undirected signals are not supported. The optional PRIORITY specification need not be a constant. Additional to the data transported by the signal, there will be a user defined argument. The syntax of the <send signal action> is therefore:
```
<send signal action> ::=
```
```
SEND <signal name> [ ( <value> {, <value> } * ) ]
[ WITH <expression> ]
TO <instance primitive value> [ <priority> ]
```
  The default priority can be specified by the compiler directive SEND_SIGNAL_DEFAULT_PRIORITY. If this also is omitted, the default priority is 0.
- 6.20.3 CHILL value built-in calls
  The CHILL value buit-in calls are enhanced by some calls, and other calls will have different arguments as described in Z.200/1988. Any call not mentioned here is the same as described in Z.200/1988. syntax:
```
CHILL value built-in routine call> ::=
```
```
  ADDR (<location>)
| PRED (<pred succ argument>)
| SUCC (<pred succ argument>)
| ABS (<numeric expression>)
| LENGTH (<length argument>)
| SIN (<floating point expression>)
| COS (<floating point expression>)
| TAN (<floating point expression>)
| ARCSIN (<floating point expression>)
| ARCCOS (<floating point expression>)
| ARCTAN (<floating point expression>)
| EXP (<floating point expression>)
| LN (<floating point expression>)
| LOG (<floating point expression>)
| SQRT (<floating point expression>)
| QUEUE_LENGTH (<buffer location> | <event location>)
| GEN_INST (<integer expression> | <process name> ,
               <integer expression>)
| COPY_NUMBER (<instance expression>)
| GEN_PTYE (<process name>)
| PROC_TYPE (<instance expression>)
| GEN_CODE (<process name> | <signal name>)
| DESCR (<location>)
```
  <pred succ argument> ::=
```
  <discrete expression>
| <bound reference expression>
```
  <numeric expression> ::=
```
  <integer expression>
| floating point expression>
```
  <length argument> ::=
```
  <string location>
| <string expression>
| <string mode name>
| <event location>
| <event mode name>
| <buffer location>
| <buffer mode name>
| <text location>
| <text mode name>
```
  semantics: ADDR is derived syntax for -> <location>. PRED and SUCC delivers respectively, in case of a discrete expression, the next lower or higher discrete value of their argument, in case of bound reference expression these built-in calls deliver a pointer to the previous or next element. ABS is defined on numeric values, i.e. integer values and floating point values, delivering the corresponding absolute value. LENGTH is defined on
  - string and text locations and string expressions, delivering the length of them;
  - event locations, delivering the event length of the mode of the location;
  - buffer locations, delivering the buffer length of the mode of the location;
  - string mode names, delivering the string length of the mode;
  - text mode names, delivering the text length of the mode;
  - buffer mode names, delivering the buffer length of the mode;
  - event mode names, delivering the event length of the mode;
  - Additionally, LENGTH also may be used on the left hand side of an assignment to set a new length of a varying character string location. However, to avoid undefined elements in the varying string, the new length may only be less or equal to the current length. Otherwise a RANGEFAIL exception will be generated.
  SIN delivers the sine of its argument (interpreted in radians). COS delivers the cosine of its argument (interpreted in radians). TAN delivers the tangent of its argument (interpreted in radians). ARCSIN delivers the sin -1 function of its argument. ARCCOS delivers the cos -1 function of its argument. ARCTAN delivers the tan -1 function of its argument. EXP delivers the exponential function, where x is the argument. LN delivers the natural logarithm of its argument. LOG delivers the base 10 logarithm of its argument. SQRT delivers the sqare root of its argument. QUEUE_LENGTH delivers either the number of sending delayed processes plus the number of messages in a buffer queue (if the argument is a buffer location), or the number of delayed processes (if the argument specifies an event location) as integer expression. GEN_INST delivers an instance expression constructed from the arguments. Both arguments must have the &INT-derived class. COPY_NUMBER delivers as &INT-derived class the copy number of an instance location. GEN_PTYPE delivers as &INT-derived class the associated number of the process name. PROC_TYPE delivers as &INT-derived class the process type of an instance expression. GEN_CODE delivers as &INT-derived class the associated number of the process name or signal name. DESCR delivers a free reference expression pointing to a structure with the following layout describing the location argument.
```
SYNMODE __tmp_descr = STRUCT (p PTR, l ULONG);
```
  원문끝
- 5.3 값과 표현
  '*'로 표시된 정의되지 않은 수치값은 실행되지 않는다.
- 5.3.8 Operand-5
  <string repetition operator>는 다음과 같이 정의된다:
```
<string repetition operator> ::=
```
```
(<integer expression>)
```
- 6.4 Case Action
  지정된 case selector는 오직 하나있을지도 모른다. optional range list는 명시되지 않아야 한다.
- 6.5 Do Action
  제어부가 없는 Do-Action은 실행되지 않는다. 문장의 그룹화는 BEGIN과 END를 사용해 이루어진다. 위치 목록은 BIT 문자열에 대해 허용되지 않는다. 오직 (varying) CHAR 문자열과 ARRAY에 대해 허용된다. DO WITH안의 expression lis는 위치로만 구성되어져야 한다.
- 6.13 Start Action
  START action의 구문은 다음과 같이 변경된다:
```
<start action> ::=
```
```
START <process name> (<copy number> [, <actual parameter list>])
[ SET <instance location> ]
```
  <copy number> ::=
```
<integer expression>
```
- 6.16 Delay Action
  optional PRIORITY 규격은 상수를 필요로 하지 않는다.
- 6.17 Delay Case Action
  optional SET 분기(branch)와 optional PRIORITY 분기는 ';'에 의해 분리되어야 한다.
- 6.18 Send Action
  undirected signal은 지원되지 않으므로, Send action은 (TO 분기를 통해) 목적 인스턴스(destination instance)를 정의해야 한다. optional PRIORITY 규격은 상수를 필요로 하지 않는다. signal에 의핸 전송된 데이타에 덧붙여서, 사용자 정의 인자가 있을 것이다. <send signal action>의 구문은 고로 다음과 같다:
```
<send signal action> ::=
```
```
SEND <signal name> [ ( <value> {, <value> } * ) ]
[ WITH <expression> ]
TO <instance primitive value> [ <priority> ]
```
  디폴트 우선순위는 컴파일러 지시문 SEND_SIGNAL_DEFAULT_PRIORITY에 의해 지정될 수 있다. 만약 이것 또한 생략된다면, 디폴트 우선순위는 0이다.
- 6.20.3 CHILL value built-in calls
  CHILL value built-in call은 몇가지 call에 의해 개선된다. 그리고 다른 call은 Z.200/1988에 기술된 것과 다른 인자를 가질 것이다. 여기에 언급되지 않은 모든 call은 Z.200/1988에 기술된 것과 같다. 구문:
```
CHILL value built-in routine call> ::=
```
```
  ADDR (<location>)
| PRED (<pred succ argument>)
| SUCC (<pred succ argument>)
| ABS (<numeric expression>)
| LENGTH (<length argument>)
| SIN (<floating point expression>)
| COS (<floating point expression>)
| TAN (<floating point expression>)
| ARCSIN (<floating point expression>)
| ARCCOS (<floating point expression>)
| ARCTAN (<floating point expression>)
| EXP (<floating point expression>)
| LN (<floating point expression>)
| LOG (<floating point expression>)
| SQRT (<floating point expression>)
| QUEUE_LENGTH (<buffer location> | <event location>)
| GEN_INST (<integer expression> | <process name> ,
               <integer expression>)
| COPY_NUMBER (<instance expression>)
| GEN_PTYE (<process name>)
| PROC_TYPE (<instance expression>)
| GEN_CODE (<process name> | <signal name>)
| DESCR (<location>)
```
  <pred succ argument> ::=
```
  <discrete expression>
| <bound reference expression>
```
  <numeric expression> ::=
```
  <integer expression>
| floating point expression>
```
  <length argument> ::=
```
  <string location>
| <string expression>
| <string mode name>
| <event location>
| <event mode name>
| <buffer location>
| <buffer mode name>
| <text location>
| <text mode name>
```
  의미론: ADDR은 -> <location>에 대한 구문으로 부터 유래한다. PRED와 SUCC는 discrete expression의 경우에 그들 인자의 다음 하위 또는 상위 이산값을 각각 넘겨준다. bound reference expression의 경우에 이러한 built-in call은 이전 또는 다음 요소에게 포이터를 넘겨준다. ABS는 수치값(즉, 정수값과 부동 소수점값)에 대하여 정의된다. 이것은 대응하는 절대값을 넘겨준다. LENGTH는 다음에 대해 정의된다.
  - 자신의 길이를 넘겨주는 string과 text location과 string expression;
  - 위치 모드의 event 길이를 넘겨주는 event location;
  - 위치 모드의 버퍼 길이를 넘겨주는 buffer location;
  - 모드의 문자열 길이를 넘겨주는 string mode name;
  - 모드의 문자 길이를 넘겨주는 text mode name;
  - 모드의 버퍼 길이를 넘겨주는 buffer mode name;
  - 모드의 event 길이를 넘겨주는 event mode name;
  - 부가적으로 LENGTH는 또한 varying character string location의 새로운 길이를 설정하는 지정문의 왼쪽편에 사용될지도 모른다. 그러나 varying string안에 정의되지 않은 요소를 막기위해, 새로운 길이는 현재 길이와 같거나 작게 될지도 모른다. 그렇지 않다면 RANGEFAIL exception이 발생될 것이다.
  SIN은 라디안(radian)으로 해석되는 자신의 인자에 대한 사인(sine)을 넘겨준다. COS는 자신의 인자(라디안으로 해석됨)에 대한 코사인(cosine)을 넘겨준다. TAN은 인자(라디안으로 해석됨)에 대한 탄젠트(tangent)를 넘겨준다. ARCSIN은 인자에 대한 sin -1 함수를 넘겨준다. ARCCOS은 인자에 대한 cos -1 함수를 넘겨준다. ARCTAN은 인자에 대한 tan -1 함수를 넘겨준다. EXP는 지수함수를 넘겨준다. 여기서 x는 인자이다. LN은 인자의 자연 대수(logarithm)를 넘겨준다. LOG는 인자의 base가 10인 대수를 넘겨준다. SQRT는 인자의 제곱근(square root)을 넘겨준다. QUEUE_LENGTH는 전송 지연된 프로세스의 수 + 만약 인자가 buffer location이라면 버퍼큐(buffer queue)안의 메시지의 수나 만약 인자가 event location을 지정한다면 지연된 프로세스의 수를 정수 표현으로 넘긴다. GEN_INST는 인자로부터 구성된 instance expression을 넘겨준다. 두 인자는 모두 &INT-derived class를 가져야 한다. COPY_NUMBER는 instance location의 복사 수(copy number)를 &INT-derived class로써 넘겨준다. GEN_PTYPE은 process name의 연관된 수(associated number)를 &INT-derived class로써 넘겨준다. PROC_TYPE은 instance expression의 프로세스 타입을 &INT-derived class로써 넘겨준다. GEN_CODE는 process name나 signal name의 연관된 수를 &INT-derived class로써 넘겨준다. DESCR은 location 인자를 기술하는 다음의 layout을 가진 구조체를 지시하는 free reference expression을 넘겨준다.
```
SYNMODE __tmp_descr = STRUCT (p PTR, l ULONG);
```
  원문시작
- 7.4.2 Associating an outside world object
  The syntax of the associate built-in routine call is defined as:
```
<associate built-in routine call> ::=
```
```
ASSOCIATE ( <association location>, <string expression>, [, <string expression> ] )
```
  The ASSOCIATE call has two parameters besides the association location: a pathname and an optional mode string. The value of the first string expression must be a pathname according to the rules of the underlying operating system. (Note that a relative pathname implies a name relative to the working directory of the process.) The mode string may contain the value "VARIABLE", which requests an external representation of records consisting of an UINT record length followed by as many bytes of data as indicated by the length field. Such a file with variable records is not indexable. A file with variable records can be written using any record mode. If the record mode is CHARS(n) VARYING, the record length is equal to the actual length of the value written. (Different record may have differing lengths.) With all other record modes, all records written using the same access mode will have the same length, but will still be prefixed with the length field. (Note that by re-connecting with different access modes, the external representation may ultimately contain records with differing lengths.) A file with variable records can only be read by using a record mode of CHARS(n) VARYING.
- 7.4.2 Accessing association attributes
  The value of the READABLE and WRITEABLE attributes is determined using the file status call provided by the operating system. The result will depend on the device being accessed, or on the file mode. The INDEXABLE attribute has the value false for files with variable records, and for files associated with devices not supporting random positioning (character devices, FIFO special files, etc.). The variable attribute is true for files associated with the mode sting "VARIABLE", and false otherwise.
- 7.4.5 Modifying association attributes
  The syntax of the MODIFY built-in routine call is defined as:
```
<modify built-in call> ::=
```
```
MODIFY ( <association location>, <string expression> )
```
  At present, MODIFY accepts a character string containing a pathname in addition to the association location, which will cause a renaming of the associated file.
- 7.4.9 Data transfer operations
  READRECORD will fail (causing READFAIL) if the number of bytes from the current position in the file to the end of the file is greater than zero but less than the size of the record mode, and no data will be transferred. (If the number of bytes is zero, no error occurs and OUTOFFILE will return TRUE.) The number of bytes transferred by READRECORD and WRITERECORD is equal to the size of the record mode of the access location. Note that the internal representation of this mode may vary depending on the record mode being packed or not.
- 7.5 Text Input Output
  Sequential text files will be represented so as to be compatible with the standard representation of texts on the underlying operating system, where control characters are used to delimit text records on files as well as to control the movement of a cursor or printing head on a device. For indexed text files, records of a uniform length (i.e. the size of the text record, including the length field) are written. All i/o codes cause an i/o transfer without any carriage control characters being added to the record, which will be expanded with spaces. An indexed text file is therefore not compatible with the standard text representation of the underlying operating system.
- 7.5.3 Text transfer operations
  The syntax of <text argument> is changed to:
```
<text argument> ::=
```
```
  <text location>
| <predefined text location>
| <varying string location>
```
  <predefined text location> ::=
```
  STDIN
| STDOUT
| STDERR
```
  NOTE: The identifiers STDIN, STDOUT, and STDERR are predefined. Association and connection with files or devices is done according to operating system rules. The effect of using READTEXT or WRITETEXT with a character string location as a text argument (i.e. the first parameter) where the same location also appears in the i/o list is undefined. The current implementation of formatting assumes run-to-completion semantics of CHILL tasks within an image.
- 7.5.5 Conversion
  Due to the implementation of <floating point modes> the syntax is changed to:
```
<conversion clause> ::=
```
```
<conversion code> { <conversion qualifier } *
[ <clause width> ]
```
  <conversion code> ::=
```
B | O | H | C | F
```
  <conversion qualifier> ::=
```
L | E | P<character>
```
  <clause width> ::=
```
  { <digit> } + | V
| <real clause width>
```
  <real clause width> ::=
```
{ { <digit> + | V } : { { <digit> } + | V }
```
  Note: The <real clause width> is only valid for <conversion code> `C' or `F'.
- 7.5.7 I/O control
  To achieve compatibility of text files written with CHILL i/o with the standard representation of text on the underlying operating system the interpretation of the i/o control clause of the format deviates from Z.200. The following table shows the i/o codes together with the control characters written before and after the text record, to achieve the indicated function:
  
  `/'
  Write next record (record, line feed)
  `+'
  Write record on next page (form feed, record, line feed)
  `-'
  Write record on current line (record, carriage return)
  `?'
  Write record as a prompt (carriage return, record)
  `!'
  Emit record (record).
  `='
  Force new page for the next line: The control character written before the next record will be form feed, irrespective of the i/o control used for transferring the record.
  When reading a text file containing control characters other than line feed, these characters have to be reckoned with by the format used to read the text records.
- 11.2.2 Regionality
  Regionality is not implemented at all, so there is no difference in the generated code when REGION is substituted by MODULE in a GNUCHILL compilation unit.
- 11.5 Signal definition statement
  The <signal definition statement> may only occur at module level.
- 12.3 Case Selection
  The syntax of <case label specification> is changed to:
```
<case label specification> ::=
```
```
( <case label> {, <case label> } * )
```
  <case label> ::=
```
  <discrete literal expression>
| <literal range>
| <discrete mode name>
| ELSE
```
원문끝
7.4.2 외계 객체 연계
associate built-in routine call의 구문은 다음과 같이 정의 된다:
```
<associate built-in routine call> ::=
```
```
ASSOCIATE ( <association location>, <string expression>, [, <string expression> ] )
```
ASSOCIATE call은 association location외에도 두개의 매개변수를 가진다: pathname와 optional mode string. first string expression의 값은 동작되는 운영체제의 규칙을 따르는 pathname이어야 한다. (상태적인 pathname은 프로세스가 동작하고 있는 디렉토리에 상대적인 명임을 주의하라.) mode string은 UINT 레코드(record) 길이 다음에 length field에의해 지시된 것과 같은 수의 데이타의 바이트로 구성된 레코드의 외부 표현을 요구하는 "VARIABLE" 값을 가지고 있을 지도 모른다. 가변 레코드(variable record)를 가진 그러한 파일은 색인을 달 수 없다. 가변 레코드를 가진 파일은 어떤 record mode를 사용하더라도 써질 수 있다. 만약 record mode가 CHARS(n) VARYING이라면, 레코드 길이는 쓰여진 값의 실제 길이와 같다. (다른 레코드는 다른 길이를 가질지도 모른다.) 모든 다른 레코드 모드와 함께, 동일한 access mode를 사용해 쓰여진 모든 레코드는 같은 길이를 가질 것이다. 그러나 여전히 length field를 가지고 앞에 놓여질 것이다. (다른 access mode를 가지고 재연결함으로써 외부 표현은 다른 길이를 가진 레코드를 결국 포함할지도 모른다는 것을 주의하라.) 가변 레코드를 가진 파일은 CHARS(n) VARYING의 record mode를 사용해서만 읽혀질 수 있다.
7.4.2 Accessing association 속성
READABLE와 WRITEABLE 속성(attribute)에 대한 값은 운영체제에 의해 제공된 file status call을 사용해 결정된다. 그 결과는 접속되고 있는 장치나 file mode에 달려있다. INDEXABLE 속성은 가변 레코드를 가진 파일과 random positioning을 지원하지 않는 장치로 연결된 파일(문자 장치, FIFO 특별 파일 등)에 대해서 거짓(false) 값을 가진다. 변수 속성은 mode string "VARIABLE"과 연관된 파일에 대해 참이고 그렇지 않으면 거짓이다.
7.4.5 연관 속성 변경하기
MODIFY built-in routine call의 구문은 다음과 같이 정의된다:
```
<modify built-in call> ::=
```
```
MODIFY ( <association location>, <string expression> )
```
요즈음, MODIFY는 association location외에 pathname도 포함하는 문자열을 허용한다. 이것은 관계된 파일명의 재설정을 야기할 것이다.
7.4.9 데이타 전송 동작
만약 파일내 현재 위치로부터 파일의 끝까지의 바이트수가 0보다 크지만 record mode의 크기보단 작다면, READRECORD는 (READFAIL를 발생시키면서) 실패할 것이다.그리고 어떠한 데이타도 전송되지 않을 것이다. (만약 바이트수가 0이라면, 어떠한 오류도 발생하지 않고 OUTOFFILE가 TRUE를 반환할 것이다.) READRECORD와 WRITERECORD에 의해 전송된 바이트 수는 access location의 record mode 크기와 같다. 이 모드의 내부 표현이 팩(pack)되거나 그렇지 않은 record mode에 매우 의존할지도 모른다는 것을 주의하라.
7.5 문자 입출력
순차 문자 파일(sequential text file)은 동작되는 운영체제의 문자에 관한 기본 표현과 호환되도록 표현될 수 있다. 여기서 제어 문자는 커서나 장치상의 printing head의 움직임을 제어하는 것 뿐만 아니라 파일상의 문자 레코드 범위를 정하는데 사용되곤 한다. 색인 문자 파일(indexed text file)에 대해, 일정한 길이(즉 길이 필드를 포함하는 문자 레코드의 크기)의 레코드가 쓰여진다. 모든 i/o 코드는 레코드에 추가된 어떠한 캐리지(carriage) 제어 문자없이 i/o 전송을 발생시킨다. 그리고 그것은 공백으로 확장될 것이다. 색인 문자 파일은 고로 동작되는 운영체제의 기본 문자 표현과 호환되지 않는다.
7.5.3 문자 전송 동작
<text argument>의 구문은 다음과 같이 변경된다:
```
<text argument> ::=
```
```
  <text location>
| <predefined text location>
| <varying string location>
```
<predefined text location> ::=
```
  STDIN
| STDOUT
| STDERR
```
주의: 식별자 STDIN, STDOUT, STDERR은 사전 정의된다. 파일이나 장치와의 연계(association)와 접속(connection)은 운영체제 규칙에 따라 행해진다. 동일한 위치가 i/o 목록에 또한 나타나는 문자 인자(즉, 최초 매개변수)로써 character string location을 가진 READTEXT나 WRITETEXT를 사용한 효과는 정의되지 않는다. 포맷팅(formatting)의 현재 구현은 한 이미지(image)안의 CHILL 테스크의 run-to-completion 의미론(semantics)을 가정한다.
7.5.5 변환
<floating point modes>의 구현때문에, 구문은 다음과 같이 변경된다:
```
<conversion clause> ::=
```
```
<conversion code> { <conversion qualifier } *
[ <clause width> ]
```
<conversion code> ::=
```
B | O | H | C | F
```
<conversion qualifier> ::=
```
L | E | P<character>
```
<clause width> ::=
```
  { <digit> } + | V
| <real clause width>
```
<real clause width> ::=
```
{ { <digit> + | V } : { { <digit> } + | V }
```
주의: <real clause width>는 <conversion code> 'C'나 'F'에 대해서만 유효하다.
7.5.7 I/O 제어
CHILL i/o로 작성된 문자 파일이 동작되는 운영체제상의 문자의 표준 표현과 호환될 수 있도록, format의 i/o 제어절의 해석은 Z.200로부터 얻는다. 다음의 표는 문자 레코드 전,후에 쓰여진 제어 문자(지시된 함수를 수행함)와 함께 i/o 코드를 보여준다:

`/'
Write next record (record, line feed)
`+'
Write record on next page (form feed, record, line feed)
`-'
Write record on current line (record, carriage return)
`?'
Write record as a prompt (carriage return, record)
`!'
Emit record (record).
`='
다음 행을 위한 강제 새 페이지: 다음 레코드 앞에 쓰여진 제어 문자는 레코드를 전송하기위해 사용되는 i/o 제어과 상관없이 서식 이송(form feed) 될 것이다.
라인 피드(line feed) 이상의 다른 제어 문자를 가진 문자 파일을 읽을때, 이러한 문자는 문자 레코드를 읽는데 사용되는 형식에 의해 고려되어져야 한다.
11.2.2 Regionality
Regionality는 전혀 실행되지 않는다. 그래서 GNU CHILL에서 REGION이 MODULE로 대치될 때 생성된 코드에 차이가 없다.
11.5 Signal definition statement
<signal definition statement>은 module level에서만 발생할지도 모른다.

12.3 Case Selection
<case label specification>은 다음과 같이 변경된다:

<case label specification> ::=

( <case label> {, <case label> } * )

<case label> ::=

  <discrete literal expression>
| <literal range>
| <discrete mode name>
| ELSE

처음, 이전, 다음, 마지막 절로 가기, 목차.

원문시작

Differences to Z.200/1988

원문끝

Z.200/1988과의 차이점

원문시작

원문끝

원문시작

원문끝

원문시작

원문끝

원문시작

원문끝