private static bool VariableDeclaration()
{
if (Tokens.PeekToken().type != Token.Type.Identifier)
{
return(false);
}
if (!type())
{
return(false);
}
if (semanticPass)
{
SemanticActions.tExist();
}
Tokens.NextToken();
currentIdentifier = Tokens.GetToken().lexeme;
identifierToken = Tokens.GetToken();
Tokens.NextToken();
if (Tokens.GetToken().lexeme == "[")
{
Tokens.NextToken();
currentType = "@" + currentType;
if (Tokens.GetToken().lexeme != "]")
{
SyntaxError(Tokens.GetToken(), "]");
}
Tokens.NextToken();
}
string[] data = new string[2];
data[0] = "returnType:" + currentType;
data[1] = "accessMod:" + accessMod;
Symbol symbol = new Symbol(scope, ("L" + uniqueCounter++), currentIdentifier, "lvar", data);
identifierSymbol = symbol;
if (semanticPass)
{
SemanticActions.dup(identifierToken, scope);
SemanticActions.vPush(symbol, identifierToken, scope);
}
SymbolTable.Add(symbol);
if (Tokens.GetToken().lexeme == "=")
{
if (semanticPass)
{
SemanticActions.oPush(Tokens.GetToken());
}
Tokens.NextToken();
if (!AssignmentExpression())
{
SyntaxError(Tokens.GetToken(), "assignment expression");
}
}
if (Tokens.GetToken().lexeme != ";")
{
SyntaxError(Tokens.GetToken(), ";");
}
if (semanticPass)
{
SemanticActions.EOE();
}
Tokens.NextToken();
return(true);
}
private static bool Statement()
{
if (Tokens.GetToken().lexeme == "{")
{
Tokens.NextToken();
while (Statement())
{
;
}
if (Tokens.GetToken().lexeme != "}")
{
SyntaxError(Tokens.GetToken(), "}");
}
Tokens.NextToken();
return(true);
}
if (Tokens.GetToken().lexeme == "if")
{
Tokens.NextToken();
if (Tokens.GetToken().lexeme != "(")
{
SyntaxError(Tokens.GetToken(), "(");
}
if (semanticPass)
{
SemanticActions.oPush(Tokens.GetToken());
}
Tokens.NextToken();
if (!Expression())
{
SyntaxError(Tokens.GetToken(), "an expression");
}
if (Tokens.GetToken().lexeme != ")")
{
SyntaxError(Tokens.GetToken(), ")");
}
if (semanticPass)
{
SemanticActions.ShuntYardAll();
SemanticActions.if_(Tokens.GetToken());
}
Tokens.NextToken();
if (!Statement())
{
SyntaxError(Tokens.GetToken(), "a statement");
}
if (Tokens.GetToken().lexeme == "else")
{
Tokens.NextToken();
if (semanticPass)
{
string SKIPELSE = ICode.SKIPELSE + ICode.labelCounter++ + " ";
ICode.JMP(SKIPELSE);
ICode.StackElse(SKIPELSE);
ICode.Print(ICode.StackIf());
}
if (!Statement())
{
SyntaxError(Tokens.GetToken(), "a statement");
}
if (semanticPass)
{
ICode.Print(ICode.StackElse());
}
}
else if (semanticPass)
{
ICode.Print(ICode.StackIf());
}
return(true);
}
if (Tokens.GetToken().lexeme == "while")
{
if (semanticPass)
{
string BEGIN = ICode.BEGIN + ICode.labelCounter++ + " ";
ICode.Print(BEGIN);
ICode.StackWhile(BEGIN);
}
Tokens.NextToken();
if (Tokens.GetToken().lexeme != "(")
{
SyntaxError(Tokens.GetToken(), "(");
}
if (semanticPass)
{
SemanticActions.oPush(Tokens.GetToken());
}
Tokens.NextToken();
if (!Expression())
{
SyntaxError(Tokens.GetToken(), "an expression");
}
if (Tokens.GetToken().lexeme != ")")
{
SyntaxError(Tokens.GetToken(), ")");
}
if (semanticPass)
{
SemanticActions.ShuntYardAll();
SemanticActions.while_(Tokens.GetToken());
}
Tokens.NextToken();
if (!Statement())
{
SyntaxError(Tokens.GetToken(), "a statement");
}
if (semanticPass)
{
string BEGIN = ICode.StackWhile();
ICode.JMP(BEGIN);
string ENDWHILE = ICode.StackEndWhile();
ICode.Print(ENDWHILE);
}
return(true);
}
if (Tokens.GetToken().lexeme == "return")
{
Tokens.NextToken();
Expression();
if (Tokens.GetToken().lexeme != ";")
{
SyntaxError(Tokens.GetToken(), ";");
}
if (semanticPass)
{
SemanticActions.return_(Tokens.GetToken(), scope);
}
Tokens.NextToken();
return(true);
}
if (Tokens.GetToken().lexeme == "cout")
{
Tokens.NextToken();
if (Tokens.GetToken().lexeme != "<<")
{
SyntaxError(Tokens.GetToken(), "<<");
}
Tokens.NextToken();
if (!Expression())
{
SyntaxError(Tokens.GetToken(), "an expression");
}
if (Tokens.GetToken().lexeme != ";")
{
SyntaxError(Tokens.GetToken(), ";");
}
if (semanticPass)
{
SemanticActions.cout();
}
Tokens.NextToken();
return(true);
}
if (Tokens.GetToken().lexeme == "cin")
{
Tokens.NextToken();
if (Tokens.GetToken().lexeme != ">>")
{
SyntaxError(Tokens.GetToken(), ">>");
}
Tokens.NextToken();
if (!Expression())
{
SyntaxError(Tokens.GetToken(), "an expression");
}
if (Tokens.GetToken().lexeme != ";")
{
SyntaxError(Tokens.GetToken(), ";");
}
if (semanticPass)
{
SemanticActions.cin();
}
Tokens.NextToken();
return(true);
}
if (Tokens.GetToken().lexeme == "spawn")
{
Tokens.NextToken();
if (!Expression())
{
SyntaxError(Tokens.GetToken(), "an expression");
}
if (Tokens.GetToken().lexeme != "set")
{
SyntaxError(Tokens.GetToken(), "set");
}
Tokens.NextToken();
if (Tokens.GetToken().type != Token.Type.Identifier)
{
SyntaxError(Tokens.GetToken(), "an identifier");
}
if (semanticPass)
{
SemanticActions.iPush(Tokens.GetToken(), scope);
}
Tokens.NextToken();
if (Tokens.GetToken().lexeme != ";")
{
SyntaxError(Tokens.GetToken(), ";");
}
if (semanticPass)
{
SemanticActions.spawn();
}
Tokens.NextToken();
return(true);
}
if (Tokens.GetToken().lexeme == "block")
{
Tokens.NextToken();
if (Tokens.GetToken().lexeme != ";")
{
SyntaxError(Tokens.GetToken(), ";");
}
if (semanticPass)
{
SemanticActions.block();
}
Tokens.NextToken();
return(true);
}
if (Tokens.GetToken().lexeme == "lock")
{
Tokens.NextToken();
if (Tokens.GetToken().type != Token.Type.Identifier)
{
SyntaxError(Tokens.GetToken(), "an identifier");
}
if (semanticPass)
{
SemanticActions.iPush(Tokens.GetToken(), scope);
}
Tokens.NextToken();
if (Tokens.GetToken().lexeme != ";")
{
SyntaxError(Tokens.GetToken(), ";");
}
if (semanticPass)
{
SemanticActions.lock_();
}
Tokens.NextToken();
return(true);
}
if (Tokens.GetToken().lexeme == "release")
{
Tokens.NextToken();
if (Tokens.GetToken().type != Token.Type.Identifier)
{
SyntaxError(Tokens.GetToken(), "an identifier");
}
if (semanticPass)
{
SemanticActions.iPush(Tokens.GetToken(), scope);
}
Tokens.NextToken();
if (Tokens.GetToken().lexeme != ";")
{
SyntaxError(Tokens.GetToken(), ";");
}
if (semanticPass)
{
SemanticActions.release();
}
Tokens.NextToken();
return(true);
}
if (Expression())
{
if (Tokens.GetToken().lexeme != ";")
{
SyntaxError(Tokens.GetToken(), ";");
}
if (semanticPass)
{
SemanticActions.EOE();
}
Tokens.NextToken();
return(true);
}
return(false);
}
private static bool FieldDeclaration()
{
if (Tokens.GetToken().lexeme == "(")
{
Tokens.NextToken();
parameters = "";
string methodType = currentType;
offset = 0;
sizeParameters = 0;
ParameterList();
methodSize = 0;
string[] data = new string[2];
data[0] = "returnType:" + methodType;
data[1] = "accessMod:" + accessMod;
Symbol symbol = new Symbol(scope, ("M" + uniqueCounter++), currentIdentifier, "method", data);
symbol.parameters = parameters;
currentMethodName = "M";
if (semanticPass)
{
ICode.FUNC(symbol.symid);
}
if (Tokens.GetToken().lexeme != ")")
{
SyntaxError(Tokens.GetToken(), ")");
}
Tokens.NextToken();
if (!MethodBody())
{
SyntaxError(Tokens.GetToken(), "method body");
}
symbol.size = methodSize;
SymbolTable.Add(symbol);
offset = 0;
methodSize = 0;
return(true);
}
else
{
bool flag = false;
if (Tokens.GetToken().lexeme == "[")
{
flag = true;
if (Tokens.PeekToken().lexeme != "]")
{
return(false);
}
Tokens.NextToken();
Tokens.NextToken();
}
if (semanticPass)
{
SemanticActions.vPush(identifierSymbol, identifierToken, scope);
}
if (Tokens.GetToken().lexeme == "=")
{
flag = true;
if (semanticPass)
{
SemanticActions.oPush(Tokens.GetToken());
}
Tokens.NextToken();
if (!AssignmentExpression())
{
return(false);
}
}
if ((Tokens.GetToken().lexeme == ";"))
{
if (semanticPass)
{
SemanticActions.EOE();
}
Tokens.NextToken();
return(true);
}
if (flag)
{
SyntaxError(Tokens.GetToken(), ";");
}
}
return(false);
}
