Package com.ibm.wala.shrike.cg

Class Runtime

  • public class Runtime
extends java.lang.Object

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static interface  Runtime.Policy  

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.Object NULL_TAG  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void addToCallStack​(java.lang.String klass, java.lang.String method, java.lang.Object receiver)  
      static java.lang.String bashToDescriptor​(java.lang.String className)  
      static void endTrace()  
      static void execution​(java.lang.String klass, java.lang.String method, java.lang.Object receiver)  
      static void pop()  
      static void termination​(java.lang.String klass, java.lang.String method, java.lang.Object receiver, boolean exception)  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • NULL_TAG

        public static java.lang.Object NULL_TAG

    • Method Detail

      • endTrace

        public static void endTrace()

      • bashToDescriptor

        public static java.lang.String bashToDescriptor​(java.lang.String className)

      • execution

        public static void execution​(java.lang.String klass,
                             java.lang.String method,
                             java.lang.Object receiver)

      • termination

        public static void termination​(java.lang.String klass,
                               java.lang.String method,
                               java.lang.Object receiver,
                               boolean exception)

      • pop

        public static void pop()

      • addToCallStack

        public static void addToCallStack​(java.lang.String klass,
                                  java.lang.String method,
                                  java.lang.Object receiver)