-- Overture STANDARD LIBRARY: MiscUtils -- -------------------------------------------- -- Version 1.0.0 -- -- Standard library for the Overture Interpreter. When the interpreter -- evaluates the preliminary functions/operations in this file, -- corresponding internal functions is called instead of issuing a run -- time error. Signatures should not be changed, as well as name of -- module (VDM-SL) or class (VDM++). Pre/post conditions is -- fully user customisable. -- Dont care's may NOT be used in the parameter lists.
functions -- Converts a set argument into a sequence in non-deterministic order. staticpublic set2seq[@T] : setof @T +> seqof @T
set2seq(x) == isnotyetspecified;
-- Returns a context information tuple which represents -- (fine_name * line_num * column_num * class_name * fnop_name) of corresponding source text staticpublic get_file_pos : () +> [ seqofchar * nat * nat * seqofchar * seqofchar ]
get_file_pos() == isnotyetspecified;
-- Converts a VDM value into a seq of char. staticpublic val2seq_of_char[@T] : @T +> seqofchar
val2seq_of_char(x) == isnotyetspecified;
-- converts VDM value in ASCII format into a VDM value -- RESULT.#1 = false implies a conversion failure staticpublic seq_of_char2val[@p]:seq1ofchar -> bool * [@p]
seq_of_char2val(s) == let mk_(b, v) = seq_of_char2val_(s) in if is_(v, @p) then mk_(b, v) else mk_(false, nil) postlet mk_(b,t) = RESULTinnot b => t = nil;
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.
