private static bool ClassMemberDeclaration()
{
if (Tokens.GetToken().lexeme != "public" &&
Tokens.GetToken().lexeme != "private")
{
parameters = "";
methodSize = 0;
return(ConstructorDeclaration());
}
accessMod = Tokens.GetToken().lexeme;
Tokens.NextToken();
if (!type())
{
SyntaxError(Tokens.GetToken(), "a type");
return(false);
}
if (semanticPass)
{
SemanticActions.tExist();
}
Tokens.NextToken();
if (Tokens.GetToken().type != Token.Type.Identifier)
{
SyntaxError(Tokens.GetToken(), "identifer");
}
currentIdentifier = Tokens.GetToken().lexeme;
identifierToken = Tokens.GetToken();
if (semanticPass)
{
SemanticActions.dup(identifierToken, scope);
}
Tokens.NextToken();
Symbol symbol = null;
if (Tokens.GetToken().lexeme == "[")
{
currentType = "@" + currentType;
}
if (Tokens.GetToken().lexeme == "[" || Tokens.GetToken().lexeme == "=" || Tokens.GetToken().lexeme == ";")
{
string[] data = new string[2];
data[0] = "returnType:" + currentType;
data[1] = "accessMod:" + accessMod;
symbol = new Symbol(scope, ("V" + uniqueCounter++), currentIdentifier, "ivar", data);
SymbolTable.Add(symbol);
if (!semanticPass)
{
memberVariables.Add(symbol.symid);
}
classSize += symbol.size;
}
identifierSymbol = symbol;
if (!FieldDeclaration())
{
SyntaxError(Tokens.GetToken(), "field declaration");
}
accessMod = "public";
return(true);
}
private static bool ClassDeclaration()
{
if (Tokens.GetToken().lexeme != "class")
{
return(false);
}
Tokens.NextToken();
scope = "g" + "." + Tokens.GetToken().lexeme;
if (Tokens.GetToken().type != Token.Type.Identifier)
{
SyntaxError(Tokens.GetToken(), "an identifer");
}
Symbol symbol = new Symbol("g", ("C" + uniqueCounter++), Tokens.GetToken().lexeme, "Class", null);
identifierToken = Tokens.GetToken();
if (semanticPass)
{
SemanticActions.dup(identifierToken, "g");
ICode.StaticInit();
}
Tokens.NextToken();
if (Tokens.GetToken().lexeme != "{")
{
SyntaxError(Tokens.GetToken(), "{");
}
Tokens.NextToken();
classSize = 0;
classMemberOffset = 0;
classTempMemberOffset = 0;
while (ClassMemberDeclaration())
{
}
if (semanticPass)
{
ICode.StaticInitInsertVars();
}
if (Tokens.GetToken().lexeme != "}")
{
SyntaxError(Tokens.GetToken(), "modifier or constructor or a closing brace");
}
else
{
memberVariables.Add(currentClassConstructorSymid);
}
Tokens.NextToken();
symbol.size = classMemberOffset;
SymbolTable.Add(symbol);
scope = "g";
return(true);
}
private static bool Parameter()
{
if (!type())
{
return(false);
}
if (semanticPass)
{
SemanticActions.tExist();
}
Tokens.NextToken();
if (Tokens.GetToken().type != Token.Type.Identifier)
{
SyntaxError(Tokens.GetToken(), "identifer");
}
identifierToken = Tokens.GetToken();
if (semanticPass)
{
SemanticActions.dup(identifierToken, (scope + "." + currentIdentifier));
}
if (Tokens.PeekToken().lexeme == "[")
{
currentType = "@" + currentType;
}
parameters += "P" + uniqueCounter;
string[] data = new string[2];
data[0] = "returnType:" + currentType;
data[1] = "accessMod:" + accessMod;
Symbol symbol = new Symbol((scope + "." + currentIdentifier), ("P" + uniqueCounter++), Tokens.GetToken().lexeme, "Param", data);
Tokens.NextToken();
if (Tokens.GetToken().lexeme == "[")
{
Tokens.NextToken();
if (Tokens.GetToken().lexeme != "]")
{
SyntaxError(Tokens.GetToken(), "]");
}
Tokens.NextToken();
}
SymbolTable.Add(symbol);
return(true);
}
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 ConstructorDeclaration()
{
if (Tokens.GetToken().type != Token.Type.Identifier)
{
return(false);
}
currentIdentifier = Tokens.GetToken().lexeme;
identifierToken = Tokens.GetToken();
if (semanticPass)
{
SemanticActions.dup(identifierToken, scope);
SemanticActions.CD(identifierToken, scope);
}
Tokens.NextToken();
if (Tokens.GetToken().lexeme != "(")
{
SyntaxError(Tokens.GetToken(), "(");
}
Tokens.NextToken();
offset = 0;
sizeParameters = 0;
ParameterList();
string[] data = new string[2];
data[0] = "returnType:" + currentIdentifier;
data[1] = "accessMod:" + accessMod;
Symbol symbol = new Symbol(scope, ("X" + uniqueCounter++), currentIdentifier, "constructor", data);
currentMethodName = symbol.symid;
if (!semanticPass)
{
currentClassConstructorSymid = symbol.symid;
}
data[0] = "returnType:" + currentIdentifier;
data[1] = "accessMod:" + accessMod;
Symbol symbol2 = new Symbol(scope, ("Y" + symbol.symid.Substring(1)), currentIdentifier + "StaticInit", "Init", data);
if (semanticPass)
{
ICode.RETURN("this");
ICode.FUNC(symbol.symid);
ICode.FRAME(symbol2.symid, "this");
ICode.CALL(symbol2.symid);
}
symbol.parameters = parameters;
if (Tokens.GetToken().lexeme != ")")
{
SyntaxError(Tokens.GetToken(), ")");
}
Tokens.NextToken();
if (!MethodBody())
{
SyntaxError(Tokens.GetToken(), "method body");
}
symbol.size = methodSize;
symbol2.size = 0;
SymbolTable.Add(symbol);
SymbolTable.Add(symbol2);
offset = 0;
methodSize = 0;
return(true);
}
