Class StmtTrace
- java.lang.Object
-
- ru.ispras.microtesk.mmu.translator.ir.Stmt
-
- ru.ispras.microtesk.mmu.translator.ir.StmtTrace
-
public final class StmtTrace extends Stmt
-
-
Constructor Summary
Constructors Constructor 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)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<ru.ispras.fortress.expression.Node>
getArguments()
java.lang.String
getFormat()
java.util.List<FormatMarker>
getMarkers()
java.lang.String
toString()
-
-
-
Constructor Detail
-
StmtTrace
public StmtTrace(java.lang.String format)
-
StmtTrace
public StmtTrace(java.lang.String format, java.util.List<FormatMarker> markers, java.util.List<ru.ispras.fortress.expression.Node> args)
-
-
Method Detail
-
getFormat
public java.lang.String getFormat()
-
getMarkers
public java.util.List<FormatMarker> getMarkers()
-
getArguments
public java.util.List<ru.ispras.fortress.expression.Node> getArguments()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-