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

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