private Command parseCommand() throws CompileException {
Command returnCommand;
switch (currentToken.getTokenKind()) {
case MOVE:
returnCommand = new Command(parseCommandMove());
break;
case GOTO:
returnCommand = new Command(parseCommandGoto());
break;
case SET:
returnCommand = new Command(parseVarAssignmentCommand());
break;
case IDENTIFIER:
Identifier identifierArea = parseIdentifier();
accept(TokenKind.DOT);
returnCommand = new Command(identifierArea, parseIdentifier(), parseParameters());
break;
case IF:
return new Command(parseIfStatement()); // If doesn't need ';' so it's returned turn here.
default:
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"Wrong token in parseCommand, got " + currentToken.getTokenKind());
}
accept(TokenKind.SEMICOLON);
return returnCommand;
}
/*
* Generel parsing methods:
*/
private Token accept(TokenKind expectedKind) throws CompileException {
if (currentToken.getTokenKind() != expectedKind)
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"Wrong token, got " + currentToken.getTokenKind() + " ,expected " + expectedKind);
Token previousToken = currentToken;
acceptIt();
return previousToken;
}
private Factor parseFactor() throws CompileException {
boolean isNegative = false;
while (true) {
switch (currentToken.getTokenKind()) {
case TERMOPERATOR:
if (currentToken.getSpelling().equals("-")) {
acceptIt();
isNegative = true;
break;
} else
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"Unexpected token: " + currentToken.getSpelling());
case LPAREN:
acceptIt();
ArithmeticExpression arithmeticExpression = parseArithmeticExpression();
accept(TokenKind.RPAREN);
return new Factor(arithmeticExpression, isNegative);
case INTLITERAL:
return new Factor(parseNumber(), isNegative);
case IDENTIFIER:
Identifier identifierArea = parseIdentifier();
if (currentToken.getTokenKind() == TokenKind.DOT) {
acceptIt();
return new Factor(identifierArea, parseIdentifier(), parseParameters(), isNegative);
} else {
return new Factor(identifierArea, isNegative);
}
default:
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"Wrong token, in parseFactor: " + currentToken.getTokenKind());
}
}
}
private ExpressionBlock parseExpressionBlock() throws CompileException {
boolean isNegative = false;
while (true) {
switch (currentToken.getTokenKind()) {
case TERMOPERATOR:
if (currentToken.getSpelling().equals("-")) {
acceptIt();
isNegative = true;
break;
} else
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"Unexpected token: " + currentToken.getSpelling());
case IDENTIFIER:
Identifier identifier = parseIdentifier();
if (currentToken.getTokenKind() == TokenKind.DOT) {
acceptIt();
return new ExpressionBlock(
identifier, parseIdentifier(), parseParameters(), isNegative);
} else return new ExpressionBlock(identifier, isNegative);
case STRINGLITERAL:
case INTLITERAL:
case BOOLLITERAL:
return new ExpressionBlock(parseLiteral(), isNegative);
case LPAREN:
acceptIt();
Expression expression = parseExpression();
accept(TokenKind.RPAREN);
return new ExpressionBlock(expression, isNegative);
default:
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"Wrong token, in parseExpressionBlock: " + currentToken.getTokenKind());
}
}
}
private CommandGoto parseCommandGoto() throws CompileException {
accept(TokenKind.GOTO);
switch (currentToken.getTokenKind()) {
case IDENTIFIER:
return new CommandGoto(parseIdentifier());
case LSQBRACKET:
return new CommandGoto(parseCoordinate());
default:
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"Wrong token, in parseMoveCommand, Got " + currentToken.getTokenKind() + ".");
}
}
private BooleanExpression parseBooleanExpression() throws CompileException {
if (currentToken.getTokenKind() == TokenKind.ISBOOLEXP) {
accept(TokenKind.ISBOOLEXP);
return new BooleanExpression(
parseExpressionBlock(), parseLogicalOperator(), parseExpressionBlock());
} else {
if (currentToken.getTokenKind() != TokenKind.BOOLLITERAL)
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"Wrong token. Got: "
+ currentToken.getTokenKind().toString()
+ ", expected: BOOLLITERAL.");
return new BooleanExpression(parseExpressionBlock());
}
}
private Literal parseLiteral() throws CompileException {
switch (currentToken.getTokenKind()) {
case TERMOPERATOR:
if (currentToken.getSpelling().equals("-")) {
acceptIt();
return new Literal(parseNumber());
}
case INTLITERAL:
return new Literal(parseNumber());
case STRINGLITERAL:
return new Literal(parseString());
case BOOLLITERAL:
return new Literal(parseBoolean());
default:
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"Wrong token, in parseLiteral, got " + currentToken.getTokenKind());
}
}
private EventCommand parseEventCommand() throws CompileException {
ASTList<VarDeclaration> varDeclarations = new ASTList<VarDeclaration>();
ASTList<Command> commands = new ASTList<Command>();
Coordinates inCoordinates = null;
WhereExpression whereExpression = null;
Identifier identifierArea = null;
Identifier identifierMethod = null;
Parameters parameters = null;
accept(TokenKind.EVENT);
Type type = parseType();
Identifier identifierEvent = parseIdentifier();
// Does the EVENT contain an IN clause?
if (currentToken.getTokenKind() == TokenKind.IN) {
acceptIt(); // accept the IN token
// Is it IN COORDINATES or an IDENTIFIER?
if (currentToken.getTokenKind() == TokenKind.LSQBRACKET) {
// its IN COORDINATES
inCoordinates = parseCoordinates();
} else if (currentToken.getTokenKind() == TokenKind.IDENTIFIER) {
// It's IN an IDENTIFIER or a METHODCALL
identifierArea = parseIdentifier();
if (currentToken.getTokenKind() == TokenKind.DOT) {
// It's a METHODCALL
acceptIt();
identifierMethod = parseIdentifier();
parameters = parseParameters();
}
}
}
// Does the EVENT contain a WHERE clause?
if (currentToken.getTokenKind() == TokenKind.WHERE) {
whereExpression = parseWhereExpression();
}
// Start parsing variableDeclarations.
accept(TokenKind.LCRLPARAN);
while (currentToken.getTokenKind() == TokenKind.TYPE)
varDeclarations.add(parseVarDeclaration());
// Start parsing commands.
while (currentToken.getTokenKind() != TokenKind.RCRLPARAN) commands.add(parseCommand());
accept(TokenKind.RCRLPARAN);
// Find the correct constructor.
if (inCoordinates != null) {
if (whereExpression != null) {
// IN COORDINATES WHERE
return new EventCommand(
type, identifierEvent, inCoordinates, whereExpression, varDeclarations, commands);
}
// IN COORDINATES
return new EventCommand(type, identifierEvent, inCoordinates, varDeclarations, commands);
} else if (identifierMethod != null) {
if (whereExpression != null) {
// IN METHODCALL WHERE
return new EventCommand(
type,
identifierEvent,
identifierArea,
identifierMethod,
parameters,
whereExpression,
varDeclarations,
commands);
}
// IN METHODCALL
return new EventCommand(
type,
identifierEvent,
identifierArea,
identifierMethod,
parameters,
varDeclarations,
commands);
} else if (identifierArea != null) {
if (whereExpression != null) {
// IN IDENTIFIER WHERE
return new EventCommand(
type, identifierEvent, identifierArea, whereExpression, varDeclarations, commands);
}
// IN IDENTIFIER
return new EventCommand(type, identifierEvent, identifierArea, varDeclarations, commands);
} else if (whereExpression != null) {
return new EventCommand(type, identifierEvent, whereExpression, varDeclarations, commands);
} else {
// We need either an IN or WHERE or Both...
throw new CompileException(
ErrorType.UNEXPECTED_TOKEN,
currentToken.getPosition(),
"parseEvent syntax error, EVENT's needs either an IN or WHERE clause, or Both, got "
+ currentToken.getTokenKind());
}
}
