2006-10-04 08:03:29 +00:00
|
|
|
(*****************************************************************************
|
|
|
|
* su4sml - a SecureUML repository for SML
|
|
|
|
*
|
|
|
|
* ocl_library.sml -
|
|
|
|
* Copyright (C) 2006 Achim D. Brucker <brucker@inf.ethz.ch>
|
|
|
|
* Jürgen Doser <doserj@inf.ethz.ch>
|
|
|
|
*
|
|
|
|
* This file is part of su4sml.
|
|
|
|
*
|
|
|
|
* su4sml is free software; you can redistribute it and/or modify it under
|
|
|
|
* the terms of the GNU General Public License as published by the Free
|
|
|
|
* Software Foundation; either version 2 of the License, or (at your option)
|
|
|
|
* any later version.
|
|
|
|
*
|
|
|
|
* su4sml is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
|
|
* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
|
|
|
|
* FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
|
|
|
|
* details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License along
|
|
|
|
* with this program; if not, write to the Free Software Foundation, Inc.,
|
|
|
|
* 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
|
|
|
******************************************************************************)
|
|
|
|
|
2006-12-08 17:16:33 +00:00
|
|
|
(** A Package consisting of the OCL Library. *)
|
2006-10-04 08:03:29 +00:00
|
|
|
signature OCL_LIBRARY=
|
|
|
|
sig
|
|
|
|
val oclLib : Rep_Core.Classifier list
|
2006-11-08 09:03:19 +00:00
|
|
|
val OclLibPackage : string
|
2006-10-04 08:03:29 +00:00
|
|
|
end
|
2007-03-25 20:55:41 +00:00
|
|
|
|
2006-10-04 08:03:29 +00:00
|
|
|
structure OclLibrary : OCL_LIBRARY=
|
|
|
|
struct
|
|
|
|
open Rep_Core
|
|
|
|
open Rep_OclType
|
2006-12-05 19:39:20 +00:00
|
|
|
val OclLibPackage="oclLib"
|
2006-10-04 08:03:29 +00:00
|
|
|
|
|
|
|
val oclLib =
|
|
|
|
[Template
|
|
|
|
{
|
|
|
|
parameter = TemplateParameter "T",
|
|
|
|
classifier = Class
|
|
|
|
{
|
|
|
|
interfaces=[],attributes=[],
|
|
|
|
associationends=[],
|
|
|
|
activity_graphs=[],
|
|
|
|
invariant=[],
|
2006-12-15 06:52:09 +00:00
|
|
|
name=Sequence (TemplateParameter "T"),
|
2006-10-04 08:03:29 +00:00
|
|
|
operations=[
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,
|
|
|
|
name="count",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
2006-12-05 12:01:24 +00:00
|
|
|
{
|
|
|
|
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
|
|
|
|
},
|
2006-10-04 08:03:29 +00:00
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Sequence(T)"])],
|
|
|
|
isQuery=true,
|
|
|
|
name="=",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Sequence(T)"])],
|
|
|
|
isQuery=true,
|
|
|
|
name="==",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Sequence(T)"])],
|
|
|
|
isQuery=true,
|
|
|
|
name="~=",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Sequence(T)"])],
|
|
|
|
isQuery=true,
|
|
|
|
name="~==",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Sequence(T)"])],
|
|
|
|
isQuery=true,
|
|
|
|
name="~=~",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Sequence(T)"])],
|
|
|
|
isQuery=true,
|
|
|
|
name="~==~",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Sequence(T)"])],
|
|
|
|
isQuery=true,
|
|
|
|
name="union",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],
|
|
|
|
isQuery=true,
|
|
|
|
name="flatten",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object", TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,
|
|
|
|
name="append",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,
|
|
|
|
name="prepend",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("index",Classifier [OclLibPackage,"Integer"]),
|
2006-12-15 06:52:09 +00:00
|
|
|
("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="insertAt",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("lower",Classifier [OclLibPackage,"Integer"]),
|
|
|
|
("upper",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,
|
|
|
|
name="subSequence",postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,
|
|
|
|
name="at",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
2006-12-15 06:52:09 +00:00
|
|
|
result=TemplateParameter "T",
|
2006-10-04 08:03:29 +00:00
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("obj",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,
|
|
|
|
name="indexOf",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],
|
|
|
|
isQuery=true,
|
|
|
|
name="first",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
2006-12-15 06:52:09 +00:00
|
|
|
result=TemplateParameter "T",
|
2006-10-04 08:03:29 +00:00
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],
|
|
|
|
isQuery=true,
|
|
|
|
name="last",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
2006-12-15 06:52:09 +00:00
|
|
|
result=TemplateParameter "T",
|
2006-10-04 08:03:29 +00:00
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,
|
|
|
|
name="including",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,
|
|
|
|
name="excluding",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],
|
|
|
|
isQuery=true,
|
|
|
|
name="asSet",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],
|
|
|
|
isQuery=true,
|
|
|
|
name="asSequence",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],
|
|
|
|
isQuery=true,
|
|
|
|
name="asBag",
|
|
|
|
postcondition=[],
|
|
|
|
precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
}],
|
2007-03-25 20:55:41 +00:00
|
|
|
parent= NONE,
|
2006-10-04 08:03:29 +00:00
|
|
|
stereotypes=[],thyname=NONE
|
|
|
|
}: Rep_Core.Classifier
|
|
|
|
},
|
|
|
|
Template
|
|
|
|
{
|
|
|
|
parameter = TemplateParameter "T",
|
|
|
|
classifier = Class
|
|
|
|
{
|
|
|
|
attributes=[],
|
|
|
|
associationends=[],
|
|
|
|
activity_graphs=[],
|
|
|
|
interfaces=[],
|
|
|
|
invariant=[],
|
2006-12-15 06:52:09 +00:00
|
|
|
name=Bag (TemplateParameter "T"),
|
2006-10-04 08:03:29 +00:00
|
|
|
operations=[
|
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="=",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
2006-12-05 12:01:24 +00:00
|
|
|
{
|
|
|
|
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
|
|
|
|
},
|
2006-10-04 08:03:29 +00:00
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="==",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="~=",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="~==",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="~=~",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="~==~",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="union",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="intersection",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("set",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="intersection",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="including",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="excluding",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="count",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="flatten",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="asSet",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="asSequence",
|
|
|
|
postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="asBag",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public}],parent=NONE,
|
|
|
|
stereotypes=[],thyname=NONE
|
|
|
|
}: Rep_Core.Classifier
|
|
|
|
},
|
|
|
|
Template
|
|
|
|
{
|
|
|
|
parameter = TemplateParameter "T",
|
|
|
|
classifier = Class
|
|
|
|
{
|
|
|
|
attributes=[],
|
|
|
|
associationends=[],
|
|
|
|
activity_graphs=[],
|
2006-12-15 06:52:09 +00:00
|
|
|
interfaces=[],invariant=[],
|
|
|
|
name=Set (TemplateParameter "T"),
|
2006-10-04 08:03:29 +00:00
|
|
|
operations=[
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="union",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
2006-12-05 12:01:24 +00:00
|
|
|
{
|
|
|
|
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
|
|
|
|
},
|
2006-10-04 08:03:29 +00:00
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="union",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="=",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="==",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
2006-12-05 12:01:24 +00:00
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="isEmpty",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
2006-10-04 08:03:29 +00:00
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="~=",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="~==",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="~=~",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="~==~",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="intersection",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("bag",Classifier [OclLibPackage,"Bag(T)"])],
|
|
|
|
isQuery=true,name="intersection",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="-",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="including",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="excluding",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="symmetricDifference",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="count",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="flatten",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="asSet",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="asSequence",
|
|
|
|
postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Sequence(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="asBag",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
|
|
|
|
{
|
|
|
|
arguments=[("set",Classifier [OclLibPackage,"Set(T)"])],
|
|
|
|
isQuery=true,name="union",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Bag(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public}],parent=NONE,
|
|
|
|
stereotypes=[],thyname=NONE
|
|
|
|
}: Rep_Core.Classifier
|
|
|
|
},
|
|
|
|
Template
|
|
|
|
{
|
|
|
|
parameter = TemplateParameter "T",
|
|
|
|
classifier = Class
|
|
|
|
{
|
|
|
|
attributes=[],
|
|
|
|
associationends=[],
|
|
|
|
activity_graphs=[],
|
2006-12-15 06:52:09 +00:00
|
|
|
interfaces=[],invariant=[],name=Collection (TemplateParameter "T"),
|
2006-10-04 08:03:29 +00:00
|
|
|
operations=[
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="size",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Integer"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="modifiedOnly",
|
|
|
|
postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="includes",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="excludes",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
arguments=[("object",TemplateParameter "T")],
|
2006-10-04 08:03:29 +00:00
|
|
|
isQuery=true,name="count",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("c",Classifier [OclLibPackage,"Collection(T)"])],
|
|
|
|
isQuery=true,name="includesAll",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("c",Classifier [OclLibPackage,"Collection(T)"])],
|
|
|
|
isQuery=true,name="excludesAll",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=[],isQuery=true,name="notEmpty",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="sum",postcondition=[],
|
2006-12-15 06:52:09 +00:00
|
|
|
precondition=[],result=TemplateParameter "T",
|
2006-10-04 08:03:29 +00:00
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("c2",
|
|
|
|
Classifier [OclLibPackage,"Collection(T)"])],
|
|
|
|
isQuery=true,name="product",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public}],parent=NONE,
|
|
|
|
stereotypes=[],thyname=NONE
|
|
|
|
}: Rep_Core.Classifier
|
|
|
|
},
|
|
|
|
Class
|
|
|
|
{
|
|
|
|
attributes=[],
|
|
|
|
associationends=[],
|
|
|
|
activity_graphs=[],
|
2007-03-25 20:55:41 +00:00
|
|
|
interfaces=[],
|
|
|
|
invariant=[],
|
2007-03-28 06:45:05 +00:00
|
|
|
name = OclVoid,
|
2007-03-25 20:55:41 +00:00
|
|
|
operations=[],
|
|
|
|
parent= SOME OclAny,
|
|
|
|
stereotypes=[],
|
|
|
|
thyname=NONE
|
2006-10-04 08:03:29 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
Primitive
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
associationends=[],interfaces=[],invariant=[],name=OclAny,
|
2006-10-04 08:03:29 +00:00
|
|
|
operations=[
|
|
|
|
{
|
|
|
|
arguments=[("object",Classifier [OclLibPackage,"OclAny"])],
|
|
|
|
isQuery=true,name="=",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("object",Classifier [OclLibPackage,"OclAny"])],
|
|
|
|
isQuery=true,name="==",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("object",Classifier [OclLibPackage,"OclAny"])],
|
|
|
|
isQuery=true,name="~=",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("object",Classifier [OclLibPackage,"OclAny"])],
|
|
|
|
isQuery=true,name="~==",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("object",Classifier [OclLibPackage,"OclAny"])],
|
|
|
|
isQuery=true,name="~=~",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("object",Classifier [OclLibPackage,"OclAny"])],
|
|
|
|
isQuery=true,name="~==~",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("object",Classifier [OclLibPackage,"OclAny"])],
|
|
|
|
isQuery=true,name="<>",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="oclIsNew",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="oclIsUndefined",
|
|
|
|
postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="asSet",postcondition=[],
|
2006-12-15 06:52:09 +00:00
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Set(T)"],
|
2006-10-04 08:03:29 +00:00
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="atPre",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"OclAny"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("statename",Classifier ["OclState"])],
|
|
|
|
isQuery=true,name="oclIsInState",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="allInstances",
|
|
|
|
postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Set(OclAny)"],
|
|
|
|
scope=XMI.ClassifierScope,visibility=XMI.public}],parent=NONE,
|
|
|
|
stereotypes=[],thyname=NONE
|
|
|
|
},
|
|
|
|
Primitive
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
associationends=[],interfaces=[],invariant=[],name=String,
|
2006-10-04 08:03:29 +00:00
|
|
|
operations=[
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="size",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Integer"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("s",Classifier [OclLibPackage,"String"])],
|
|
|
|
isQuery=true,name="concat",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"String"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("lower",Classifier [OclLibPackage,"Integer"]),
|
|
|
|
("upper",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,name="substring",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"String"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="toInteger",
|
|
|
|
postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="toReal",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Real"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="toUpper",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"String"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="toLower",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"String"],
|
2007-03-25 20:55:41 +00:00
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public}],
|
|
|
|
parent= SOME OclAny,
|
|
|
|
stereotypes=[],
|
|
|
|
thyname=NONE
|
2006-10-04 08:03:29 +00:00
|
|
|
},
|
|
|
|
Primitive
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
associationends=[],interfaces=[],invariant=[],name=Boolean,
|
2006-10-04 08:03:29 +00:00
|
|
|
operations=[
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="or",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="xor",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="and",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="implies",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="not",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="sor",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="sxor",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="sand",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="simplies",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="implies1",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("b",Classifier [OclLibPackage,"Boolean"])],
|
|
|
|
isQuery=true,name="implies2",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Boolean"],
|
2007-03-25 20:55:41 +00:00
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public}],
|
|
|
|
parent= SOME OclAny,
|
|
|
|
stereotypes=[],
|
|
|
|
thyname=NONE
|
2006-10-04 08:03:29 +00:00
|
|
|
},
|
|
|
|
Primitive
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
associationends=[],interfaces=[],invariant=[],name=Integer,
|
2006-10-04 08:03:29 +00:00
|
|
|
operations=[
|
|
|
|
{
|
|
|
|
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,name="+",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,name="-",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,name="*",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="-",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Integer"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,name="/",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Real"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,name="div",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="abs",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Integer"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,name="mod",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,name="max",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("i",Classifier [OclLibPackage,"Integer"])],
|
|
|
|
isQuery=true,name="min",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Integer"],scope=XMI.InstanceScope,
|
2007-03-25 20:55:41 +00:00
|
|
|
visibility=XMI.public}],
|
2007-03-28 06:45:05 +00:00
|
|
|
parent= SOME Real,
|
2007-03-25 20:55:41 +00:00
|
|
|
stereotypes=[],
|
2006-10-04 08:03:29 +00:00
|
|
|
thyname=NONE
|
|
|
|
},
|
|
|
|
Primitive
|
|
|
|
{
|
2006-12-15 06:52:09 +00:00
|
|
|
associationends=[],interfaces=[],invariant=[],name=Real,
|
2006-10-04 08:03:29 +00:00
|
|
|
operations=[
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name="+",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Real"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name="-",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Real"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name="*",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Real"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="-",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Real"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name="/",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Real"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="abs",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Real"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="floor",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Integer"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[],isQuery=true,name="round",postcondition=[],
|
|
|
|
precondition=[],result=Classifier [OclLibPackage,"Integer"],
|
|
|
|
scope=XMI.InstanceScope,visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name="max",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Real"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name="min",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Real"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name="<",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name=">",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name="<=",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
|
|
|
visibility=XMI.public
|
|
|
|
},
|
|
|
|
{
|
|
|
|
arguments=[("r",Classifier [OclLibPackage,"Real"])],
|
|
|
|
isQuery=true,name=">=",postcondition=[],precondition=[],
|
|
|
|
result=Classifier [OclLibPackage,"Boolean"],scope=XMI.InstanceScope,
|
2007-03-25 20:55:41 +00:00
|
|
|
visibility=XMI.public}],
|
|
|
|
parent= SOME OclAny,
|
|
|
|
stereotypes=[],
|
2006-10-04 08:03:29 +00:00
|
|
|
thyname=NONE
|
|
|
|
}
|
|
|
|
] : Rep_Core.Classifier list
|
|
|
|
|
|
|
|
end
|