|
@@ -7,15 +7,14 @@ Composite schedule {
|
|
|
|
|
|
{Contains} ForAll render_blocks {
|
|
{Contains} ForAll render_blocks {
|
|
LHS {
|
|
LHS {
|
|
- Pre_Abstract/Block pre_block_0 {
|
|
|
|
|
|
+ Pre_abstract/Block pre_block_0 {
|
|
label = "0"
|
|
label = "0"
|
|
}
|
|
}
|
|
|
|
|
|
constraint = $
|
|
constraint = $
|
|
Boolean function constraint(model : Element, mapping : Element):
|
|
Boolean function constraint(model : Element, mapping : Element):
|
|
Element trace_links
|
|
Element trace_links
|
|
- trace_links = allOutgoingAssociationInstances(model, mapping["0"], "TracabilityGraphical")
|
|
|
|
- log("Found tracability links: " + cast_v2s(read_nr_out(trace_links)))
|
|
|
|
|
|
+ trace_links = allOutgoingAssociationInstances(model, mapping["0"], "TracabilityLink")
|
|
if (read_nr_out(trace_links) > 0):
|
|
if (read_nr_out(trace_links) > 0):
|
|
log("Block already connected; ignoring!")
|
|
log("Block already connected; ignoring!")
|
|
return False!
|
|
return False!
|
|
@@ -24,10 +23,10 @@ Composite schedule {
|
|
$
|
|
$
|
|
}
|
|
}
|
|
RHS {
|
|
RHS {
|
|
- Post_Abstract/Block post_block_0 {
|
|
|
|
|
|
+ Post_abstract/Block post_block_0 {
|
|
label = "0"
|
|
label = "0"
|
|
}
|
|
}
|
|
- Post_Rendered/Group post_block_1 {
|
|
|
|
|
|
+ Post_rendered/Group post_block_1 {
|
|
label = "1"
|
|
label = "1"
|
|
value___asid = $
|
|
value___asid = $
|
|
String function value(model : Element, name : String, mapping : Element):
|
|
String function value(model : Element, name : String, mapping : Element):
|
|
@@ -42,7 +41,7 @@ Composite schedule {
|
|
return 0!
|
|
return 0!
|
|
$
|
|
$
|
|
}
|
|
}
|
|
- Post_Rendered/Rectangle post_block_2 {
|
|
|
|
|
|
+ Post_rendered/Rectangle post_block_2 {
|
|
label = "2"
|
|
label = "2"
|
|
value_x = $
|
|
value_x = $
|
|
Integer function value(model : Element, name : String, mapping : Element):
|
|
Integer function value(model : Element, name : String, mapping : Element):
|
|
@@ -73,7 +72,7 @@ Composite schedule {
|
|
return "white"!
|
|
return "white"!
|
|
$
|
|
$
|
|
}
|
|
}
|
|
- Post_Rendered/Text post_block_3 {
|
|
|
|
|
|
+ Post_rendered/Text post_block_3 {
|
|
label = "3"
|
|
label = "3"
|
|
value_x = $
|
|
value_x = $
|
|
Integer function value(model : Element, name : String, mapping : Element):
|
|
Integer function value(model : Element, name : String, mapping : Element):
|
|
@@ -95,36 +94,36 @@ Composite schedule {
|
|
String function value(model : Element, name : String, mapping : Element):
|
|
String function value(model : Element, name : String, mapping : Element):
|
|
String type
|
|
String type
|
|
type = read_type(model, mapping["0"])
|
|
type = read_type(model, mapping["0"])
|
|
- if (type == "Abstract/AdditionBlock"):
|
|
|
|
|
|
+ if (type == "abstract/AdditionBlock"):
|
|
return "+"!
|
|
return "+"!
|
|
- elif (type == "Abstract/NegatorBlock"):
|
|
|
|
|
|
+ elif (type == "abstract/NegatorBlock"):
|
|
return "-"!
|
|
return "-"!
|
|
- elif (type == "Abstract/ConstantBlock"):
|
|
|
|
|
|
+ elif (type == "abstract/ConstantBlock"):
|
|
return "c"!
|
|
return "c"!
|
|
- elif (type == "Abstract/MultiplyBlock"):
|
|
|
|
|
|
+ elif (type == "abstract/MultiplyBlock"):
|
|
return "*"!
|
|
return "*"!
|
|
- elif (type == "Abstract/InverseBlock"):
|
|
|
|
|
|
+ elif (type == "abstract/InverseBlock"):
|
|
return "/"!
|
|
return "/"!
|
|
- elif (type == "Abstract/DerivatorBlock"):
|
|
|
|
|
|
+ elif (type == "abstract/DerivatorBlock"):
|
|
return "d/dx"!
|
|
return "d/dx"!
|
|
- elif (type == "Abstract/IntegratorBlock"):
|
|
|
|
|
|
+ elif (type == "abstract/IntegratorBlock"):
|
|
return "1/s"!
|
|
return "1/s"!
|
|
- elif (type == "Abstract/DelayBlock"):
|
|
|
|
|
|
+ elif (type == "abstract/DelayBlock"):
|
|
return "DELAY"!
|
|
return "DELAY"!
|
|
- elif (type == "Abstract/ProbeBlock"):
|
|
|
|
|
|
+ elif (type == "abstract/ProbeBlock"):
|
|
return "PROBE"!
|
|
return "PROBE"!
|
|
else:
|
|
else:
|
|
return ("Unknown type: " + type)!
|
|
return ("Unknown type: " + type)!
|
|
$
|
|
$
|
|
}
|
|
}
|
|
- Post_Rendered/contains (post_block_1, post_block_2) {
|
|
|
|
|
|
+ Post_rendered/contains (post_block_1, post_block_2) {
|
|
label = "4"
|
|
label = "4"
|
|
}
|
|
}
|
|
- Post_Rendered/contains (post_block_1, post_block_3) {
|
|
|
|
|
|
+ Post_rendered/contains (post_block_1, post_block_3) {
|
|
label = "5"
|
|
label = "5"
|
|
}
|
|
}
|
|
|
|
|
|
- Post_TracabilityGraphical (post_block_0, post_block_1) {
|
|
|
|
|
|
+ Post_TracabilityLink (post_block_0, post_block_1) {
|
|
label = "6"
|
|
label = "6"
|
|
}
|
|
}
|
|
}
|
|
}
|
|
@@ -132,37 +131,37 @@ Composite schedule {
|
|
|
|
|
|
{Contains} ForAll render_connections {
|
|
{Contains} ForAll render_connections {
|
|
LHS {
|
|
LHS {
|
|
- Pre_Abstract/Block pre_conn_0 {
|
|
|
|
|
|
+ Pre_abstract/Block pre_conn_0 {
|
|
label = "0"
|
|
label = "0"
|
|
}
|
|
}
|
|
|
|
|
|
- Pre_Abstract/Block pre_conn_1 {
|
|
|
|
|
|
+ Pre_abstract/Block pre_conn_1 {
|
|
label = "1"
|
|
label = "1"
|
|
}
|
|
}
|
|
|
|
|
|
- Pre_Abstract/Link (pre_conn_0, pre_conn_1){
|
|
|
|
|
|
+ Pre_abstract/Link (pre_conn_0, pre_conn_1){
|
|
label = "2"
|
|
label = "2"
|
|
}
|
|
}
|
|
|
|
|
|
- Pre_Rendered/Group pre_conn_3 {
|
|
|
|
|
|
+ Pre_rendered/Group pre_conn_3 {
|
|
label = "3"
|
|
label = "3"
|
|
}
|
|
}
|
|
|
|
|
|
- Pre_Rendered/Group pre_conn_4 {
|
|
|
|
|
|
+ Pre_rendered/Group pre_conn_4 {
|
|
label = "4"
|
|
label = "4"
|
|
}
|
|
}
|
|
|
|
|
|
- Pre_TracabilityGraphical (pre_conn_0, pre_conn_3) {
|
|
|
|
|
|
+ Pre_TracabilityLink (pre_conn_0, pre_conn_3) {
|
|
label = "5"
|
|
label = "5"
|
|
}
|
|
}
|
|
- Pre_TracabilityGraphical (pre_conn_1, pre_conn_4) {
|
|
|
|
|
|
+ Pre_TracabilityLink (pre_conn_1, pre_conn_4) {
|
|
label = "6"
|
|
label = "6"
|
|
}
|
|
}
|
|
|
|
|
|
constraint = $
|
|
constraint = $
|
|
Boolean function constraint(model : Element, mapping : Element):
|
|
Boolean function constraint(model : Element, mapping : Element):
|
|
Element trace_links
|
|
Element trace_links
|
|
- trace_links = allOutgoingAssociationInstances(model, mapping["2"], "TracabilityGraphical")
|
|
|
|
|
|
+ trace_links = allOutgoingAssociationInstances(model, mapping["2"], "TracabilityLink")
|
|
if (read_nr_out(trace_links) > 0):
|
|
if (read_nr_out(trace_links) > 0):
|
|
log("Block already connected; ignoring!")
|
|
log("Block already connected; ignoring!")
|
|
return False!
|
|
return False!
|
|
@@ -171,34 +170,34 @@ Composite schedule {
|
|
$
|
|
$
|
|
}
|
|
}
|
|
RHS {
|
|
RHS {
|
|
- Post_Abstract/Block post_conn_0 {
|
|
|
|
|
|
+ Post_abstract/Block post_conn_0 {
|
|
label = "0"
|
|
label = "0"
|
|
}
|
|
}
|
|
|
|
|
|
- Post_Abstract/Block post_conn_1 {
|
|
|
|
|
|
+ Post_abstract/Block post_conn_1 {
|
|
label = "1"
|
|
label = "1"
|
|
}
|
|
}
|
|
|
|
|
|
- Post_Abstract/Link (post_conn_0, post_conn_1){
|
|
|
|
|
|
+ Post_abstract/Link (post_conn_0, post_conn_1){
|
|
label = "2"
|
|
label = "2"
|
|
}
|
|
}
|
|
|
|
|
|
- Post_Rendered/Group post_conn_3 {
|
|
|
|
|
|
+ Post_rendered/Group post_conn_3 {
|
|
label = "3"
|
|
label = "3"
|
|
}
|
|
}
|
|
|
|
|
|
- Post_Rendered/Group post_conn_4 {
|
|
|
|
|
|
+ Post_rendered/Group post_conn_4 {
|
|
label = "4"
|
|
label = "4"
|
|
}
|
|
}
|
|
|
|
|
|
- Post_TracabilityGraphical (post_conn_0, post_conn_3) {
|
|
|
|
|
|
+ Post_TracabilityLink (post_conn_0, post_conn_3) {
|
|
label = "5"
|
|
label = "5"
|
|
}
|
|
}
|
|
- Post_TracabilityGraphical (post_conn_1, post_conn_4) {
|
|
|
|
|
|
+ Post_TracabilityLink (post_conn_1, post_conn_4) {
|
|
label = "6"
|
|
label = "6"
|
|
}
|
|
}
|
|
|
|
|
|
- Post_Rendered/Line {
|
|
|
|
|
|
+ Post_rendered/Line {
|
|
label = "7"
|
|
label = "7"
|
|
value___asid = $
|
|
value___asid = $
|
|
String function value(model : Element, name : String, mapping : Element):
|
|
String function value(model : Element, name : String, mapping : Element):
|