Package org.checkerframework.afu.scenelib.util

Class JVMNames

java.lang.Object
org.checkerframework.afu.scenelib.util.JVMNames
public class JVMNames extends Object
Class to generate class formatted names from Trees.

  • Constructor Details

    • JVMNames

      public JVMNames()
      Creates a new JVMNames.

  • Method Details

    • getJVMMethodName

      @Deprecated @InlineMe(replacement="JVMNames.getJVMMethodSignature(methodTree)", imports="org.checkerframework.afu.scenelib.util.JVMNames") public static String getJVMMethodName(MethodTree methodTree)
      Deprecated.
      use getJVMMethodSignature(MethodTree)
      Converts a MethodTree into a JVML format method signature. There is probably an API to do this, but I couldn't find it.
      Parameters:
      methodTree - the tree to convert
      Returns:
      a String signature of methodTree in jvml format

    • getJVMMethodSignature

      public static String getJVMMethodSignature(MethodTree methodTree)
      Converts a MethodTree into a JVML format method signature. There is probably an API to do this, but I couldn't find it.
      Parameters:
      methodTree - the tree to convert
      Returns:
      a String signature of methodTree in JVML format

    • getJVMMethodName

      @Deprecated @InlineMe(replacement="JVMNames.getJVMMethodSignature(methodElement)", imports="org.checkerframework.afu.scenelib.util.JVMNames") public static String getJVMMethodName(ExecutableElement methodElement)
      Deprecated.
      use getJVMMethodSignature(ExecutableElement)
      Converts a method element into a JVML format method signature. There is probably an API to do this, but I couldn't find it.
      Parameters:
      methodElement - the method element to convert
      Returns:
      a String signature of methodElement in JVML format

    • getJVMMethodSignature

      public static String getJVMMethodSignature(ExecutableElement methodElement)
      Converts a method element into a JVML format method signature. There is probably an API to do this, but I couldn't find it.
      Parameters:
      methodElement - the method element to convert
      Returns:
      a String signature of methodElement in JVML format

    • typeToJvmlString

      public static String typeToJvmlString(com.sun.tools.javac.code.Type type)
      Create a JVML string for a type.
      Parameters:
      type - the Type to convert to JVML
      Returns:
      the JVML representation of type

    • jvmlStringToJavaTypeString

      public static String jvmlStringToJavaTypeString(@FieldDescriptor String jvmType)
      Converts a type in JVM format to a type in Java format.
      Parameters:
      jvmType - a type in JVM format
      Returns:
      the type, in Java format