Online Help

The call maplemint(Procedure) generates semantic information for a procedure or module and displays code that can never be executed.

Some of the things that maplemint generates reports for include:

system name/declared parameter conflicts

system name/declared local variable conflicts

system name/declared global variable conflicts

constants that are assigned a value

declared global variables that begin with '_'

declared global variables that are never used

global variables that are used but not declared

declared local variables that are never used

declared local variables that are assigned a value, but unused

local variables that are used before being assigned a value

unused parameters

loop variables that are used repeatedly in nested loops

unreachable code

equations used as statements

break or next found outside of loop

missing '*' - as in 2(x+1)

For a full list of the warnings that can be reported by maplemint, see the -t toggle section on the mint help page.

Unlike mint , maplemint does not report syntax errors since the interpreter/parser takes care of that before you can call maplemint.

a:=proc()
local b; global c;
if (b=5) then
b:=6;
return(true);
lprint(`test`);
end if;
end proc:

$\mathrm{maplemint}\left(a\right)$

Procedure a()
These names were used as global names but were not declared: test
These global variables were declared, but never used: c
These local variables were used before they were assigned a value: b
There is unreachable code following a RETURN or return statement at
statement 4: lprint(test)

a:=proc() local b,i;
b:=6;
while (b>0) do
for i from 1 to 6 do
break;
printf(`%d`,i);
end do;
for i in [1,3,5] do
lprint(i);
break;
lprint(test);
end do;
b:=b-1;
end do;
end proc:

$\mathrm{maplemint}\left(a\right)$

Procedure a()
These names were used as global names but were not declared: %d, test
There is unreachable code following a break statement at statement 5:
printf(%d,i)
There is unreachable code following a break statement at statement 9:
lprint(test)

a:=proc() local i;
for i from 1 to 10 do
lprint(i);
for i from 1 to 6 do
lprint(i);
end do;
end do;
end proc:

$\mathrm{maplemint}\left(a\right)$

Procedure a()
These variables were used as the same loop variable for nested loops: i

a:=proc() local i;
i:=5;
while(i<10) do
lprint(`test`);
end do;
end proc:

$\mathrm{maplemint}\left(a\right)$

Procedure a()
These names were used as global names but were not declared: test

a:=proc() global _abc; end proc:

$\mathrm{maplemint}\left(a\right)$

Procedure a()
These global variables were declared, but never used: _abc

a:=proc();
5=6;
end proc:

$\mathrm{maplemint}\left(a\right)$

a:=proc(); 2(x+1); end proc:

$\mathrm{maplemint}\left(a\right)$

Procedure a()
These names were used as global names but were not declared: x
An expression may be missing a * operator at statement 1: 2(x+1)

a:=proc() local T,i;
T[i]:=8;
end proc:

$\mathrm{maplemint}\left(a\right)$

Procedure a()
These local variables were used but never assigned a value: i

The maplemint command was updated in Maple 2018.