Методические указания (1114907), страница 22
Текст из файла (страница 22)
if ($assignParam.expressionType != null && $assignParamNext.idName != null && !$assignParamNext.expressionType.equals(names.get($assignParamNext.idName).getType())) {
errors.add("line " + $assignParamNext.idLine + ": name " + $assignParamNext.idName + " type is mismatched");
}
}
;
for_operator
: 'for' '(' type? assign {
if (names.isExist($assign.idName)) {
errors.add("line " + $assign.idLine + ": name " + $assign.idName + " duplicated");
}
else {
if ($assign.text != null) {
names.add(names.new Name($assign.idName, $type.text, $assign.idLine));
}
}
if (!$type.text.equals("int")) {
errors.add("line " + $assign.idLine + ": type of counter is mismatched");
}
if (!$assign.expressionType.equals(names.get($assign.idName).getType())) {
errors.add("line " + $assign.idLine + ": name " + $assign.idName + " type is mismatched");
}
}
';' logical_condition[$assign.idLine] ';' incrementation ')' '{' {
int instructionNumber = getInstructionNumber();
instructions.add("(" + instructionNumber + ") " + "if" + " (" + $logical_condition.instructionNumber + ") (" + (instructionNumber + 2) + ")");
instructionNumber = getInstructionNumber();
instructions.add("(" + instructionNumber + ") " + "goto" + " " + "(" + "X" + ")");
}
operator+
'}' {
instructions.add("(" + getInstructionNumber() + ") " + "+" + " " + $incrementation.idName + " 1");
instructionNumber = getInstructionNumber();
instructions.add("(" + instructionNumber + ") " + "assign" + " " + $incrementation.idName + " (" + (instructionNumber - 1) + ")");
instructionNumber = getInstructionNumber();
instructions.add("(" + instructionNumber + ") " + "goto" + " (" + ($assign.instructionNumber + 1) + ")");
for (int i = instructions.size() - 1; i > 0; i--) {
if (instructions.get(i).indexOf("X") != -1) {
String temp = instructions.get(i);
int position = temp.indexOf("X");
temp = temp.substring(0, position) + Integer.toString(instructionNumber + 1) + temp.substring(position + 1);
instructions.set(i, temp);
}
}
}
;
function_call_operator
: function_call ';'
;
logical_condition [int operatorLine] returns [int instructionNumber]
: expressionFirst = expression logical_link expressionSecond = expression {
if ($expressionFirst.expressionType != null) {
if (!$expressionFirst.expressionType.equals("int")) {
errors.add("line " + $operatorLine + ": wrong condition operator type of " + $expressionFirst.text);
}
else {
if ($expressionSecond.expressionType != null) {
if (!$expressionSecond.expressionType.equals("int")) {
errors.add("line " + $operatorLine + ": wrong condition operator type of " + $expressionSecond.text);
}
else {
String resultString = "";
$instructionNumber = getInstructionNumber();
if ($expressionFirst.expressionClass.equals("id") ||
$expressionFirst.expressionClass.equals("const_string") ||
$expressionFirst.expressionClass.equals("const_int")) {
if ($expressionFirst.expressionClass.equals("const_string")) {
constants.add($expressionFirst.text);
resultString = "(" + $instructionNumber + ") " + $logical_link.text + " " + "D0" + constants.size() + " ";
}
else {
resultString = "(" + $instructionNumber + ") " + $logical_link.text + " " + $expressionFirst.text + " ";
}
}
else {
resultString = "(" + $instructionNumber + ") " + $logical_link.text + " (" + $expressionFirst.instructionNumber + ") ";
}
if ($expressionSecond.expressionClass.equals("id") ||
$expressionSecond.expressionClass.equals("const_string") ||
$expressionSecond.expressionClass.equals("const_int")) {
$instructionNumber = getInstructionNumber();
if ($expressionSecond.expressionClass.equals("const_string")) {
constants.add($expressionSecond.text);
resultString += "D0" + constants.size();
}
else {
resultString += $expressionSecond.text;
}
instructions.add(resultString);
}
else {
resultString += "(" + $expressionSecond.instructionNumber + ")";
instructions.add(resultString);
}
}
}
}
}
}
;
logical_link
: '==' | '!=' | '>' | '<' | '>=' | '<='
;
operator : variable_declaration | assign_operator | for_operator | function_call_operator
;
program : (operator)+
;
-
Для косвенных троек.
grammar Task5Grammar;
options {
language = Java;
}
@members {
protected NamesTable names = new NamesTable();
protected ArrayList<String> errors = new ArrayList<String>();
protected ArrayList<String> instructions = new ArrayList<String>();
protected ArrayList<String> constants = new ArrayList<String>();
protected int instructionNumber = 30;
public static void main(String[] args) throws Exception {
Task5GrammarLexer lex = new Task5GrammarLexer(new ANTLRFileStream("test.txt"));
Task5GrammarParser parser = new Task5GrammarParser(new CommonTokenStream(lex));
parser.program();
if (! parser.errors.isEmpty()) {
System.out.println("Found " + parser.errors.size() + " errors:");
for (String m : parser.errors) {
System.out.println(m);
}
}
else {
System.out.println("Compiled successfully");
System.out.println("Constants:");
int i = 1;
for (String m : parser.constants) {
System.out.println("D0" + i + " " + m);
i++;
}
System.out.println("Triples:");
parser.instructions.add("(" + (parser.instructions.size() + 30) + ")");
for (String m : parser.instructions) {
System.out.println(m);
}
System.out.println("Instructions:");
for (i = 0; i < parser.instructions.size(); i++) {
System.out.println("(" + i + ")" + "(" + (i + 30) + ")");
}
}
}
public String getErrorHeader(RecognitionException e) {
return "line "+e.line+":";
}
public void emitErrorMessage(String msg) {
errors.add(msg);
}
public int getInstructionNumber() {
instructionNumber++;
return instructionNumber - 1;
}
}
ID : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'0'..'9'|'_')*
;
DIGIT : '0'..'9'+
;
STRING : '"' ~'"'* '"'
;
WS : ( ' '
| '\t'
| '\r'
| '\n'
) {$channel=HIDDEN;}
;
type
: 'int' | 'char[]'
;
assign returns [String idName, int idLine, String expressionType, int instructionNumber]
: ID '=' (expression) {
$idName = $ID.text;
$idLine = $ID.line;
$expressionType = $expression.expressionType;
$instructionNumber = getInstructionNumber();
if ($expression.expressionClass.equals("id") ||
$expression.expressionClass.equals("const_string") ||
$expression.expressionClass.equals("const_int")) {
if ($expression.expressionClass.equals("const_string")) {
constants.add($expression.text);
instructions.add("(" + $instructionNumber + ") " + "assign" + " " + $ID.text + " " + "D0" + constants.size());
}
else {
instructions.add("(" + $instructionNumber + ") " + "assign" + " " + $ID.text + " " + $expression.text);
}
}
else {
instructions.add("(" + $instructionNumber + ") " + "assign" + " " + $ID.text + " (" + $expression.instructionNumber + ")");
}
}
;
assign_operator
: assign ';' {
if (!names.isExist($assign.idName)) {
errors.add("line " + $assign.idLine + ": name " + $assign.idName + " is not declarated");
}
else {
if (!$assign.expressionType.equals(names.get($assign.idName).getType())) {
errors.add("line " + $assign.idLine + ": name " + $assign.idName + " type is mismatched");
}
}
}
;
expression returns [String expressionType, String expressionClass, int instructionNumber]
: ID {
if (!names.isExist($ID.text)) {
errors.add("line " + $ID.line + ": name " + $ID.text + " is not declarated");
}
else {
$expressionType = names.get($ID.text).getType();
$expressionClass = "id";
}
}
| STRING {
$expressionType = "char[]";
$expressionClass = "const_string";
}
| DIGIT {
$expressionType = "int";
$expressionClass = "const_int";
}
| arifmetic_expression {
$expressionType = "int";
$expressionClass = "arifmetic_expression";
$instructionNumber = $arifmetic_expression.instructionNumber;
}
| function_call {
$expressionType = $function_call.resultType;
$expressionClass = "function_call";
$instructionNumber = $function_call.instructionNumber;
}
| array_element {
$expressionType = "int";
$expressionClass = "array_element";
$instructionNumber = $array_element.instructionNumber;
}
| getting_address {
$expressionType = "int";
$expressionClass = "getting_address";
$instructionNumber = $getting_address.instructionNumber;
}
;
arifmetic_operand
: ID {
if (!names.isExist($ID.text)) {
errors.add("line " + $ID.line + ": name " + $ID.text + " is not declarated");
}
else {
if (!names.get($ID.text).getType().equals("int")) {
errors.add("line " + $ID.line + ": name " + $ID.text + " type mismatched");
}
}
}
| DIGIT
;
arifmetic_expression returns[int instructionNumber]
: operandFirst = arifmetic_operand arifmetic_sign operandSecond = arifmetic_operand {
$instructionNumber = getInstructionNumber();
instructions.add("(" + $instructionNumber + ") " + $arifmetic_sign.text + " " + $operandFirst.text + " " + $operandSecond.text);
}
;
arifmetic_sign
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
