Commit 94c0501e authored by Bernardo Quaresma Dias's avatar Bernardo Quaresma Dias
Browse files

Atualização de lib-otmflot com correções

INSTMPA-1295
parent 1c34465c
......@@ -4,7 +4,7 @@
-- Arquivo gerado pelo programa MPA
-- Verso: 6.5
-- Arquivo: lib-otmflot.mpad
-- Data: 11/05/2021 10:10:49
-- Data: 19/05/2021 14:15:39
-- =============================================================================
MPA_5_0 = true
......@@ -2342,29 +2342,6 @@ Diagrams = {
xmax = 2720,
ymax = 3960,
},
{
type = "Choice",
description = nil,
action = {
_switch = "EXPRESSION",
beforemsg = nil,
aftermsg = nil,
expressions = {
"fim_ant == nil",
},
variables = {},
types = {
"BOOLEAN",
},
islist = {
false,
},
},
xmin = 5020,
ymin = 4040,
xmax = 5220,
ymax = 4160,
},
{
type = "Command",
description = "$variable =\n$expression",
......@@ -2386,9 +2363,9 @@ Diagrams = {
},
},
xmin = 5020,
ymin = 3840,
ymin = 4040,
xmax = 5220,
ymax = 3960,
ymax = 4160,
},
{
type = "Command",
......@@ -2895,7 +2872,7 @@ Diagrams = {
type = "Jump",
description = "track",
x = 5120,
y = 4320,
y = 4300,
r = 40,
},
{
......@@ -2964,7 +2941,7 @@ Diagrams = {
type = "Link",
description = "F",
from = 1,
to = 51,
to = 50,
x = {
4020,
4300,
......@@ -3070,7 +3047,7 @@ Diagrams = {
type = "Link",
description = "V",
from = 10,
to = 52,
to = 51,
x = {
3180,
3180,
......@@ -3101,8 +3078,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 34,
to = 35,
from = 33,
to = 34,
x = {
5400,
5400,
......@@ -3116,7 +3093,7 @@ Diagrams = {
type = "Link",
description = nil,
from = nil,
to = 37,
to = 36,
x = {
2340,
2340,
......@@ -3171,7 +3148,7 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 32,
from = 31,
to = 23,
x = {
3460,
......@@ -3186,7 +3163,7 @@ Diagrams = {
type = "Link",
description = nil,
from = 23,
to = 53,
to = 52,
x = {
3460,
3460,
......@@ -3214,7 +3191,7 @@ Diagrams = {
type = "Link",
description = nil,
from = 24,
to = 34,
to = 33,
x = {
5400,
5400,
......@@ -3256,7 +3233,7 @@ Diagrams = {
type = "Link",
description = nil,
from = 22,
to = 38,
to = 37,
x = {
2340,
2340,
......@@ -3284,7 +3261,7 @@ Diagrams = {
type = "Link",
description = nil,
from = 26,
to = 32,
to = 31,
x = {
3460,
3460,
......@@ -3308,39 +3285,11 @@ Diagrams = {
3100,
},
},
{
type = "Link",
description = "V",
from = 29,
to = 30,
x = {
5120,
5120,
},
y = {
4100,
3900,
},
},
{
type = "Link",
description = "F",
from = 29,
to = 24,
x = {
5120,
5400,
},
y = {
4100,
4100,
},
},
{
type = "Link",
description = nil,
from = 31,
to = 33,
from = 30,
to = 32,
x = {
3740,
3740,
......@@ -3353,8 +3302,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 53,
to = 31,
from = 52,
to = 30,
x = {
3460,
3600,
......@@ -3371,8 +3320,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 33,
to = 40,
from = 32,
to = 39,
x = {
3740,
3740,
......@@ -3385,22 +3334,22 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 30,
from = 29,
to = 24,
x = {
5120,
5400,
},
y = {
3900,
4100,
4100,
},
},
{
type = "Link",
description = nil,
from = 35,
to = 36,
from = 34,
to = 35,
x = {
5400,
5400,
......@@ -3413,7 +3362,7 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 36,
from = 35,
to = 11,
x = {
5400,
......@@ -3427,7 +3376,7 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 37,
from = 36,
to = 12,
x = {
2340,
......@@ -3441,7 +3390,7 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 38,
from = 37,
to = 4,
x = {
2340,
......@@ -3455,8 +3404,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 40,
to = 41,
from = 39,
to = 40,
x = {
3740,
3740,
......@@ -3469,8 +3418,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 41,
to = 42,
from = 40,
to = 41,
x = {
3740,
3740,
......@@ -3483,7 +3432,7 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 42,
from = 41,
to = 16,
x = {
3740,
......@@ -3497,8 +3446,8 @@ Diagrams = {
{
type = "Link",
description = "V",
from = 39,
to = 55,
from = 38,
to = 54,
x = {
4020,
4300,
......@@ -3511,8 +3460,8 @@ Diagrams = {
{
type = "Link",
description = "F",
from = 39,
to = 54,
from = 38,
to = 53,
x = {
4020,
4020,
......@@ -3525,8 +3474,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 43,
to = 49,
from = 42,
to = 48,
x = {
4580,
4580,
......@@ -3539,8 +3488,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 44,
to = 45,
from = 43,
to = 44,
x = {
4840,
4840,
......@@ -3553,8 +3502,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 45,
to = 46,
from = 44,
to = 45,
x = {
4840,
4840,
......@@ -3567,8 +3516,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 46,
to = 47,
from = 45,
to = 46,
x = {
4840,
4840,
......@@ -3581,8 +3530,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 47,
to = 57,
from = 46,
to = 56,
x = {
4840,
4840,
......@@ -3596,7 +3545,7 @@ Diagrams = {
type = "Link",
description = "V",
from = 8,
to = 48,
to = 47,
x = {
3180,
3180,
......@@ -3609,7 +3558,7 @@ Diagrams = {
{
type = "Link",
description = "V",
from = 48,
from = 47,
to = 10,
x = {
3180,
......@@ -3623,7 +3572,7 @@ Diagrams = {
{
type = "Link",
description = "F",
from = 48,
from = 47,
to = 19,
x = {
3180,
......@@ -3642,7 +3591,7 @@ Diagrams = {
type = "Link",
description = nil,
from = 9,
to = 39,
to = 38,
x = {
4020,
4020,
......@@ -3669,8 +3618,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 50,
to = 44,
from = 49,
to = 43,
x = {
4840,
4840,
......@@ -3683,7 +3632,7 @@ Diagrams = {
{
type = "Link",
description = "V",
from = 52,
from = 51,
to = 19,
x = {
3180,
......@@ -3701,7 +3650,7 @@ Diagrams = {
{
type = "Link",
description = "F",
from = 52,
from = 51,
to = 20,
x = {
3180,
......@@ -3715,22 +3664,22 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 56,
from = 55,
to = 29,
x = {
5120,
5120,
},
y = {
4320,
4300,
4100,
},
},
{
type = "Link",
description = "V",
from = 55,
to = 43,
from = 54,
to = 42,
x = {
4300,
4580,
......@@ -3743,8 +3692,8 @@ Diagrams = {
{
type = "Link",
description = "V",
from = 54,
to = 60,
from = 53,
to = 59,
x = {
4020,
4020,
......@@ -3757,8 +3706,8 @@ Diagrams = {
{
type = "Link",
description = "F",
from = 55,
to = 58,
from = 54,
to = 57,
x = {
4300,
4300,
......@@ -3771,8 +3720,8 @@ Diagrams = {
{
type = "Link",
description = "F",
from = 54,
to = 58,
from = 53,
to = 57,
x = {
4020,
4300,
......@@ -3799,8 +3748,8 @@ Diagrams = {
{
type = "Link",
description = nil,
from = 58,
to = 59,
from = 57,
to = 58,
x = {
4300,
4300,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment