Package soot.javaToJimple
Class AssertStmtChecker
- java.lang.Object
-
- polyglot.visit.NodeVisitor
-
- soot.javaToJimple.AssertStmtChecker
-
public class AssertStmtChecker extends polyglot.visit.NodeVisitor
-
-
Constructor Summary
Constructors Constructor Description AssertStmtChecker()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description polyglot.visit.NodeVisitorenter(polyglot.ast.Node parent, polyglot.ast.Node n)booleanisHasAssert()polyglot.ast.Nodeoverride(polyglot.ast.Node parent, polyglot.ast.Node n)
-
-
-
Method Detail
-
isHasAssert
public boolean isHasAssert()
-
override
public polyglot.ast.Node override(polyglot.ast.Node parent, polyglot.ast.Node n)- Overrides:
overridein classpolyglot.visit.NodeVisitor
-
enter
public polyglot.visit.NodeVisitor enter(polyglot.ast.Node parent, polyglot.ast.Node n)- Overrides:
enterin classpolyglot.visit.NodeVisitor
-
-