Class Adapter


  • public class Adapter
    extends java.lang.Object
    The Adapter class adapts the program execution trace and writes it to file in JSON format.
    • Constructor Summary

      Constructors 
      Constructor Description
      Adapter​(Options options, java.lang.String inputResourceDir)  
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String adapt​(java.lang.String inputTrace)  
      static boolean adapt​(Options options, java.lang.String inputTrace, java.lang.String inputResourceDir)  
      java.lang.String getOutputAdapterDir()
      Returns the adapter output directory.
      java.lang.String getOutputAdapterFileSuffix()
      Returns the events json file suffix.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • ADAPTER_OUTPUT_DIRECTORY

        public static final java.lang.String ADAPTER_OUTPUT_DIRECTORY
        See Also:
        Constant Field Values
    • Constructor Detail

      • Adapter

        public Adapter​(Options options,
                       java.lang.String inputResourceDir)
    • Method Detail

      • adapt

        public static boolean adapt​(Options options,
                                    java.lang.String inputTrace,
                                    java.lang.String inputResourceDir)
      • adapt

        public java.lang.String adapt​(java.lang.String inputTrace)
      • getOutputAdapterDir

        public java.lang.String getOutputAdapterDir()
        Returns the adapter output directory.
        Returns:
        the adapter output directory
      • getOutputAdapterFileSuffix

        public java.lang.String getOutputAdapterFileSuffix()
        Returns the events json file suffix.
        Returns:
        the events json file suffix