Class StmtTrace


  • public final class StmtTrace
    extends Stmt
    • Nested Class Summary

      • Nested classes/interfaces inherited from class ru.ispras.microtesk.mmu.translator.ir.Stmt

        Stmt.Kind
    • 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()  
      • Methods inherited from class ru.ispras.microtesk.mmu.translator.ir.Stmt

        getKind
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • 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 class java.lang.Object