Package it.unive.lisa.imp

Class IMPFrontend

java.lang.Object

org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T>

it.unive.lisa.imp.antlr.IMPParserBaseVisitor<java.lang.Object>

it.unive.lisa.imp.IMPFrontend

All Implemented Interfaces:

IMPParserVisitor<java.lang.Object>, org.antlr.v4.runtime.tree.ParseTreeVisitor<java.lang.Object>

public class IMPFrontend
extends IMPParserBaseVisitor<java.lang.Object>

An IMPParserBaseVisitor that will parse the IMP code building a representation that can be analyzed through LiSA. Methods overridden in this class return a Pair of Statements to uniquely mark the entry- and exit-points of the code that has been generated by vising an AST node.

Method Summary

Modifier and Type	Method	Description
static it.unive.lisa.program.Program	processFile(java.lang.String file)	Parses a file using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from that file.
static it.unive.lisa.program.Program	processFile(java.lang.String file, boolean onlyMain)	Parses a file using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from that file.
static it.unive.lisa.program.Program	processText(java.lang.String text)	Parses a piece of IMP code using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from the given text.
static it.unive.lisa.program.Program	processText(java.lang.String text, boolean onlyMain)	Parses a piece of IMP code using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from the given text.
it.unive.lisa.program.ClassUnit	visitClassUnit(IMPParser.ClassUnitContext ctx)	Visit a parse tree produced by IMPParser.classUnit().
it.unive.lisa.program.ConstantGlobal	visitConstantDeclaration(IMPParser.ConstantDeclarationContext ctx)	Visit a parse tree produced by IMPParser.constantDeclaration().
it.unive.lisa.program.cfg.CFG	visitConstructorDeclaration(IMPParser.ConstructorDeclarationContext ctx)	Visit a parse tree produced by IMPParser.constructorDeclaration().
it.unive.lisa.program.Global	visitFieldDeclaration(IMPParser.FieldDeclarationContext ctx)	Visit a parse tree produced by IMPParser.fieldDeclaration().
it.unive.lisa.program.Program	visitFile(IMPParser.FileContext ctx)	Visit a parse tree produced by IMPParser.file().
it.unive.lisa.program.cfg.Parameter	visitFormal(IMPParser.FormalContext ctx)	Visit a parse tree produced by IMPParser.formal().
it.unive.lisa.program.cfg.Parameter[]	visitFormals(IMPParser.FormalsContext ctx)	Visit a parse tree produced by IMPParser.formals().
it.unive.lisa.program.InterfaceUnit	visitInterfaceUnit(IMPParser.InterfaceUnitContext ctx)	Visit a parse tree produced by IMPParser.interfaceUnit().
it.unive.lisa.symbolic.value.Constant	visitLiteral(IMPParser.LiteralContext ctx)	Visit a parse tree produced by IMPParser.literal().
it.unive.lisa.program.cfg.CFG	visitMethodDeclaration(IMPParser.MethodDeclarationContext ctx)	Visit a parse tree produced by IMPParser.methodDeclaration().
it.unive.lisa.program.cfg.AbstractCodeMember	visitSignatureDeclaration(IMPParser.SignatureDeclarationContext ctx)	Visit a parse tree produced by IMPParser.signatureDeclaration().
it.unive.lisa.program.Unit	visitUnit(IMPParser.UnitContext ctx)	Visit a parse tree produced by IMPParser.unit().

Methods inherited from class it.unive.lisa.imp.antlr.IMPParserBaseVisitor

visitAnnotation, visitAnnotationMember, visitAnnotationMembers, visitAnnotations, visitAnnotationValue, visitArg, visitArguments, visitArrayAccess, visitArrayAnnotationValue, visitArrayCreatorRest, visitArrayExpr, visitArraySqDeclaration, visitAssignment, visitBasicAnnotationValue, visitBasicExpr, visitBinaryStringExpr, visitBlock, visitBlockOrStatement, visitClassMemberDeclarations, visitExpression, visitFieldAccess, visitForDeclaration, visitForLoop, visitIndex, visitInterfaceMemberDeclarations, visitLocalDeclaration, visitLoop, visitMethodCall, visitNewBasicArrayExpr, visitNewReferenceType, visitParExpr, visitPrimitiveType, visitReceiver, visitStatement, visitStringExpr, visitTernaryStringExpr, visitUnaryStringExpr, visitUnitName, visitUnitNames, visitWhileLoop

Methods inherited from class org.antlr.v4.runtime.tree.AbstractParseTreeVisitor

