| ... | ... | @@ -2,7 +2,7 @@ |
|
|
|
|
|
|
|
Quellcode (USE-Modell; die SOIL-Testumgebung folgt demnächst...):
|
|
|
|
|
|
|
|
<code>
|
|
|
|
<pre>
|
|
|
|
-----------------------------------------------------------------------------
|
|
|
|
-- UML/OCL-Modellierung für das Projekt "Web3dScans"
|
|
|
|
-- Lehrveranstaltung "Datenmodellierung für raumbezogene Fachanwendungen"
|
| ... | ... | @@ -106,7 +106,7 @@ context Erdzeitalter |
|
|
|
inv ageNameList:
|
|
|
|
Set{
|
|
|
|
'Praekambrium', 'Kambrium', 'Ordovizium', 'Silur', 'Devon', 'Karbon',
|
|
|
|
'Perm', 'Trias', 'Jura', 'Teritaer', 'Quartaer'}
|
|
|
|
'Perm', 'Trias', 'Jura', 'Tertiaer', 'Quartaer'}
|
|
|
|
->includes(zeitalter)
|
|
|
|
|
|
|
|
-- Jedes Handstück bezieht sich auf ein Erdzeitalter:
|
| ... | ... | @@ -116,7 +116,7 @@ inv handSampleHasAge: |
|
|
|
|
|
|
|
-- Bohrkerne können mehr als ein Erdzeitalter abdecken:
|
|
|
|
context Bohrkern
|
|
|
|
inv handSampleHasAges:
|
|
|
|
inv coreSampleHasAges:
|
|
|
|
let ages = self.profile.age in
|
|
|
|
ages->size() >= 1
|
|
|
|
|
| ... | ... | @@ -188,7 +188,7 @@ inv xyCoordsSet: |
|
|
|
self.yCoord.oclIsUndefined() = false
|
|
|
|
-- Falls z gesetzt ist, muss der Wert unterhalb der Geländeoberfläche
|
|
|
|
-- liegen (Ausnahmen?):
|
|
|
|
inv ZCoordBelowGround:
|
|
|
|
inv zCoordBelowGround:
|
|
|
|
self.zCoord.oclIsUndefined() = true or
|
|
|
|
self.zCoord < 0 -- wäre noch zu prüfen/vereinbaren... -> ToDo
|
|
|
|
|
| ... | ... | @@ -201,4 +201,4 @@ inv extentsSet: |
|
|
|
self.extentZ.oclIsUndefined() = false
|
|
|
|
|
|
|
|
-- eof
|
|
|
|
</code> |
|
|
|
</pre> |
