Open deemaalomair1 opened 4 years ago
loadFile(f:String): • transition: loaded := ReadFile(f)
in the transition loaded is equal to function ReadFile that takes file (f) .. i think you should mention "ReadFile(f)" function somewhere in the semantic of this module .. maybe in the local function section
loadFile(f:String): • transition: loaded := ReadFile(f)
in the transition loaded is equal to function ReadFile that takes file (f) .. i think you should mention "ReadFile(f)" function somewhere in the semantic of this module .. maybe in the local function section