/////////////////////////////////////////////////////////////////////////////////////
private void addLet(BasicBlock current, StateCmd stateCmd)
{
foreach (Variable v in stateCmd.Locals)
{
if (scope.findVariable(scope.getVarUName(v)) == null)
{
procedure.addVariable(new ProgramVariable(procedure.getVarUName(v), makeType(v.TypedIdent.Type), false, false, false,
false));
}
}
foreach (Cmd c in stateCmd.Cmds)
{
addStatementToBasicBlock(current, c);
}
}
