Package sootup.jimple.frontend

Class MethodVisitor

java.lang.Object

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

sootup.jimple.JimpleBaseVisitor<SootMethod>

sootup.jimple.frontend.MethodVisitor

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTreeVisitor<SootMethod>, JimpleVisitor<SootMethod>

Direct Known Subclasses:

EagerMethodVisitor, LazyMethodVisitor

public abstract class MethodVisitor
extends JimpleBaseVisitor<SootMethod>

Field Summary

Fields

Modifier and Type	Field	Description
protected final @NonNull ClassVisitor	classVisitor
protected final HashMap<String,Stmt>	labeledStmts
protected final HashMap<String,Local>	locals
protected final HashMap<BranchingStmt,List<String>>	unresolvedBranches

Constructor Summary

Constructors

Constructor	Description
MethodVisitor(@NonNull ClassVisitor classVisitor)

Method Summary

Modifier and Type	Method	Description
protected void	parseMethodBody(JimpleParser.MethodContext ctx, List<Trap> traps, List<List<Stmt>> blocks, Map<BranchingStmt,List<Stmt>> successorMap)
protected abstract SootMethod	resolveMethod(JimpleParser.MethodContext ctx, MethodSignature methodSignature, EnumSet<MethodModifier> modifier, List<ClassType> exceptions, Position methodPosition)
protected Map<BranchingStmt,List<Stmt>>	resolveSuccessors(JimpleParser.MethodContext ctx)
@NonNull SootMethod	visitMethod(@NonNull JimpleParser.MethodContext ctx)	Visit a parse tree produced by JimpleParser.method().

Methods inherited from class sootup.jimple.JimpleBaseVisitor

visitArg_list, visitArray_descriptor, visitAssignments, visitBinop, visitBinop_expr, visitBool_expr, visitCase_label, visitCase_stmt, visitClass_modifier, visitCommon_modifier, visitConstant, visitDeclaration, visitDeclarations, visitExtends_clause, visitField, visitField_modifier, visitField_signature, visitFile, visitFile_type, visitGoto_stmt, visitIdentifier, visitIdentity_ref, visitImmediate, visitImplements_clause, visitImportItem, visitInteger_constant, visitInvoke_expr, visitMember, visitMethod_body, visitMethod_body_contents, visitMethod_modifier, visitMethod_name, visitMethod_signature, visitMethod_subsignature, visitMethodhandle, visitReference, visitStatement, visitStatements, visitStmt, visitThrows_clause, visitTrap_clause, visitTrap_clauses, visitType, visitType_list, visitUnop, visitUnop_expr, visitValue

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

Field Details

classVisitor

protected final @NonNull ClassVisitor classVisitor

unresolvedBranches

protected final HashMap<BranchingStmt,List<String>> unresolvedBranches

labeledStmts

protected final HashMap<String,Stmt> labeledStmts

locals

protected final HashMap<String,Local> locals

Constructor Details

MethodVisitor

public MethodVisitor(@NonNull ClassVisitor classVisitor)

Method Details

visitMethod

public @NonNull SootMethod visitMethod(@NonNull JimpleParser.MethodContext ctx)

Description copied from class: JimpleBaseVisitor

Visit a parse tree produced by JimpleParser.method().

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

Specified by:

visitMethod in interface JimpleVisitor<SootMethod>

Overrides:

visitMethod in class JimpleBaseVisitor<SootMethod>

Parameters:

ctx - the parse tree

Returns:

the visitor result

resolveMethod

protected abstract SootMethod resolveMethod(JimpleParser.MethodContext ctx,
 MethodSignature methodSignature,
 EnumSet<MethodModifier> modifier,
 List<ClassType> exceptions,
 Position methodPosition)

parseMethodBody

protected void parseMethodBody(JimpleParser.MethodContext ctx,
 List<Trap> traps,
 List<List<Stmt>> blocks,
 Map<BranchingStmt,List<Stmt>> successorMap)

resolveSuccessors

protected Map<BranchingStmt,List<Stmt>> resolveSuccessors(JimpleParser.MethodContext ctx)