|
@@ -25,12 +25,12 @@ bottom = [
|
|
'"add_value"', 1, '"name"', '"name"',
|
|
'"add_value"', 1, '"name"', '"name"',
|
|
'"add_edge"', 1, '"l1"', '"Class"', '"Any"',
|
|
'"add_edge"', 1, '"l1"', '"Class"', '"Any"',
|
|
'"add_edge"', 1, '"l2"', '"Type"', '"Any"',
|
|
'"add_edge"', 1, '"l2"', '"Type"', '"Any"',
|
|
- '"add_edge"', 1, '"l3"', '"Any"', '"Any"',
|
|
|
|
- '"add_edge"', 1, '"l4"', '"l3"', '"inheritance"',
|
|
|
|
- '"add_edge"', 1, '"l5"', '"Any"', '"Any"',
|
|
|
|
- '"add_edge"', 1, '"l6"', '"l5"', '"Any"',
|
|
|
|
- '"add_edge"', 1, '"l7"', '"l5"', '"link"',
|
|
|
|
- '"add_edge"', 1, '"l8"', '"l5"', '"String"',
|
|
|
|
|
|
+ '"add_edge"', 1, '"Inheritance"', '"Any"', '"Any"',
|
|
|
|
+ '"add_edge"', 1, '"l4"', '"Inheritance"', '"inheritance"',
|
|
|
|
+ '"add_edge"', 1, '"Association"', '"Any"', '"Any"',
|
|
|
|
+ '"add_edge"', 1, '"l6"', '"Association"', '"Any"',
|
|
|
|
+ '"add_edge"', 1, '"l7"', '"Association"', '"link"',
|
|
|
|
+ '"add_edge"', 1, '"l8"', '"Association"', '"String"',
|
|
'"add_edge"', 1, '"l9"', '"l8"', '"name"',
|
|
'"add_edge"', 1, '"l9"', '"l8"', '"name"',
|
|
'"exit"',
|
|
'"exit"',
|
|
]
|
|
]
|
|
@@ -38,7 +38,7 @@ bottom = [
|
|
retype = [
|
|
retype = [
|
|
'"model"',
|
|
'"model"',
|
|
'"retype_model"', 1, 1,
|
|
'"retype_model"', 1, 1,
|
|
- '"define_inheritance"', 1, '"l3"',
|
|
|
|
|
|
+ '"define_inheritance"', 1, '"Inheritance"',
|
|
'"retype"', 1, '"Class"', '"Class"',
|
|
'"retype"', 1, '"Class"', '"Class"',
|
|
'"retype"', 1, '"Type"', '"Class"',
|
|
'"retype"', 1, '"Type"', '"Class"',
|
|
'"retype"', 1, '"Any"', '"Class"',
|
|
'"retype"', 1, '"Any"', '"Class"',
|
|
@@ -46,14 +46,14 @@ retype = [
|
|
'"retype"', 1, '"inheritance"', '"String"',
|
|
'"retype"', 1, '"inheritance"', '"String"',
|
|
'"retype"', 1, '"link"', '"String"',
|
|
'"retype"', 1, '"link"', '"String"',
|
|
'"retype"', 1, '"name"', '"String"',
|
|
'"retype"', 1, '"name"', '"String"',
|
|
- '"retype"', 1, '"l1"', '"l3"',
|
|
|
|
- '"retype"', 1, '"l2"', '"l3"',
|
|
|
|
- '"retype"', 1, '"l3"', '"l5"',
|
|
|
|
|
|
+ '"retype"', 1, '"l1"', '"Inheritance"',
|
|
|
|
+ '"retype"', 1, '"l2"', '"Inheritance"',
|
|
|
|
+ '"retype"', 1, '"Inheritance"', '"Association"',
|
|
'"retype"', 1, '"l4"', '"l8"',
|
|
'"retype"', 1, '"l4"', '"l8"',
|
|
- '"retype"', 1, '"l5"', '"l5"',
|
|
|
|
- '"retype"', 1, '"l6"', '"l3"',
|
|
|
|
|
|
+ '"retype"', 1, '"Association"', '"Association"',
|
|
|
|
+ '"retype"', 1, '"l6"', '"Inheritance"',
|
|
'"retype"', 1, '"l7"', '"l8"',
|
|
'"retype"', 1, '"l7"', '"l8"',
|
|
- '"retype"', 1, '"l8"', '"l5"',
|
|
|
|
|
|
+ '"retype"', 1, '"l8"', '"Association"',
|
|
'"retype"', 1, '"l9"', '"l8"',
|
|
'"retype"', 1, '"l9"', '"l8"',
|
|
'"exit"',
|
|
'"exit"',
|
|
]
|
|
]
|
|
@@ -61,15 +61,15 @@ retype = [
|
|
instantiate_scd = [
|
|
instantiate_scd = [
|
|
'"model"',
|
|
'"model"',
|
|
'"instantiate_model"', 1, 2,
|
|
'"instantiate_model"', 1, 2,
|
|
- '"define_inheritance"', 2, '"l3"',
|
|
|
|
|
|
+ '"define_inheritance"', 2, '"Inheritance"',
|
|
'"instantiate_node"', 2, '"Class"', '"Place"',
|
|
'"instantiate_node"', 2, '"Class"', '"Place"',
|
|
'"instantiate_node"', 2, '"Class"', '"Transition"',
|
|
'"instantiate_node"', 2, '"Class"', '"Transition"',
|
|
'"instantiate_node"', 2, '"Type"', '"Integer"',
|
|
'"instantiate_node"', 2, '"Type"', '"Integer"',
|
|
- '"instantiate_link"', 2, '"l5"', '"P2T"', '"Place"', '"Transition"',
|
|
|
|
- '"instantiate_link"', 2, '"l5"', '"T2P"', '"Transition"', '"Place"',
|
|
|
|
- '"instantiate_named"', 2, '"l5"', '"tokens"', '"Place"', '"Integer"',
|
|
|
|
- '"instantiate_named"', 2, '"l5"', '"weight"', '"P2T"', '"Integer"',
|
|
|
|
- '"instantiate_named"', 2, '"l5"', '"weight"', '"T2P"', '"Integer"',
|
|
|
|
|
|
+ '"instantiate_link"', 2, '"Association"', '"P2T"', '"Place"', '"Transition"',
|
|
|
|
+ '"instantiate_link"', 2, '"Association"', '"T2P"', '"Transition"', '"Place"',
|
|
|
|
+ '"instantiate_named"', 2, '"Association"', '"tokens"', '"Place"', '"Integer"',
|
|
|
|
+ '"instantiate_named"', 2, '"Association"', '"weight"', '"P2T"', '"Integer"',
|
|
|
|
+ '"instantiate_named"', 2, '"Association"', '"weight"', '"T2P"', '"Integer"',
|
|
'"exit"',
|
|
'"exit"',
|
|
]
|
|
]
|
|
|
|
|
|
@@ -96,13 +96,13 @@ instantiate_pn = [
|
|
instantiate_example = [
|
|
instantiate_example = [
|
|
'"model"',
|
|
'"model"',
|
|
'"instantiate_model"', 1, 2,
|
|
'"instantiate_model"', 1, 2,
|
|
- '"define_inheritance"', 2, '"l3"',
|
|
|
|
|
|
+ '"define_inheritance"', 2, '"Inheritance"',
|
|
'"instantiate_node"', 2, '"Class"', '"A"',
|
|
'"instantiate_node"', 2, '"Class"', '"A"',
|
|
'"instantiate_node"', 2, '"Class"', '"B"',
|
|
'"instantiate_node"', 2, '"Class"', '"B"',
|
|
'"instantiate_node"', 2, '"Class"', '"C"',
|
|
'"instantiate_node"', 2, '"Class"', '"C"',
|
|
- '"instantiate_link"', 2, '"l3"', '"b_inherits_a"', '"B"', '"A"',
|
|
|
|
- '"instantiate_named"', 2, '"l5"', '"tokens"', '"A"', '"B"',
|
|
|
|
- '"instantiate_named"', 2, '"l5"', '"tokens"', '"C"', '"B"',
|
|
|
|
|
|
+ '"instantiate_link"', 2, '"Inheritance"', '"b_inherits_a"', '"B"', '"A"',
|
|
|
|
+ '"instantiate_named"', 2, '"Association"', '"tokens"', '"A"', '"B"',
|
|
|
|
+ '"instantiate_named"', 2, '"Association"', '"tokens"', '"C"', '"B"',
|
|
'"exit"',
|
|
'"exit"',
|
|
'"model"',
|
|
'"model"',
|
|
'"instantiate_model"', 2, 3,
|
|
'"instantiate_model"', 2, 3,
|