Package crypto.typestate
Class CrySLMethodToSootMethod
- java.lang.Object
-
- crypto.typestate.CrySLMethodToSootMethod
-
public class CrySLMethodToSootMethod extends Object
-
-
Constructor Summary
Constructors Constructor Description CrySLMethodToSootMethod()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Collection<soot.SootMethod>convert(CrySLMethod label)Collection<soot.SootMethod>convert(List<CrySLMethod> list)Collection<CrySLMethod>convert(soot.SootMethod m)static voidreset()static CrySLMethodToSootMethodv()
-
-
-
Method Detail
-
convert
public Collection<CrySLMethod> convert(soot.SootMethod m)
-
convert
public Collection<soot.SootMethod> convert(CrySLMethod label)
-
convert
public Collection<soot.SootMethod> convert(List<CrySLMethod> list)
-
v
public static CrySLMethodToSootMethod v()
-
reset
public static void reset()
-
-