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

added some missing operations 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5653 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2006-12-05 12:01:24 +00:00
parent 92cd6ce299
commit c71758067a
1 changed files with 45 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
src/ocl_library.sml
View File

@ -57,6 +57,21 @@ val oclLib =
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[],isQuery=true,name="notEmpty",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[],isQuery=true,name="size",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Integer"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[],isQuery=true,name="isEmpty",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[("s",Classifier [OclLibPackage,"Sequence(T)"])],
isQuery=true,
@ -288,6 +303,21 @@ val oclLib =
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[],isQuery=true,name="size",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Integer"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[],isQuery=true,name="notEmpty",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[],isQuery=true,name="isEmpty",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
isQuery=true,name="==",postcondition=[],precondition=[],
@ -393,6 +423,16 @@ val oclLib =
result=Classifier [OclLibPackage,"Set(T)"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[],isQuery=true,name="notEmpty",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[],isQuery=true,name="size",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Integer"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
isQuery=true,name="union",postcondition=[],precondition=[],
@ -411,6 +451,11 @@ val oclLib =
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[],isQuery=true,name="isEmpty",postcondition=[],
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
isQuery=true,name="~=",postcondition=[],precondition=[],