HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed typos.

This commit is contained in:
Achim D. Brucker 2016-11-02 23:30:14 +00:00
parent d2ffabaf3d
commit fb448f4d2e
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
simple/simple.ocl
View File

@ -75,13 +75,13 @@ package simple
-- Operations: pre/post
-- ==============================
-- ====================
context A::m(p:Integer):Integer
pre: p > 0
post: (result = 0 - p) and p > (0-5)
-- Operations: @per
-- ==============================
-- Operations: @pre
-- ================
context A::m(p:Integer):Integer
post pre1: self = self@pre
post pre2: p = i@pre - 5
@ -152,7 +152,7 @@ package simple
def: s:String=''
-- def (method):
-- =================
-- =============
context A
def: fac(n:Integer):Integer = n fac(n-1)