cleanup
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6595 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
378034413f
commit
3cf552d2e7
|
@ -1,81 +0,0 @@
|
|||
*** Company ***
|
||||
parsing: passed
|
||||
preprocess: passed
|
||||
typecheck: passed
|
||||
update: passed
|
||||
encode: passed
|
||||
|
||||
==> overall: passed
|
||||
|
||||
*** ebank ***
|
||||
parsing: passed
|
||||
preprocess: passed
|
||||
typecheck: passed
|
||||
update: passed
|
||||
encode: passed
|
||||
|
||||
==> overall: passed
|
||||
|
||||
*** encoding_example ***
|
||||
parsing: passed
|
||||
preprocess: passed
|
||||
typecheck: passed
|
||||
update: passed
|
||||
encoding: passed
|
||||
|
||||
==> overall: passed
|
||||
|
||||
*** isp ***
|
||||
parsing: passed
|
||||
preprocess: passed
|
||||
typecheck: passed
|
||||
update: passed
|
||||
encode: passed
|
||||
|
||||
==> overall: passed
|
||||
|
||||
*** Royals and Loyals ***
|
||||
parsing: passed
|
||||
preprocess: passed
|
||||
typecheck: passed
|
||||
update: passed
|
||||
encode: passed
|
||||
|
||||
==> overall: passed
|
||||
|
||||
*** simple ***
|
||||
parsing: passed
|
||||
preprocess: passed
|
||||
typecheck: passed
|
||||
update: passed
|
||||
encode: passed
|
||||
|
||||
==> overall: passed
|
||||
|
||||
*** stack ***
|
||||
parsing: passed
|
||||
preprocess: passed
|
||||
typecheck: passed
|
||||
update: passed
|
||||
encode: passed
|
||||
|
||||
==> overall: passed
|
||||
|
||||
*** digraph ***
|
||||
parsing: passed
|
||||
preprocess: passed
|
||||
typecheck: passed
|
||||
update: passed
|
||||
encode: passed
|
||||
|
||||
==> overall: passed
|
||||
|
||||
*** vehicles ***
|
||||
parsing: passed
|
||||
preprocess: passed
|
||||
typecheck: passed
|
||||
update: passed
|
||||
encode: passed
|
||||
|
||||
==> overall: passed
|
||||
|
|
@ -1,104 +0,0 @@
|
|||
<?xml version = '1.0' encoding = 'UTF-8' ?>
|
||||
<XMI xmi.version = '1.2' xmlns:UML = 'org.omg.xmi.namespace.UML' timestamp = 'Wed Feb 01 17:42:30 CET 2006'>
|
||||
<XMI.header> <XMI.header>
|
||||
<XMI.documentation>
|
||||
<XMI.exporter>ArgoUML (using Netbeans XMI Writer version 1.0)</XMI.exporter>
|
||||
<XMI.exporterVersion>0.20.x</XMI.exporterVersion>
|
||||
</XMI.documentation>
|
||||
<XMI.metamodel xmi.name="UML" xmi.version="1.4"/> </XMI.header>
|
||||
</XMI.header>
|
||||
<XMI.content>
|
||||
<UML:Model xmi.id = '.:0000000000000833' name = 'Simple Encoding Example'
|
||||
isSpecification = 'false' isRoot = 'false' isLeaf = 'false' isAbstract = 'false'>
|
||||
<UML:Namespace.ownedElement>
|
||||
<UML:Package xmi.id = '.:0000000000000824' name = 'UML_OCL' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'>
|
||||
<UML:Namespace.ownedElement>
|
||||
<UML:Class xmi.id = '.:0000000000000821' name = 'String' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false' isActive = 'false'/>
|
||||
<UML:DataType xmi.id = '.:0000000000000822' name = 'Real' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'/>
|
||||
<UML:DataType xmi.id = '.:0000000000000823' name = 'Integer' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'/>
|
||||
</UML:Namespace.ownedElement>
|
||||
</UML:Package>
|
||||
<UML:Package xmi.id = '.:0000000000000832' name = 'encoding' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'>
|
||||
<UML:Namespace.ownedElement>
|
||||
<UML:Generalization xmi.id = '.:0000000000000829' isSpecification = 'false'>
|
||||
<UML:Generalization.child>
|
||||
<UML:Class xmi.idref = '.:0000000000000828'/>
|
||||
</UML:Generalization.child>
|
||||
<UML:Generalization.parent>
|
||||
<UML:Class xmi.idref = '.:0000000000000831'/>
|
||||
</UML:Generalization.parent>
|
||||
</UML:Generalization>
|
||||
<UML:Class xmi.id = '.:0000000000000831' name = 'A' visibility = 'public'
|
||||
isSpecification = 'false' isRoot = 'false' isLeaf = 'false' isAbstract = 'false'
|
||||
isActive = 'false'>
|
||||
<UML:Classifier.feature>
|
||||
<UML:Attribute xmi.id = '.:000000000000082C' name = 'i' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:000000000000082B'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:000000000000082A' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:DataType xmi.idref = '.:0000000000000823'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
<UML:Operation xmi.id = '.:0000000000000830' name = 'f' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' isQuery = 'false' concurrency = 'sequential'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'>
|
||||
<UML:BehavioralFeature.parameter>
|
||||
<UML:Parameter xmi.id = '.:000000000000082D' name = 'return' isSpecification = 'false'
|
||||
kind = 'return'>
|
||||
<UML:Parameter.type>
|
||||
<UML:DataType xmi.idref = '.:0000000000000823'/>
|
||||
</UML:Parameter.type>
|
||||
</UML:Parameter>
|
||||
<UML:Parameter xmi.id = '.:000000000000082F' name = 'x' isSpecification = 'false'
|
||||
kind = 'in'>
|
||||
<UML:Parameter.defaultValue>
|
||||
<UML:Expression xmi.id = '.:000000000000082E' language = 'Java' body = ''/>
|
||||
</UML:Parameter.defaultValue>
|
||||
<UML:Parameter.type>
|
||||
<UML:DataType xmi.idref = '.:0000000000000823'/>
|
||||
</UML:Parameter.type>
|
||||
</UML:Parameter>
|
||||
</UML:BehavioralFeature.parameter>
|
||||
</UML:Operation>
|
||||
</UML:Classifier.feature>
|
||||
</UML:Class>
|
||||
<UML:Class xmi.id = '.:0000000000000828' name = 'B' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false' isActive = 'false'>
|
||||
<UML:GeneralizableElement.generalization>
|
||||
<UML:Generalization xmi.idref = '.:0000000000000829'/>
|
||||
</UML:GeneralizableElement.generalization>
|
||||
<UML:Classifier.feature>
|
||||
<UML:Attribute xmi.id = '.:0000000000000827' name = 'j' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:0000000000000826'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:0000000000000825' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:Class xmi.idref = '.:0000000000000828'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
</UML:Classifier.feature>
|
||||
</UML:Class>
|
||||
</UML:Namespace.ownedElement>
|
||||
</UML:Package>
|
||||
</UML:Namespace.ownedElement>
|
||||
</UML:Model>
|
||||
</XMI.content>
|
||||
</XMI>
|
|
@ -1,11 +0,0 @@
|
|||
package encoding
|
||||
context A::i:Integer
|
||||
init: 42
|
||||
|
||||
context A
|
||||
inv: i >= 0
|
||||
|
||||
context A::f(x:Integer):Integer
|
||||
pre: x > 0
|
||||
post: 45 >= x
|
||||
endpackage
|
|
@ -1,76 +0,0 @@
|
|||
val it =
|
||||
[Class
|
||||
{activity_graphs=[],associationends=[],
|
||||
attributes=[{attr_type=Integer,init=NONE,name="r",scope=InstanceScope,
|
||||
stereotypes=[],visibility=public}],interfaces=[],
|
||||
invariant=[],name=["simple","E"],operations=[],
|
||||
parent=SOME ["simple","B"],stereotypes=[],thyname=NONE},
|
||||
Class
|
||||
{activity_graphs=[],associationends=[],
|
||||
attributes=[{attr_type=Real,init=NONE,name="r",scope=InstanceScope,
|
||||
stereotypes=[],visibility=public}],interfaces=[],
|
||||
invariant=[],name=["simple","D"],operations=[],
|
||||
parent=SOME ["simple","A"],stereotypes=[],thyname=NONE},
|
||||
Class
|
||||
{activity_graphs=[],associationends=[],
|
||||
attributes=[{attr_type=String,init=NONE,name="s",scope=InstanceScope,
|
||||
stereotypes=[],visibility=public}],interfaces=[],
|
||||
invariant=[],name=["simple","C"],operations=[],
|
||||
parent=SOME ["simple","A"],stereotypes=[],thyname=NONE},
|
||||
Class
|
||||
{activity_graphs=[],associationends=[],
|
||||
attributes=[{attr_type=Set (Classifier ["simple","A"]),init=NONE,
|
||||
name="a",scope=InstanceScope,stereotypes=[],
|
||||
visibility=public},
|
||||
{attr_type=Integer,init=NONE,name="j",scope=InstanceScope,
|
||||
stereotypes=[],visibility=public},
|
||||
{attr_type=Classifier ["simple","A"],init=NONE,
|
||||
name="attribA",scope=InstanceScope,stereotypes=[],
|
||||
visibility=public}],interfaces=[],
|
||||
invariant=[(SOME "multconstraint_for_aend_a",
|
||||
OperationCall
|
||||
(OperationCall
|
||||
(OperationCall
|
||||
(AttributeCall
|
||||
(Variable ("self",Classifier ["simple","B"]),
|
||||
Classifier ["simple","B"],["simple","B","a"],
|
||||
Set (Classifier ["simple","A"])),
|
||||
Set (Classifier ["simple","A"]),
|
||||
["oclLib","Collection","size"],[],Integer),Integer,
|
||||
["oclLib","Real",">="],
|
||||
[(Literal ("1",Integer),Integer)],Boolean),Boolean,
|
||||
["oclLib","Boolean","and"],
|
||||
[(OperationCall
|
||||
(OperationCall
|
||||
(AttributeCall
|
||||
(Variable ("self",Classifier ["simple","B"]),
|
||||
Classifier ["simple","B"],["simple","B","a"],
|
||||
Set (Classifier ["simple","A"])),
|
||||
Set (Classifier ["simple","A"]),
|
||||
["oclLib","Collection","size"],[],Integer),
|
||||
Integer,["oclLib","Real","<="],
|
||||
[(Literal ("5",Integer),Integer)],Boolean),Boolean)],
|
||||
Boolean))],name=["simple","B"],operations=[],parent=NONE,
|
||||
stereotypes=[],thyname=NONE},
|
||||
Class
|
||||
{activity_graphs=[],associationends=[],
|
||||
attributes=[{attr_type=Classifier ["simple","B"],init=NONE,name="b",
|
||||
scope=InstanceScope,stereotypes=[],visibility=public},
|
||||
{attr_type=Integer,init=NONE,name="i",scope=InstanceScope,
|
||||
stereotypes=[],visibility=public},
|
||||
{attr_type=Real,init=NONE,name="r",scope=InstanceScope,
|
||||
stereotypes=[],visibility=public},
|
||||
{attr_type=Classifier ["simple","B"],init=NONE,
|
||||
name="attribB",scope=InstanceScope,stereotypes=[],
|
||||
visibility=public}],interfaces=[],
|
||||
invariant=[(SOME "multconstraint_for_aend_b",
|
||||
OperationCall
|
||||
(AttributeCall
|
||||
(Variable ("self",Classifier ["simple","A"]),
|
||||
Classifier ["simple","A"],["simple","A","b"],
|
||||
Classifier ["simple","B"]),Classifier ["simple","B"],
|
||||
["oclIsDefined"],[],Boolean))],name=["simple","A"],
|
||||
operations=[{arguments=[("p",Integer)],isQuery=true,name="m",
|
||||
postcondition=[],precondition=[],result=Integer,
|
||||
scope=InstanceScope,visibility=public}],parent=NONE,
|
||||
stereotypes=[],thyname=NONE}] : Classifier list
|
|
@ -1,35 +0,0 @@
|
|||
<?xml version = "1.0" encoding = "UTF-8" ?>
|
||||
<!DOCTYPE argo SYSTEM "argo.dtd" >
|
||||
<argo version="4">
|
||||
<documentation>
|
||||
<authorname></authorname>
|
||||
<version>0.19.7</version>
|
||||
<description>
|
||||
|
||||
</description>
|
||||
</documentation>
|
||||
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<searchpath href="PROJECT_DIR" />
|
||||
<member type="xmi" />
|
||||
<member type="pgml" />
|
||||
<member type="todo" />
|
||||
<historyfile name="" />
|
||||
</argo>
|
|
@ -1,166 +0,0 @@
|
|||
--
|
||||
-- Testing OCL syntax variations
|
||||
--
|
||||
package simple
|
||||
-- testing implicit self
|
||||
-- =====================
|
||||
context A
|
||||
inv self_short: i = 5
|
||||
inv self_long: self.i = 5
|
||||
inv: self.i=self.attribB.attribA.i
|
||||
inv: i = attribB.attribA.i
|
||||
inv iskind: self.oclIsKindOf(A)
|
||||
inv meth: self.m(1) > 5
|
||||
inv meth2: self.m(self.i) > 5
|
||||
inv real: r = 2.45
|
||||
inv: not Set{1,2,3,4,5} ->isEmpty()
|
||||
inv: Set{} ->isEmpty()
|
||||
|
||||
|
||||
context B
|
||||
inv constant: self.j = 42
|
||||
inv iskind: not self.oclIsKindOf(A)
|
||||
inv istype: self.oclIsTypeOf(B)
|
||||
|
||||
context C
|
||||
inv cast: self.oclAsType(A).oclIsTypeOf(A)
|
||||
|
||||
-- testing named self
|
||||
-- ==================
|
||||
-- not supported by dresden-ocl (parser-bug?)
|
||||
-- ( Cannot parse OCL constraint: expecting: 'derive', 'init')
|
||||
-- context foo:A
|
||||
-- inv named_self_short: i=5 -- Dresden
|
||||
-- inv named_self_foo: foo.i=5 -- Dresden
|
||||
|
||||
-- ->size() on non-collection types
|
||||
-- ================================
|
||||
-- [Dresden] context A
|
||||
-- [Dresden] inv: self.i->size() > 0
|
||||
|
||||
-- implicit ->asSet()
|
||||
-- ==================
|
||||
-- [Dresden] context A
|
||||
-- [Dresden] inv setshort: self.i->size() > 0
|
||||
-- [Dresden] inv set_long: self.i->asSet()->size() > 0
|
||||
-- [Dresden] inv intAsSet: 1->asSet()->includes(1)
|
||||
-- [Dresden] inv intInclude: 1->includes(1)
|
||||
-- [Dresden] inv intSizew: 1->size() > 0
|
||||
-- [Dresden] inv inc: self.i ->includes(4)
|
||||
|
||||
|
||||
-- Operations: pre/post
|
||||
-- ==============================
|
||||
context A::m(p:Integer):Integer
|
||||
pre: p > 0
|
||||
post: (result = 0 - p) and p > (0-5)
|
||||
|
||||
-- Operations: @per
|
||||
-- ==============================
|
||||
context A::m(p:Integer):Integer
|
||||
post pre1: self = self@pre
|
||||
post pre2: p = i@pre - 5
|
||||
post pre3: self.i=self.attribB.attribA.i@pre
|
||||
post pre4: self.i=self.attribB.attribA@pre.i
|
||||
post pre5: self.i=self.attribB@pre.attribA.i
|
||||
post pre6: self.i=self@pre.attribB.attribA.i
|
||||
|
||||
|
||||
-- syntactical variants of iterate/forall
|
||||
-- ======================================
|
||||
context B
|
||||
inv forall: self.a->forAll(a:A | a.i = 5)
|
||||
inv twoforall: self.a->forAll(a:A, b:A | a.i = b.i)
|
||||
inv existential: self.a->exists(a:A | a.i = 5)
|
||||
|
||||
|
||||
-- shorthand for collect [omg:ocl:2003, p27]
|
||||
-- =========================================
|
||||
-- context B
|
||||
-- inv collect_short: self.a.i = Set{5} -- Dresden
|
||||
-- inv collect_long: self.a ->collect(i) = Set{5} -- Dresden
|
||||
-- inv collect_test: self.a.i = 5 -- Dresden
|
||||
-- inv collect_test2: self.a->collect(i) = 5 -- Dresden
|
||||
-- inv strange_collect: self.a->size() = 1 implies self.a.i=5 -- Dresden
|
||||
|
||||
-- access to top-level path-expressions
|
||||
-- ====================================
|
||||
-- context B -- Dresden
|
||||
-- inv: simple::A.i = 5 -- Dresden
|
||||
|
||||
-- types of overloaded infix operations
|
||||
-- ====================================
|
||||
context A
|
||||
inv: r = 1.0
|
||||
inv: i + r = 10
|
||||
inv: i + r = 10.0
|
||||
inv: r = 10.0
|
||||
inv: r = 10
|
||||
|
||||
-- @pre for method calls
|
||||
-- =====================
|
||||
context A::m(p:Integer):Integer
|
||||
post: self.m(4)=5 -- Dresden
|
||||
post: self@pre.m(4)=5 -- Dresden
|
||||
post: self.m@pre(4)=5 -- Dresden
|
||||
|
||||
-- body vs. post
|
||||
-- =============
|
||||
context A::m(p:Integer):Integer
|
||||
body testbody: p
|
||||
|
||||
-- body (recursive)
|
||||
-- ================
|
||||
-- context A::m(p:Integer):Integer -- Dresden/HOL-OCL
|
||||
-- body: p * m(p-1) -- Dresden/HOL-OCL
|
||||
|
||||
|
||||
-- init:
|
||||
-- =====
|
||||
context A::i : Integer
|
||||
init: 0
|
||||
|
||||
-- def (attributes):
|
||||
-- =================
|
||||
-- should be transformed into the UML model
|
||||
-- context A
|
||||
-- def: s:String='' -- Dresden (HOL-OCL)
|
||||
|
||||
-- def (method):
|
||||
-- =================
|
||||
-- should be transformed into the UML model
|
||||
-- context A
|
||||
-- def: fac(n:Integer):Integer = n fac(n-1) -- Dresden (HOL-OCL)
|
||||
|
||||
-- derive:
|
||||
-- =======
|
||||
-- (transformation into UML model)
|
||||
-- (derive (attributes) ~~> invariants (class))?
|
||||
-- context A.r
|
||||
-- derive: i -- Dresden (HOL-OCL)
|
||||
|
||||
|
||||
-- oclAsType (explicit overriding):
|
||||
-- ================================
|
||||
-- context D
|
||||
-- inv: self.oclAsType(A).r = 0 -- Dresden (HOL-OCL)
|
||||
|
||||
|
||||
-- let expressions
|
||||
-- ===============
|
||||
context A::m(p:Integer):Integer -- HOL-OCL
|
||||
pre: let m:Integer = p+5 in m > 0 -- HOL-OCL
|
||||
|
||||
|
||||
-- operations on sets
|
||||
-- ==================
|
||||
context B
|
||||
inv mt: self.a->isEmpty()
|
||||
inv full: self.a->notEmpty()
|
||||
inv un: self.a->union(self.a) = self.a
|
||||
inv inter: self.a->intersection(self.a) = self.a
|
||||
|
||||
|
||||
endpackage
|
||||
|
||||
|
|
@ -1,8 +0,0 @@
|
|||
<?xml version = "1.0" encoding = "UTF-8" ?>
|
||||
<!DOCTYPE todo SYSTEM "todo.dtd" >
|
||||
<todo>
|
||||
<todolist>
|
||||
</todolist>
|
||||
<resolvedcritics>
|
||||
</resolvedcritics>
|
||||
</todo>
|
|
@ -1,264 +0,0 @@
|
|||
<?xml version = '1.0' encoding = 'UTF-8' ?>
|
||||
<XMI xmi.version = '1.2' xmlns:UML = 'org.omg.xmi.namespace.UML' timestamp = 'Tue Nov 08 21:32:56 CET 2005'>
|
||||
<XMI.header>
|
||||
<XMI.documentation>
|
||||
<XMI.exporter>Netbeans XMI Writer</XMI.exporter>
|
||||
<XMI.exporterVersion>1.0</XMI.exporterVersion>
|
||||
</XMI.documentation>
|
||||
</XMI.header>
|
||||
<XMI.content>
|
||||
<UML:Model xmi.id = '.:000000000000085C' name = 'Simple Example' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'>
|
||||
<UML:Namespace.ownedElement>
|
||||
<UML:Package xmi.id = '.:000000000000082F' name = 'UML_OCL' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'>
|
||||
<UML:Namespace.ownedElement>
|
||||
<UML:Class xmi.id = '.:000000000000082C' name = 'String' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false' isActive = 'false'/>
|
||||
<UML:DataType xmi.id = '.:000000000000082D' name = 'Real' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'/>
|
||||
<UML:DataType xmi.id = '.:000000000000082E' name = 'Integer' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'/>
|
||||
</UML:Namespace.ownedElement>
|
||||
</UML:Package>
|
||||
<UML:Package xmi.id = '.:000000000000085B' name = 'simple' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'>
|
||||
<UML:Namespace.ownedElement>
|
||||
<UML:Class xmi.id = '.:0000000000000833' name = 'E' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false' isActive = 'false'>
|
||||
<UML:GeneralizableElement.generalization>
|
||||
<UML:Generalization xmi.idref = '.:0000000000000859'/>
|
||||
<UML:Generalization xmi.idref = '.:000000000000085A'/>
|
||||
</UML:GeneralizableElement.generalization>
|
||||
<UML:Classifier.feature>
|
||||
<UML:Attribute xmi.id = '.:0000000000000832' name = 'r' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:0000000000000831'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:0000000000000830' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:DataType xmi.idref = '.:000000000000082E'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
</UML:Classifier.feature>
|
||||
</UML:Class>
|
||||
<UML:Class xmi.id = '.:0000000000000837' name = 'D' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false' isActive = 'false'>
|
||||
<UML:GeneralizableElement.generalization>
|
||||
<UML:Generalization xmi.idref = '.:0000000000000858'/>
|
||||
</UML:GeneralizableElement.generalization>
|
||||
<UML:Classifier.feature>
|
||||
<UML:Attribute xmi.id = '.:0000000000000836' name = 'r' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:0000000000000835'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:0000000000000834' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:DataType xmi.idref = '.:000000000000082D'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
</UML:Classifier.feature>
|
||||
</UML:Class>
|
||||
<UML:Class xmi.id = '.:000000000000083B' name = 'C' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false' isActive = 'false'>
|
||||
<UML:GeneralizableElement.generalization>
|
||||
<UML:Generalization xmi.idref = '.:0000000000000857'/>
|
||||
</UML:GeneralizableElement.generalization>
|
||||
<UML:Classifier.feature>
|
||||
<UML:Attribute xmi.id = '.:000000000000083A' name = 's' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:0000000000000839'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:0000000000000838' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:Class xmi.idref = '.:000000000000082C'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
</UML:Classifier.feature>
|
||||
</UML:Class>
|
||||
<UML:Class xmi.id = '.:0000000000000842' name = 'B' visibility = 'public'
|
||||
isSpecification = 'false' isRoot = 'false' isLeaf = 'false' isAbstract = 'false'
|
||||
isActive = 'false'>
|
||||
<UML:Classifier.feature>
|
||||
<UML:Attribute xmi.id = '.:000000000000083E' name = 'j' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:000000000000083D'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:000000000000083C' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:DataType xmi.idref = '.:000000000000082E'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
<UML:Attribute xmi.id = '.:0000000000000841' name = 'attribA' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:0000000000000840'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:000000000000083F' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:Class xmi.idref = '.:000000000000084F'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
</UML:Classifier.feature>
|
||||
</UML:Class>
|
||||
<UML:Class xmi.id = '.:000000000000084F' name = 'A' visibility = 'public'
|
||||
isSpecification = 'false' isRoot = 'false' isLeaf = 'false' isAbstract = 'false'
|
||||
isActive = 'false'>
|
||||
<UML:Classifier.feature>
|
||||
<UML:Attribute xmi.id = '.:0000000000000845' name = 'i' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:0000000000000844'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:0000000000000843' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:DataType xmi.idref = '.:000000000000082E'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
<UML:Attribute xmi.id = '.:0000000000000848' name = 'r' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:0000000000000847'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:0000000000000846' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:DataType xmi.idref = '.:000000000000082D'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
<UML:Operation xmi.id = '.:000000000000084B' name = 'm' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' isQuery = 'true' concurrency = 'sequential'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'>
|
||||
<UML:BehavioralFeature.parameter>
|
||||
<UML:Parameter xmi.id = '.:0000000000000849' name = 'return' isSpecification = 'false'
|
||||
kind = 'return'>
|
||||
<UML:Parameter.type>
|
||||
<UML:DataType xmi.idref = '.:000000000000082E'/>
|
||||
</UML:Parameter.type>
|
||||
</UML:Parameter>
|
||||
<UML:Parameter xmi.id = '.:000000000000084A' name = 'p' isSpecification = 'false'
|
||||
kind = 'in'>
|
||||
<UML:Parameter.type>
|
||||
<UML:DataType xmi.idref = '.:000000000000082E'/>
|
||||
</UML:Parameter.type>
|
||||
</UML:Parameter>
|
||||
</UML:BehavioralFeature.parameter>
|
||||
</UML:Operation>
|
||||
<UML:Attribute xmi.id = '.:000000000000084E' name = 'attribB' visibility = 'public'
|
||||
isSpecification = 'false' ownerScope = 'instance' changeability = 'changeable'
|
||||
targetScope = 'instance'>
|
||||
<UML:StructuralFeature.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:000000000000084D'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:000000000000084C' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:StructuralFeature.multiplicity>
|
||||
<UML:StructuralFeature.type>
|
||||
<UML:Class xmi.idref = '.:0000000000000842'/>
|
||||
</UML:StructuralFeature.type>
|
||||
</UML:Attribute>
|
||||
</UML:Classifier.feature>
|
||||
</UML:Class>
|
||||
<UML:Association xmi.id = '.:0000000000000856' name = 'foo' isSpecification = 'false'
|
||||
isRoot = 'false' isLeaf = 'false' isAbstract = 'false'>
|
||||
<UML:Association.connection>
|
||||
<UML:AssociationEnd xmi.id = '.:0000000000000852' name = 'a' visibility = 'public'
|
||||
isSpecification = 'false' isNavigable = 'true' ordering = 'unordered' aggregation = 'none'
|
||||
targetScope = 'instance' changeability = 'changeable'>
|
||||
<UML:AssociationEnd.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:0000000000000851'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:0000000000000850' lower = '1' upper = '5'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:AssociationEnd.multiplicity>
|
||||
<UML:AssociationEnd.participant>
|
||||
<UML:Class xmi.idref = '.:000000000000084F'/>
|
||||
</UML:AssociationEnd.participant>
|
||||
</UML:AssociationEnd>
|
||||
<UML:AssociationEnd xmi.id = '.:0000000000000855' name = 'b' visibility = 'public'
|
||||
isSpecification = 'false' isNavigable = 'true' ordering = 'unordered' aggregation = 'none'
|
||||
targetScope = 'instance' changeability = 'changeable'>
|
||||
<UML:AssociationEnd.multiplicity>
|
||||
<UML:Multiplicity xmi.id = '.:0000000000000854'>
|
||||
<UML:Multiplicity.range>
|
||||
<UML:MultiplicityRange xmi.id = '.:0000000000000853' lower = '1' upper = '1'/>
|
||||
</UML:Multiplicity.range>
|
||||
</UML:Multiplicity>
|
||||
</UML:AssociationEnd.multiplicity>
|
||||
<UML:AssociationEnd.participant>
|
||||
<UML:Class xmi.idref = '.:0000000000000842'/>
|
||||
</UML:AssociationEnd.participant>
|
||||
</UML:AssociationEnd>
|
||||
</UML:Association.connection>
|
||||
</UML:Association>
|
||||
<UML:Generalization xmi.id = '.:0000000000000857' isSpecification = 'false'>
|
||||
<UML:Generalization.child>
|
||||
<UML:Class xmi.idref = '.:000000000000083B'/>
|
||||
</UML:Generalization.child>
|
||||
<UML:Generalization.parent>
|
||||
<UML:Class xmi.idref = '.:000000000000084F'/>
|
||||
</UML:Generalization.parent>
|
||||
</UML:Generalization>
|
||||
<UML:Generalization xmi.id = '.:0000000000000858' isSpecification = 'false'>
|
||||
<UML:Generalization.child>
|
||||
<UML:Class xmi.idref = '.:0000000000000837'/>
|
||||
</UML:Generalization.child>
|
||||
<UML:Generalization.parent>
|
||||
<UML:Class xmi.idref = '.:000000000000084F'/>
|
||||
</UML:Generalization.parent>
|
||||
</UML:Generalization>
|
||||
<UML:Generalization xmi.id = '.:0000000000000859' isSpecification = 'false'>
|
||||
<UML:Generalization.child>
|
||||
<UML:Class xmi.idref = '.:0000000000000833'/>
|
||||
</UML:Generalization.child>
|
||||
<UML:Generalization.parent>
|
||||
<UML:Class xmi.idref = '.:0000000000000842'/>
|
||||
</UML:Generalization.parent>
|
||||
</UML:Generalization>
|
||||
<UML:Generalization xmi.id = '.:000000000000085A' isSpecification = 'false'>
|
||||
<UML:Generalization.child>
|
||||
<UML:Class xmi.idref = '.:0000000000000833'/>
|
||||
</UML:Generalization.child>
|
||||
<UML:Generalization.parent>
|
||||
<UML:Class xmi.idref = '.:0000000000000842'/>
|
||||
</UML:Generalization.parent>
|
||||
</UML:Generalization>
|
||||
</UML:Namespace.ownedElement>
|
||||
</UML:Package>
|
||||
</UML:Namespace.ownedElement>
|
||||
</UML:Model>
|
||||
</XMI.content>
|
||||
</XMI>
|
|
@ -1,16 +0,0 @@
|
|||
--
|
||||
-- Testing OCL syntax variations
|
||||
--
|
||||
package simple
|
||||
-- testing implicit self
|
||||
-- =====================
|
||||
context A
|
||||
inv self_short: i = 5
|
||||
inv self_long: self.i = 5
|
||||
-- inv: self.i=self.attribB.attribA.i
|
||||
-- inv: i = attribB.attribA.i
|
||||
-- inv iskind: self.oclIsKindOf(A)
|
||||
-- inv meth: self.m(1) > 5
|
||||
-- inv meth2: self.m(self.i) > 5
|
||||
inv real: r = 2.45
|
||||
endpackage
|
|
@ -1,674 +0,0 @@
|
|||
<?xml version="1.0" encoding="UTF-8" ?>
|
||||
<!DOCTYPE pgml SYSTEM "pgml.dtd">
|
||||
<pgml description="org.argouml.uml.diagram.static_structure.ui.UMLClassDiagram|.:000000000000085B"
|
||||
name="Class Diagram"
|
||||
>
|
||||
<group name="Fig0"
|
||||
description="org.argouml.uml.diagram.static_structure.ui.FigClass[299, 232, 61, 57]pathVisible=false;operationsVisible=true;attributesVisible=true"
|
||||
href=".:0000000000000833"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig0.0"
|
||||
x="299"
|
||||
y="232"
|
||||
width="61"
|
||||
height="57"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig0.1"
|
||||
x="299"
|
||||
y="232"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
></text>
|
||||
<text name="Fig0.2"
|
||||
x="299"
|
||||
y="232"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="red"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>E</text>
|
||||
<group name="Fig0.3"
|
||||
description="org.argouml.uml.diagram.ui.FigOperationsCompartment[299, 270, 61, 19]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig0.3.0"
|
||||
x="299"
|
||||
y="270"
|
||||
width="61"
|
||||
height="19"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
</group>
|
||||
<group name="Fig0.4"
|
||||
description="org.argouml.uml.diagram.ui.FigAttributesCompartment[299, 252, 61, 19]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig0.4.0"
|
||||
x="299"
|
||||
y="252"
|
||||
width="61"
|
||||
height="19"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig0.4.1"
|
||||
x="300"
|
||||
y="253"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>r : Integer</text>
|
||||
</group>
|
||||
<rectangle name="Fig0.5"
|
||||
x="299"
|
||||
y="232"
|
||||
width="61"
|
||||
height="57"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
</group>
|
||||
<group name="Fig1"
|
||||
description="org.argouml.uml.diagram.static_structure.ui.FigClass[176, 224, 61, 57]pathVisible=false;operationsVisible=true;attributesVisible=true"
|
||||
href=".:0000000000000837"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig1.0"
|
||||
x="176"
|
||||
y="224"
|
||||
width="61"
|
||||
height="57"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig1.1"
|
||||
x="176"
|
||||
y="224"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
></text>
|
||||
<text name="Fig1.2"
|
||||
x="176"
|
||||
y="224"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="red"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>D</text>
|
||||
<group name="Fig1.3"
|
||||
description="org.argouml.uml.diagram.ui.FigOperationsCompartment[176, 262, 61, 19]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig1.3.0"
|
||||
x="176"
|
||||
y="262"
|
||||
width="61"
|
||||
height="19"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
</group>
|
||||
<group name="Fig1.4"
|
||||
description="org.argouml.uml.diagram.ui.FigAttributesCompartment[176, 244, 61, 19]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig1.4.0"
|
||||
x="176"
|
||||
y="244"
|
||||
width="61"
|
||||
height="19"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig1.4.1"
|
||||
x="177"
|
||||
y="245"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>r : Real</text>
|
||||
</group>
|
||||
<rectangle name="Fig1.5"
|
||||
x="176"
|
||||
y="224"
|
||||
width="61"
|
||||
height="57"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
</group>
|
||||
<group name="Fig2"
|
||||
description="org.argouml.uml.diagram.static_structure.ui.FigClass[32, 224, 61, 57]pathVisible=false;operationsVisible=true;attributesVisible=true"
|
||||
href=".:000000000000083B"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig2.0"
|
||||
x="32"
|
||||
y="224"
|
||||
width="61"
|
||||
height="57"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig2.1"
|
||||
x="32"
|
||||
y="224"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
></text>
|
||||
<text name="Fig2.2"
|
||||
x="32"
|
||||
y="224"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="red"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>C</text>
|
||||
<group name="Fig2.3"
|
||||
description="org.argouml.uml.diagram.ui.FigOperationsCompartment[32, 262, 61, 19]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig2.3.0"
|
||||
x="32"
|
||||
y="262"
|
||||
width="61"
|
||||
height="19"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
</group>
|
||||
<group name="Fig2.4"
|
||||
description="org.argouml.uml.diagram.ui.FigAttributesCompartment[32, 244, 61, 19]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig2.4.0"
|
||||
x="32"
|
||||
y="244"
|
||||
width="61"
|
||||
height="19"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig2.4.1"
|
||||
x="33"
|
||||
y="245"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>s : String</text>
|
||||
</group>
|
||||
<rectangle name="Fig2.5"
|
||||
x="32"
|
||||
y="224"
|
||||
width="61"
|
||||
height="57"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
</group>
|
||||
<group name="Fig3"
|
||||
description="org.argouml.uml.diagram.static_structure.ui.FigClass[297, 58, 63, 74]pathVisible=false;operationsVisible=true;attributesVisible=true"
|
||||
href=".:0000000000000842"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig3.0"
|
||||
x="297"
|
||||
y="58"
|
||||
width="63"
|
||||
height="74"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig3.1"
|
||||
x="297"
|
||||
y="58"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
></text>
|
||||
<text name="Fig3.2"
|
||||
x="297"
|
||||
y="58"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="red"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>B</text>
|
||||
<group name="Fig3.3"
|
||||
description="org.argouml.uml.diagram.ui.FigOperationsCompartment[297, 114, 63, 18]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig3.3.0"
|
||||
x="297"
|
||||
y="114"
|
||||
width="63"
|
||||
height="18"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
</group>
|
||||
<group name="Fig3.4"
|
||||
description="org.argouml.uml.diagram.ui.FigAttributesCompartment[297, 78, 63, 37]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig3.4.0"
|
||||
x="297"
|
||||
y="78"
|
||||
width="63"
|
||||
height="37"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig3.4.1"
|
||||
x="298"
|
||||
y="79"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>j : Integer</text>
|
||||
<text name="Fig3.4.2"
|
||||
x="298"
|
||||
y="97"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>attribA : A</text>
|
||||
</group>
|
||||
<rectangle name="Fig3.5"
|
||||
x="297"
|
||||
y="58"
|
||||
width="63"
|
||||
height="74"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
</group>
|
||||
<group name="Fig4"
|
||||
description="org.argouml.uml.diagram.static_structure.ui.FigClass[40, 40, 126, 91]pathVisible=false;operationsVisible=true;attributesVisible=true"
|
||||
href=".:000000000000084F"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig4.0"
|
||||
x="40"
|
||||
y="40"
|
||||
width="126"
|
||||
height="91"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig4.1"
|
||||
x="40"
|
||||
y="40"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
></text>
|
||||
<text name="Fig4.2"
|
||||
x="40"
|
||||
y="40"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="red"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>A</text>
|
||||
<group name="Fig4.3"
|
||||
description="org.argouml.uml.diagram.ui.FigOperationsCompartment[40, 113, 126, 18]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig4.3.0"
|
||||
x="40"
|
||||
y="113"
|
||||
width="126"
|
||||
height="18"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig4.3.1"
|
||||
x="41"
|
||||
y="114"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>m(p : Integer) : Integer</text>
|
||||
</group>
|
||||
<group name="Fig4.4"
|
||||
description="org.argouml.uml.diagram.ui.FigAttributesCompartment[40, 60, 126, 54]"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
</private>
|
||||
|
||||
<rectangle name="Fig4.4.0"
|
||||
x="40"
|
||||
y="60"
|
||||
width="126"
|
||||
height="54"
|
||||
fill="1"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
<text name="Fig4.4.1"
|
||||
x="41"
|
||||
y="61"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>i : Integer</text>
|
||||
<text name="Fig4.4.2"
|
||||
x="41"
|
||||
y="78"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>r : Real</text>
|
||||
<text name="Fig4.4.3"
|
||||
x="41"
|
||||
y="95"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="0"
|
||||
strokecolor="black"
|
||||
font="Dialog"
|
||||
textsize="10"
|
||||
>attribB : B</text>
|
||||
</group>
|
||||
<rectangle name="Fig4.5"
|
||||
x="40"
|
||||
y="40"
|
||||
width="126"
|
||||
height="91"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
/>
|
||||
</group>
|
||||
<group name="Fig5"
|
||||
description="org.argouml.uml.diagram.ui.FigAssociation"
|
||||
href=".:0000000000000856"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
sourcePortFig="Fig4"
|
||||
destPortFig="Fig3"
|
||||
sourceFigNode="Fig4"
|
||||
destFigNode="Fig3"
|
||||
</private>
|
||||
<path name="Fig5.0"
|
||||
description="org.tigris.gef.presentation.FigPoly"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<moveto x="166"
|
||||
y="58" />
|
||||
<lineto x="297"
|
||||
y="58" />
|
||||
</path>
|
||||
</group>
|
||||
<group name="Fig6"
|
||||
description="org.argouml.uml.diagram.ui.FigGeneralization"
|
||||
href=".:0000000000000857"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
sourcePortFig="Fig2"
|
||||
destPortFig="Fig4"
|
||||
sourceFigNode="Fig2"
|
||||
destFigNode="Fig4"
|
||||
</private>
|
||||
<path name="Fig6.0"
|
||||
description="org.tigris.gef.presentation.FigPoly"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<moveto x="65"
|
||||
y="224" />
|
||||
<lineto x="65"
|
||||
y="187" />
|
||||
<lineto x="98"
|
||||
y="187" />
|
||||
<lineto x="98"
|
||||
y="131" />
|
||||
</path>
|
||||
</group>
|
||||
<group name="Fig7"
|
||||
description="org.argouml.uml.diagram.ui.FigGeneralization"
|
||||
href=".:0000000000000858"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
sourcePortFig="Fig1"
|
||||
destPortFig="Fig4"
|
||||
sourceFigNode="Fig1"
|
||||
destFigNode="Fig4"
|
||||
</private>
|
||||
<path name="Fig7.0"
|
||||
description="org.tigris.gef.presentation.FigPoly"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<moveto x="206"
|
||||
y="224" />
|
||||
<lineto x="206"
|
||||
y="187" />
|
||||
<lineto x="98"
|
||||
y="187" />
|
||||
<lineto x="98"
|
||||
y="131" />
|
||||
</path>
|
||||
</group>
|
||||
<group name="Fig8"
|
||||
description="org.argouml.uml.diagram.ui.FigGeneralization"
|
||||
href=".:000000000000085A"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<private>
|
||||
sourcePortFig="Fig0"
|
||||
destPortFig="Fig3"
|
||||
sourceFigNode="Fig0"
|
||||
destFigNode="Fig3"
|
||||
</private>
|
||||
<path name="Fig8.0"
|
||||
description="org.tigris.gef.presentation.FigPoly"
|
||||
fill="0"
|
||||
fillcolor="white"
|
||||
stroke="1"
|
||||
strokecolor="black"
|
||||
>
|
||||
<moveto x="328"
|
||||
y="232" />
|
||||
<lineto x="328"
|
||||
y="132" />
|
||||
</path>
|
||||
</group>
|
||||
</pgml>
|
Loading…
Reference in New Issue