jif.types

## Class InformationFlowTrace

- java.lang.Object
- - jif.types.InformationFlowTrace

-     public class InformationFlowTrace
      extends java.lang.Object

- - ### Nested Class Summary

    Nested Classes
    Modifier and Type | Class and Description
    --- | ---
    `static class` | `InformationFlowTrace.Direction`

  - ### Field Summary

    Fields
    Modifier and Type | Field and Description
    --- | ---
    `InformationFlowTrace.Direction` | `dir`
    `LabelEquation` | `equ`
    `Label` | `lblflows`
    `VarLabel` | `varlbl`

  - ### Constructor Summary

    Constructors
    Constructor and Description
    `InformationFlowTrace(VarLabel l, Label from, InformationFlowTrace.Direction dir, LabelEquation e)`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `java.lang.String` | `toString()`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait`

- - ### Field Detail

    - #### varlbl

          public VarLabel varlbl

    - #### equ

          public LabelEquation equ

    - #### dir

          public InformationFlowTrace.Direction dir

    - #### lblflows

          public Label lblflows

  - ### Constructor Detail

    - #### InformationFlowTrace

          public InformationFlowTrace(VarLabel l,
                                      Label from,
                                      InformationFlowTrace.Direction dir,
                                      LabelEquation e)

  - ### Method Detail

    - #### toString

          public java.lang.String toString()

      Overrides:
        `toString` in class `java.lang.Object`