Package sootup.core.jimple.common.stmt
Class JInvokeStmt
java.lang.Object
sootup.core.jimple.common.stmt.AbstractStmt
sootup.core.jimple.common.stmt.JInvokeStmt
- All Implemented Interfaces:
EquivTo
,FallsThroughStmt
,InvokableStmt
,Stmt
,Acceptor<StmtVisitor>
A method call
-
Field Summary
Fields inherited from class sootup.core.jimple.common.stmt.AbstractStmt
positionInfo
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescription<V extends StmtVisitor>
Vaccept
(V v) Called when this object is visited.boolean
branches()
Returns true if execution after this statement does not necessarily continue at the following statement.boolean
Checks if the invokable statement contains a invoke expression that defines the invoke.int
Returns a (not necessarily fixed) hash code for this object.boolean
equivTo
(Object o, JimpleComparator comparator) Returns true if this object is equivalent to o according to the given comparator.boolean
Returns true if execution after this statement may continue at the following statement.Returns the possible invoke expression in the invokable statementgetUses()
Returns a list of Values used in this Stmt.boolean
Checks if the invokable statement can potentially invoke a static initializer To cause a static initializer call, the statement contains a static method call, a new expression, or a static field reference.toString()
void
toString
(StmtPrinter up) withInvokeExpr
(AbstractInvokeExpr invokeExpr) withPositionInfo
(StmtPositionInfo positionInfo) Methods inherited from class sootup.core.jimple.common.stmt.AbstractStmt
asInvokableStmt, containsArrayRef, containsFieldRef, getArrayRef, getDef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, getUsesAndDefs, isInvokableStmt, withNewUse
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface sootup.core.jimple.common.stmt.Stmt
asInvokableStmt, containsArrayRef, containsFieldRef, getArrayRef, getDef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, getUsesAndDefs, isInvokableStmt, withNewUse
-
Constructor Details
-
JInvokeStmt
-
-
Method Details
-
containsInvokeExpr
public boolean containsInvokeExpr()Description copied from interface:InvokableStmt
Checks if the invokable statement contains a invoke expression that defines the invoke.- Specified by:
containsInvokeExpr
in interfaceInvokableStmt
- Returns:
- true if the statement contains an invoke expression, false if not
-
invokesStaticInitializer
public boolean invokesStaticInitializer()Description copied from interface:InvokableStmt
Checks if the invokable statement can potentially invoke a static initializer To cause a static initializer call, the statement contains a static method call, a new expression, or a static field reference.- Specified by:
invokesStaticInitializer
in interfaceInvokableStmt
- Returns:
- true if the statement can cause a static initializer call, and false if not.
-
toString
-
toString
-
getInvokeExpr
Description copied from interface:InvokableStmt
Returns the possible invoke expression in the invokable statement- Specified by:
getInvokeExpr
in interfaceInvokableStmt
- Returns:
- The optional contains the invoke expression of the invokable statement or is empty if there is no invoke expression.
-
getUses
Description copied from class:AbstractStmt
Returns a list of Values used in this Stmt. Note that they are returned in usual evaluation order.- Specified by:
getUses
in interfaceStmt
- Overrides:
getUses
in classAbstractStmt
-
accept
Description copied from interface:Acceptor
Called when this object is visited.- Specified by:
accept
in interfaceAcceptor<StmtVisitor>
-
fallsThrough
public boolean fallsThrough()Description copied from interface:Stmt
Returns true if execution after this statement may continue at the following statement. (e.g. GotoStmt will return false and e.g. IfStmt will return true).- Specified by:
fallsThrough
in interfaceFallsThroughStmt
- Specified by:
fallsThrough
in interfaceStmt
-
branches
public boolean branches()Description copied from interface:Stmt
Returns true if execution after this statement does not necessarily continue at the following statement. TheBranchingStmt
's GotoStmt, JSwitchStmt and IfStmt will return true. -
equivTo
Description copied from interface:EquivTo
Returns true if this object is equivalent to o according to the given comparator. -
equivHashCode
public int equivHashCode()Description copied from interface:EquivTo
Returns a (not necessarily fixed) hash code for this object. This hash code coincides with equivTo; it is undefined in the presence of mutable objects. The contract is defined inJimpleComparator
.- Specified by:
equivHashCode
in interfaceEquivTo
-
withInvokeExpr
-
withPositionInfo
-