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

template for 'orderedSet' was missing. 

I inserted it, but not sure if it is correct.
mk


git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6291 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2007-04-02 21:53:05 +00:00
parent 007023d21e
commit 90af330bfb
1 changed files with 208 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

210
src/ocl_library.sml
View File

@ -297,7 +297,8 @@ val oclLib =
visibility=XMI.public
}],
parent= NONE,
stereotypes=[],thyname=NONE
stereotypes=[],
thyname=NONE
}: Rep_Core.Classifier
},
Template
@ -587,6 +588,211 @@ val oclLib =
scope=XMI.InstanceScope,visibility=XMI.public}],parent=NONE,
stereotypes=[],thyname=NONE
}: Rep_Core.Classifier
},Template
{
parameter = TemplateParameter "T",
classifier = Class
{
attributes=[],
associationends=[],
activity_graphs=[],
interfaces=[],
invariant=[],
name=OrderedSet (TemplateParameter "T"),
operations=[
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,
name="union",
postcondition=[],
precondition=[],
result=OrderedSet(TemplateParameter "T"),
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[],
isQuery=true,
name="notEmpty",
postcondition=[],
precondition=[],
result=Boolean,
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[],
isQuery=true,
name="size",
postcondition=[],
precondition=[],
result=Integer,
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("bag",Bag(TemplateParameter "T"))],
isQuery=true,
name="union",
postcondition=[],
precondition=[],
result=Bag(TemplateParameter "T"),
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,name="=",
postcondition=[],
precondition=[],
result=Boolean,
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,
name="==",
postcondition=[],
precondition=[],
result=Boolean,
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[],
isQuery=true,
name="isEmpty",
postcondition=[],
precondition=[],
result=Boolean,
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,name="~=",
postcondition=[],
precondition=[],
result=Boolean,
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,
name="~==",
postcondition=[],
precondition=[],
result=Boolean,
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,
name="~=~",
postcondition=[],
precondition=[],
result=Boolean,
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,
name="~==~",
postcondition=[],
precondition=[],
result=Boolean,
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,
name="intersection",
postcondition=[],
precondition=[],
result=OrderedSet(TemplateParameter "T"),
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("bag",Bag(TemplateParameter "T"))],
isQuery=true,
name="intersection",
postcondition=[],
precondition=[],
result=OrderedSet(TemplateParameter "T"),
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,
name="-",
postcondition=[],
precondition=[],
result=OrderedSet(TemplateParameter "T"),
scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[("object",TemplateParameter "T")],
isQuery=true,name="including",postcondition=[],
precondition=[],result=Set(TemplateParameter "T"),
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[("object",TemplateParameter "T")],
isQuery=true,name="excluding",postcondition=[],
precondition=[],result=Set(TemplateParameter "T"),
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[("s",OrderedSet(TemplateParameter "T"))],
isQuery=true,name="symmetricDifference",postcondition=[],
precondition=[],result=Set(TemplateParameter "T"),
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[("object",TemplateParameter "T")],
isQuery=true,name="count",postcondition=[],precondition=[],
result=Integer,scope=XMI.InstanceScope,
visibility=XMI.public
},
{
arguments=[],isQuery=true,name="flatten",postcondition=[],
precondition=[],result=Set(TemplateParameter "T"),
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[],isQuery=true,name="asSet",postcondition=[],
precondition=[],result=Set(TemplateParameter "T"),
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[],isQuery=true,name="asSequence",
postcondition=[],precondition=[],
result=Sequence(TemplateParameter "T"),
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[],isQuery=true,name="asBag",postcondition=[],
precondition=[],result=Bag(TemplateParameter "T"),
scope=XMI.InstanceScope,visibility=XMI.public
},
{
arguments=[("oset",OrderedSet(TemplateParameter "T"))],
isQuery=true,name="union",postcondition=[],precondition=[],
result=Bag(TemplateParameter "T"),
scope=XMI.InstanceScope,visibility=XMI.public}],parent=NONE,
stereotypes=[],thyname=NONE
}: Rep_Core.Classifier
},
Template
{
@ -596,7 +802,7 @@ val oclLib =
attributes=[],
associationends=[],
activity_graphs=[],
interfaces=[],invariant=[],name=Collection (TemplateParameter "T"),
interfaces=[],invariant=[],name=Collection(TemplateParameter "T"),
operations=[
{
arguments=[],isQuery=true,name="size",postcondition=[],