HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6268 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Manuel Krucker 2007-03-25 20:55:41 +00:00
parent 6e3f4f8105
commit 92a5d87c40
1 changed files with 23 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
src/ocl_library.sml
View File

@ -28,12 +28,11 @@ sig
val oclLib : Rep_Core.Classifier list
val OclLibPackage : string
end
structure OclLibrary : OCL_LIBRARY=
struct
open Rep_Core
open Rep_OclType
val OclLibPackage="oclLib"
val oclLib =
@ -282,7 +281,7 @@ val oclLib =
scope=XMI.InstanceScope,
visibility=XMI.public
}],
parent=NONE,
parent= NONE,
stereotypes=[],thyname=NONE
}: Rep_Core.Classifier
},
@ -636,8 +635,13 @@ val oclLib =
attributes=[],
associationends=[],
activity_graphs=[],
interfaces=[],invariant=[],name=OclVoid,operations=[],
parent=NONE,stereotypes=[],thyname=NONE
interfaces=[],
invariant=[],
name=OclVoid,
operations=[],
parent= SOME OclAny,
stereotypes=[],
thyname=NONE
},
Primitive
@ -761,8 +765,10 @@ val oclLib =
{
arguments=[],isQuery=true,name="toLower",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"String"],
scope=XMI.InstanceScope,visibility=XMI.public}],parent=NONE,
stereotypes=[],thyname=NONE
scope=XMI.InstanceScope,visibility=XMI.public}],
parent= SOME OclAny,
stereotypes=[],
thyname=NONE
},
Primitive
{
@ -831,8 +837,10 @@ val oclLib =
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
isQuery=true,name="implies2",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
scope=XMI.InstanceScope,visibility=XMI.public}],parent=NONE,
stereotypes=[],thyname=NONE
scope=XMI.InstanceScope,visibility=XMI.public}],
parent= SOME OclAny,
stereotypes=[],
thyname=NONE
},
Primitive
{
@ -894,7 +902,9 @@ val oclLib =
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
isQuery=true,name="min",postcondition=[],precondition=[],
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
visibility=XMI.public}],parent=NONE,stereotypes=[],
visibility=XMI.public}],
parent= SOME OclAny,
stereotypes=[],
thyname=NONE
},
Primitive
@ -979,7 +989,9 @@ val oclLib =
arguments=[("r",Classifier [OclLibPackage,"Real"])],
isQuery=true,name=">=",postcondition=[],precondition=[],
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
visibility=XMI.public}],parent=NONE,stereotypes=[],
visibility=XMI.public}],
parent= SOME OclAny,
stereotypes=[],
thyname=NONE
}
] : Rep_Core.Classifier list