public final class StmtTrace extends Stmt
| Constructor and Description |
|---|
StmtTrace(java.lang.String format) |
StmtTrace(java.lang.String format,
java.util.List<FormatMarker> markers,
java.util.List<ru.ispras.fortress.expression.Node> args) |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<ru.ispras.fortress.expression.Node> |
getArguments() |
java.lang.String |
getFormat() |
java.util.List<FormatMarker> |
getMarkers() |
java.lang.String |
toString() |
public StmtTrace(java.lang.String format)
public StmtTrace(java.lang.String format,
java.util.List<FormatMarker> markers,
java.util.List<ru.ispras.fortress.expression.Node> args)
public java.lang.String getFormat()
public java.util.List<FormatMarker> getMarkers()
public java.util.List<ru.ispras.fortress.expression.Node> getArguments()
public java.lang.String toString()
toString in class java.lang.Object