Package ru.ispras.microtesk.model
Class Aspectracer
- java.lang.Object
-
- ru.ispras.microtesk.model.Aspectracer
-
public final class Aspectracer extends java.lang.Object
TheAspectracer
class is responsible for printing Aspectrace traces.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static void
addInstrPath(java.lang.String mark)
static void
closeFile()
static java.lang.String
createFile()
static void
initialize(java.lang.String filePath, java.lang.String filePrefix)
static boolean
isEnabled()
static void
setEnabled(boolean value)
static void
shutdown()
-
-
-
Method Detail
-
initialize
public static void initialize(java.lang.String filePath, java.lang.String filePrefix)
-
shutdown
public static void shutdown()
-
isEnabled
public static boolean isEnabled()
-
setEnabled
public static void setEnabled(boolean value)
-
createFile
public static java.lang.String createFile() throws java.io.IOException
- Throws:
java.io.IOException
-
closeFile
public static void closeFile()
-
addInstrPath
public static void addInstrPath(java.lang.String mark)
-
-