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