Class TraceVal

  • All Implemented Interfaces:
    HostResult

    public class TraceVal
    extends Val
    A trace.
    • Method Detail

      • getSym

        public Optional<String> getSym()
        Returns the sym.
        Returns:
        the sym.
      • getLoc

        public Optional<LocVal> getLoc()
        Returns the loc.
        Returns:
        the loc.
      • isSnip

        public boolean isSnip()
        Returns true if the trace represents SNIP of trace frames; that is, if the trace has no loc nand sm.
        Returns:
        true if the trace represents SNIP of trace frames.
      • toStackTraceElement

        public StackTraceElement toStackTraceElement()
        Returns the corresponding stack trace element to the trace.
        Returns:
        the corresponding stack trace element to the trace.
      • getDesc

        public String getDesc()
        Returns the string of Trace.desc.
        Returns:
        the string of Trace.desc.
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class Object
      • getCustomVarMapping

        public VarMapping getCustomVarMapping()
        Description copied from class: Val
        Returns the var mapping for a val class.

        Override this method to provide vars common to the val class. The content of the var mapping is preferred than the common ones.

        Overrides:
        getCustomVarMapping in class Val
        Returns:
        the var mapping for a val class.