public class InformationFlowTrace
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
InformationFlowTrace.Direction |
Modifier and Type | Field and Description |
---|---|
InformationFlowTrace.Direction |
dir |
LabelEquation |
equ |
Label |
lblflows |
VarLabel |
varlbl |
Constructor and Description |
---|
InformationFlowTrace(VarLabel l,
Label from,
InformationFlowTrace.Direction dir,
LabelEquation e) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
public VarLabel varlbl
public LabelEquation equ
public InformationFlowTrace.Direction dir
public Label lblflows
public InformationFlowTrace(VarLabel l, Label from, InformationFlowTrace.Direction dir, LabelEquation e)