Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: SetpointProfileCSV.vdmrt Sprache: VDM

Original von: VDM^©

class SetpointProfileCSV

instance variables

-- file to read and the number of lines it contains
filename: seq of char;
lines: int;
line: int;

-- current and next setpoint
setpoint: real;
next_setpoint: [(real * real)]

operations

-- constructor for SetpointProfileCSV
public SetpointProfileCSV: real * seq of char ==> SetpointProfileCSV
SetpointProfileCSV(init, file) ==
(
-- count lines in file
filename := file;
line := 1;
let mk_(success,l) = CSV`flinecount(file) in
(
  if not success then quit("Failed to read input file '%s': %s.", [file, new CSV().ferror()]);
  lines := l
);
setpoint := init;
next_setpoint := nil
);

-- constructor for SetpointProfileCSV
public SetpointProfileCSV: seq of char ==> SetpointProfileCSV
SetpointProfileCSV(file) ==
SetpointProfileCSV(0.0, file);

-- read the next setpoint from the file
private ReadNextSetpoint: () ==> ()
ReadNextSetpoint() ==
(
let mk_(-,vals) = CSV`freadval[seq of real](filename,line) in
(
  if len vals <> 2 then quit("Incorrect number of values in %s line %s (expected: 2, actual: %s)\n", [filename,line,len vals])
  else
  (
   next_setpoint := mk_(vals(1),vals(2));
   line := line + 1;
  )
)
)
pre line <= lines and next_setpoint = nil;

-- return the value of the current setpoint
public GetSetpoint: () ==> real
GetSetpoint() ==
( dcl curtime : real := time / 1.0E9;
-- no more setpoints
if line = lines then return setpoint;

-- read from file if we need to
if next_setpoint = nil then ReadNextSetpoint();

-- update setpoint if necessary
let mk_(t,sp) = next_setpoint in
  if curtime >= t then
  (
   setpoint := sp;
   next_setpoint := nil
  );

    -- show the computed setpoint
    IO`printf("setpoint (%s) = %s\n", [curtime, setpoint]);

-- return current setpoint
return setpoint
);

-- quit with given error (printf version)
private quit: seq of char * seq of ? ==> ()
quit(m,s) ==
(
IO`printf(m ^ "\n",s);
exit
);

-- quit with given error (println version)
private quit: seq of char ==> ()
quit(m) ==
(
IO`println(m);
exit
)

end SetpointProfileCSV

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.