| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMSL/ProgLangSL/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 501 B |
|
Quelle Test.vdmsl Sprache: VDM |
|||||||||
|
\section{The Test Module}
\begin{vdm_al} module Test imports from AST all, from STATSEM all, from DYNSEM all exports all definitions values binexpr: AST`Expr = mk_AST`BinaryExpr(mk_AST`IntVal(4), <Add>, mk_AST`IntVal(5)) functions RunTypeCheck: () -> bool * [AST`Type] RunTypeCheck() == STATSEM`wf_Expr(binexpr,{|->}); RunEval: () -> AST`Value RunEval() == DYNSEM`EvalExpr(binexpr,{|->}) end Test \end{vdm_al} ¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28