public class SaveMutexSMarty
extends java.lang.Object
Constructor and Description |
---|
SaveMutexSMarty() |
Modifier and Type | Method and Description |
---|---|
static SaveMutexSMarty |
getInstance() |
void |
Save(Architecture architecture,
java.io.PrintWriter printWriter,
java.lang.String logPath)
This class save mutex relationship to file
|
public static SaveMutexSMarty getInstance()
public void Save(Architecture architecture, java.io.PrintWriter printWriter, java.lang.String logPath)
architecture
- - architecture to be decodedprintWriter
- - used to save a string in filelogPath
- - path to save log if has a error