Class Adapter
- java.lang.Object
-
- ru.ispras.microtesk.tools.adapter.Adapter
-
public class Adapter extends java.lang.Object
TheAdapter
class adapts the program execution trace and writes it to file in JSON format.
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
ADAPTER_OUTPUT_DIRECTORY
-
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.
-
-
-
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
-
-