public Word Visit(Block block)
{
PushScope();
Word result;
foreach (var stmt in block.StmtList)
{
result = stmt.Accept(this);
if (IsJumper(result))
{
var jumper = (Jumper)result;
if (jumper.WasPopped())//Chapuz Alto para que no haga pop until mas de una vez cuando hay bloques adentro de bloques
{
return(jumper);
}
if (ControlStack.PopUntil(jumper))
{
return(jumper);
}
else
{
ErrorFactory.NotValidJumper(stmt, jumper);
}
}
}
PopScope();
return(null);
}
public Word Visit(DoWhileNode doWhileNode)
{
ControlStack.Push(ControlType.Loop);
Word result;
PyObj pyObj;
MyBoolean myBool;
while (true)
{
result = doWhileNode.Block.Accept(this);
if (IsJumper(result))
{
var jumper = (Jumper)result;
if (jumper.GetJumperType() == JumperType.Breaker)
{
return(null);
}
else if (jumper.GetJumperType() != JumperType.Continue)
{
return(jumper);
}
//Si es continue no tiene que hacer nada porque el block ya interumpio la ejecucion 1 vez
}
result = doWhileNode.Condition.Accept(this);
if (IsError(result))
{
ControlStack.Pop();
return(result);
}
if (IsMemoryBlock(result))//comentar ese if else si se hace la desereferencia en atomic expr.
{
pyObj = ((MemoryBlock)result).Value;
}
else
{
pyObj = (PyObj)result;
}
//pyObj = (PyObj)result;//Descomentar esta linea si se hace la desereferencia en atomic expr.
if (pyObj.GetMyType() != TypeConstants.BOOLEAN)
{
ControlStack.Pop();
return(ErrorFactory.WhileError(doWhileNode, pyObj));
}
myBool = (MyBoolean)pyObj;
if (!myBool.Bool)
{
break;
}
}
ControlStack.Pop();
return(null);
}
public static MyError NotValidJumper(AstNode node, Jumper jumper)
{
MyError error = new MyError(node.Span.Location.Line,
node.Span.Location.Column,
node.NodePath.StringValue,
"Jumper tipo: " + jumper.GetJumperType().ToString() + ". No es valido el call stack actual: " + ControlStack.MyToString(),
MyError.ErrorType.Semantic,
MyError.ErrorLevel.Fatal);
AddError(error);
return(error);
}
public Word Visit(ForNode forNode)
{
ControlStack.Push(ControlType.Loop);
Word result;
PyObj pyObjCond;
MyBoolean myBoolCond;
// Declara o asigna la flag en un scope intermedio entre el scope que contiene al for y el del bloque del for
PushScope();
result = forNode.Flag.Accept(this);
if (IsError(result))
{
PopScope();
ControlStack.Pop();
return(result);
}
while (true)
{
result = forNode.Condition.Accept(this);
if (IsError(result))
{
PopScope();
ControlStack.Pop();
return(result);
}
if (IsMemoryBlock(result))//comentar ese if else si se hace la desereferencia en atomic expr.
{
pyObjCond = ((MemoryBlock)result).Value;
}
else
{
pyObjCond = (PyObj)result;
}
//pyObjCond = (PyObj)result;//Descomentar esta linea si se hace la desereferencia en atomic expr.
if (pyObjCond.GetMyType() != TypeConstants.BOOLEAN)
{
PopScope();
ControlStack.Pop();
return(ErrorFactory.ForConditionError(forNode, pyObjCond));
}
myBoolCond = (MyBoolean)pyObjCond;
if (!myBoolCond.Bool)
{
break;
}
result = forNode.Block.Accept(this);
if (IsJumper(result))
{
var jumper = (Jumper)result;
if (jumper.GetJumperType() == JumperType.Breaker)
{
PopScope();
return(null);
}
else if (jumper.GetJumperType() != JumperType.Continue)
{
PopScope();
return(jumper);
}
//Si es continue no tiene que hacer nada porque el block ya interumpio la ejecucion 1 vez
}
result = forNode.Update.Accept(this);
if (IsError(result))
{
PopScope();
ControlStack.Pop();
return(result);
}
}
PopScope();
ControlStack.Pop();
return(null);
}
public Word Visit(SwitchNode switchNode)
{
ControlStack.Push(ControlType.Switch);//Push into control stack
var result = switchNode.Flag.Accept(this);
if (IsError(result))
{
ControlStack.Pop();
return(result);
}
PyObj pyObjFlag;
if (IsMemoryBlock(result))//comentar ese if else si se hace la desereferencia en atomic expr.
{
pyObjFlag = ((MemoryBlock)result).Value;
}
else
{
pyObjFlag = (PyObj)result;
}
//pyObj = (PyObj)result;//Descomentar esta linea si se hace la desereferencia en atomic expr.
var switchElements = new AstNode[switchNode.SwitchElements.Count];
switchNode.SwitchElements.CopyTo(switchElements);
//Caso que dio true a pyObjFlag cuando se comparar con ==
int? trueCaseIndex = null;
int? defaultIndex = null;
SwitchLabel switchLabel;
PyObj pyObjCase;
MyBoolean caseEvaluationResult;
for (int i = 0; i < switchElements.Length; i++)
{
//Quitar comentario si se desea que no puedan venir declaraciones dentro del if
//if (switchElements[i].GetNodeType() == NodeType.Declaration)
//{
// ControlStack.Pop();
// return ErrorFactory.DeclarationInSwitch(switchElements[i]);
//}
if (switchElements[i].GetNodeType() != NodeType.SwitchLabel)
{
continue;
}
result = switchElements[i].Accept(this);
if (IsError(result))
{
ControlStack.Pop();
return(result);
}
switchLabel = (SwitchLabel)result;
if (switchLabel.GetLabelType() == LabelType.Default)
{
if (defaultIndex != null)
{
ControlStack.Pop();
return(ErrorFactory.MultipleDefaultInSwitch(switchElements[i]));
}
else
{
defaultIndex = i;
}
}
else
{
pyObjCase = switchLabel.Value;
result = pyObjFlag.BinaryOperation(BinaryOperator.PyEquals, pyObjCase);
if (IsError(result))
{
ControlStack.Pop();
return(ErrorFactory.Create(switchElements[i], (MyError)result));
}
if (((PyObj)result).GetMyType() != TypeConstants.BOOLEAN)
{
ControlStack.Pop();
return(ErrorFactory.NotValidOperationInSwitch(switchElements[i]));
}
caseEvaluationResult = (MyBoolean)result;
if (caseEvaluationResult.Bool)
{
if (trueCaseIndex != null)
{
ControlStack.Pop();
return(ErrorFactory.MultipleTrueCasesInSwitch(switchElements[i]));
}
else
{
trueCaseIndex = i;
}
}
}
}
int startIndex = switchElements.Length;
if (trueCaseIndex != null)
{
startIndex = (int)trueCaseIndex;
}
else if (defaultIndex != null)
{
startIndex = (int)defaultIndex;
}
for (int i = startIndex; i < switchElements.Length; i++)
{
if (switchElements[i].GetNodeType() == NodeType.SwitchLabel)
{
continue;
}
result = switchElements[i].Accept(this);
if (IsJumper(result))
{
var jumper = (Jumper)result;
if (jumper.CanJump(ControlType.Switch))
{
if (!jumper.WasPopped())//Chapuz alto en el caso que retorne un jumper que no este metido dentro de ningun scope
{
ControlStack.Pop();
}
return(null);
}
if (jumper.WasPopped())//Chapuz Alto para que no haga pop until mas de una vez cuando hay bloques adentro de bloques
{
return(jumper);
}
if (ControlStack.PopUntil(jumper))
{
return(jumper);
}
else
{
ErrorFactory.NotValidJumper(switchElements[i], jumper);
}
}
}
return(null);
}
public Word InvokeProcedure(ProcedureSegment procedureSegment)
{
var name = procedureSegment.Id;
name = name.ToLowerInvariant();
var arguments = procedureSegment.Arguments;
var argumentCount = arguments.Count;
Procedure procedure;
Procedures.TryGetValue(Procedure.EmptySignature(name, argumentCount), out procedure);
if (procedure == null)
{
return(new MyError("No existe una funcion con el nombre: " + name + " y numero de parametros: " + argumentCount + " en las definiciones globales"));
}
//scope antes de llamar a la funcion
var previousScope = CurrentScope;
//Pasamos al scope global para llamar a la funcion
CurrentScope = GlobalScope;
ControlType controlType;
if (procedure.GetDefinitionType() == DefinitionType.Function)
{
controlType = ControlType.Function;
}
else if (procedure.GetDefinitionType() == DefinitionType.Method)
{
controlType = ControlType.Method;
}
else
{
throw new Exception("definicion no valida. tiene que ser funciton o method");
}
ControlStack.Push(controlType);
//hacemos las declaraciones del metodo en un nuevo scope
PushScope();
Word result;
for (int i = 0; i < argumentCount; i++)
{
result = CurrentScope.Add(procedure.ParamNames[i], arguments[i]);
if (IsError(result))
{
ControlStack.Pop();
CurrentScope = previousScope;
return(result);
}
}
//Los stmt del metodo:
foreach (var stmt in procedure.Stmts)
{
result = stmt.Accept(this);
if (IsJumper(result))
{
var jumper = (Jumper)result;
if (!jumper.WasPopped() && !ControlStack.PopUntil(jumper))
{
ErrorFactory.NotValidJumper(stmt, jumper);
continue;
}
CurrentScope = previousScope;
return(((Return)jumper).Obj);
}
}
//Si termina de visitar los stmt, no entro jumper y es una funcion retorna MyNull y reporta un error
ControlStack.Pop();
CurrentScope = previousScope;
if (controlType == ControlType.Method)
{
return(null);
}
else
{
ErrorFactory.NoValueReturnedInFunction(procedure.Stmts.Last());
return(MyNull.GetInstance());
}
}
