some fixes
This commit is contained in:
parent
bf0ee1f16c
commit
67cf9c4933
|
@ -147,7 +147,7 @@ IMPLEMENTATION MODULE CSP;
|
|||
|
||||
PROCEDURE COEND;
|
||||
(* End of a COBEGIN .. COEND structure *)
|
||||
VAR aux: ProcessType;
|
||||
(* VAR aux: ProcessType; *)
|
||||
BEGIN
|
||||
IF cp^.sons > 0 THEN
|
||||
DoTransfer
|
||||
|
@ -219,7 +219,7 @@ IMPLEMENTATION MODULE CSP;
|
|||
PROCEDURE Send(data: ARRAY OF BYTE; VAR ch: Channel);
|
||||
(* Send a message with the data to the cvhannel ch *)
|
||||
VAR m: ByteAddress;
|
||||
aux: ProcessType;
|
||||
(* aux: ProcessType; *)
|
||||
i: CARDINAL;
|
||||
BEGIN
|
||||
WITH ch^ DO
|
||||
|
@ -295,7 +295,7 @@ IMPLEMENTATION MODULE CSP;
|
|||
PROCEDURE GUARD(cond: BOOLEAN; ch: Channel;
|
||||
VAR dest: ARRAY OF BYTE): BOOLEAN;
|
||||
(* Evaluates a guard, including reception management *)
|
||||
VAR aux: ProcessType;
|
||||
(* VAR aux: ProcessType; *)
|
||||
BEGIN
|
||||
IF NOT cond THEN
|
||||
RETURN FALSE
|
||||
|
|
|
@ -183,7 +183,6 @@ IMPLEMENTATION MODULE InOut ;
|
|||
VAR buf : ARRAY OF CHAR);
|
||||
VAR i : INTEGER;
|
||||
j : CARDINAL;
|
||||
ch: CHAR;
|
||||
BEGIN
|
||||
Done := TRUE;
|
||||
IF isatty(0) THEN
|
||||
|
|
|
@ -34,9 +34,11 @@ BEGIN
|
|||
END exp;
|
||||
|
||||
PROCEDURE entier(x: REAL): INTEGER;
|
||||
VAR i: INTEGER;
|
||||
BEGIN
|
||||
IF x < 0.0 THEN
|
||||
RETURN - TRUNC(-x);
|
||||
i := TRUNC(-x);
|
||||
RETURN -i;
|
||||
END;
|
||||
RETURN TRUNC(x);
|
||||
END entier;
|
||||
|
|
|
@ -17,7 +17,7 @@ IMPLEMENTATION MODULE RealInOut;
|
|||
BEGIN
|
||||
IF ndigits > MAXWIDTH THEN ndigits := MAXWIDTH; END;
|
||||
IF ndigits < 10 THEN ndigits := 10; END;
|
||||
RealConversions.RealToString(arg, ndigits, -(ndigits - 7), buf, ok);
|
||||
RealConversions.RealToString(arg, ndigits, -INTEGER(ndigits - 7), buf, ok);
|
||||
InOut.WriteString(buf);
|
||||
END WriteReal;
|
||||
|
||||
|
|
|
@ -53,7 +53,6 @@ PROCEDURE Delete(VAR str: ARRAY OF CHAR; inx, len: CARDINAL);
|
|||
string are deleted.
|
||||
*)
|
||||
VAR length: CARDINAL;
|
||||
i : CARDINAL;
|
||||
BEGIN
|
||||
IF len = 0 THEN RETURN; END;
|
||||
length := Length(str);
|
||||
|
|
Loading…
Reference in a new issue