aggregateResult, defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.antlr.v4.runtime.tree.ParseTreeVisitor

visit, visitChildren, visitErrorNode, visitTerminal

Method Detail

processFile

public static it.unive.lisa.program.Program processFile(java.lang.String file)
                                                 throws ParsingException

Parses a file using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from that file. Invoking this method is equivalent to invoking processFile(String, boolean) passing false as second parameter.

Parameters:

file - the complete path (relative or absolute) of the file to parse

Returns:

the resulting Program

Throws:

ParsingException - if this frontend is unable to parse the file

processFile

public static it.unive.lisa.program.Program processFile(java.lang.String file,
                                                        boolean onlyMain)
                                                 throws ParsingException

Parses a file using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from that file.

Parameters:

file - the complete path (relative or absolute) of the file to parse

onlyMain - true iff the only entry point is the main method

Returns:

the resulting Program

Throws:

ParsingException - if this frontend is unable to parse the file

processText

public static it.unive.lisa.program.Program processText(java.lang.String text)
                                                 throws ParsingException

Parses a piece of IMP code using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from the given text. Invoking this method is equivalent to invoking processText(String, boolean) passing false as second parameter.

Parameters:

text - the IMP program to parse

Returns:

the resulting Program

Throws:

ParsingException - if this frontend is unable to parse the text

processText

public static it.unive.lisa.program.Program processText(java.lang.String text,
                                                        boolean onlyMain)
                                                 throws ParsingException

Parses a piece of IMP code using the IMPLexer and the IMPParser produced by compiling the ANTLR4 grammar, and yields the Program that corresponds to the one parsed from the given text.

Parameters:

text - the IMP program to parse

onlyMain - true iff the only entry point is the main method

Returns:

the resulting Program

Throws:

ParsingException - if this frontend is unable to parse the text

visitFile

public it.unive.lisa.program.Program visitFile(IMPParser.FileContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.file().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitFile in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitFile in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitUnit

public it.unive.lisa.program.Unit visitUnit(IMPParser.UnitContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.unit().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitUnit in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitUnit in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitInterfaceUnit

public it.unive.lisa.program.InterfaceUnit visitInterfaceUnit(IMPParser.InterfaceUnitContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.interfaceUnit().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitInterfaceUnit in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitInterfaceUnit in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitClassUnit

public it.unive.lisa.program.ClassUnit visitClassUnit(IMPParser.ClassUnitContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.classUnit().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitClassUnit in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitClassUnit in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitConstantDeclaration

public it.unive.lisa.program.ConstantGlobal visitConstantDeclaration(IMPParser.ConstantDeclarationContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.constantDeclaration().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitConstantDeclaration in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitConstantDeclaration in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitFieldDeclaration

public it.unive.lisa.program.Global visitFieldDeclaration(IMPParser.FieldDeclarationContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.fieldDeclaration().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitFieldDeclaration in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitFieldDeclaration in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitConstructorDeclaration

public it.unive.lisa.program.cfg.CFG visitConstructorDeclaration(IMPParser.ConstructorDeclarationContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.constructorDeclaration().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitConstructorDeclaration in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitConstructorDeclaration in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitMethodDeclaration

public it.unive.lisa.program.cfg.CFG visitMethodDeclaration(IMPParser.MethodDeclarationContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.methodDeclaration().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitMethodDeclaration in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitMethodDeclaration in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitSignatureDeclaration

public it.unive.lisa.program.cfg.AbstractCodeMember visitSignatureDeclaration(IMPParser.SignatureDeclarationContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.signatureDeclaration().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitSignatureDeclaration in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitSignatureDeclaration in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitFormals

public it.unive.lisa.program.cfg.Parameter[] visitFormals(IMPParser.FormalsContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.formals().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitFormals in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitFormals in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitFormal

public it.unive.lisa.program.cfg.Parameter visitFormal(IMPParser.FormalContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.formal().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitFormal in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitFormal in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result

visitLiteral

public it.unive.lisa.symbolic.value.Constant visitLiteral(IMPParser.LiteralContext ctx)

Description copied from class: IMPParserBaseVisitor

Visit a parse tree produced by IMPParser.literal().

The default implementation returns the result of calling AbstractParseTreeVisitor.visitChildren(org.antlr.v4.runtime.tree.RuleNode) on ctx.

Specified by:

visitLiteral in interface IMPParserVisitor<java.lang.Object>

Overrides:

visitLiteral in class IMPParserBaseVisitor<java.lang.Object>

Parameters:

ctx - the parse tree

Returns:

the visitor result