|
@@ -1,19 +1,17 @@
|
|
|
-import model/SimpleClassDiagrams as SCD
|
|
|
+import models/SimpleClassDiagrams as SCD
|
|
|
include "primitives.alh"
|
|
|
|
|
|
SCD FiniteStateAutomata_Design{
|
|
|
Class String {
|
|
|
$
|
|
|
- if (bool_not(is_physical_string(self))):
|
|
|
- return "String has no string value"!
|
|
|
+ if (bool_not(is_physical_float(self))):
|
|
|
+ return "Float has no float value"!
|
|
|
else:
|
|
|
return "OK"!
|
|
|
$
|
|
|
}
|
|
|
|
|
|
Class State {
|
|
|
- lower_cardinality = 1
|
|
|
-
|
|
|
name : String {
|
|
|
target_lower_cardinality = 1
|
|
|
target_upper_cardinality = 1
|
|
@@ -21,7 +19,6 @@ SCD FiniteStateAutomata_Design{
|
|
|
}
|
|
|
|
|
|
Class InitialState {
|
|
|
- upper_cardinality = 1
|
|
|
}
|
|
|
|
|
|
Association Transition {
|