com.ibm.wala.demandpa.flowgraph

Class MatchLabel

java.lang.Object

com.ibm.wala.demandpa.flowgraph.MatchLabel

All Implemented Interfaces:

IFlowLabel

public class MatchLabel
extends java.lang.Object
implements IFlowLabel

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.demandpa.flowgraph.IFlowLabel

IFlowLabel.IFlowLabelVisitor

Method Summary

Modifier and Type	Method and Description
MatchBarLabel	bar()
boolean	isBarred()
java.lang.String	toString()
static MatchLabel	v()
void	visit(IFlowLabel.IFlowLabelVisitor v, java.lang.Object dst)

Methods inherited from class java.lang.Object

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

Method Detail

v

public static MatchLabel v()

visit

public void visit(IFlowLabel.IFlowLabelVisitor v,
                  java.lang.Object dst)
           throws java.lang.IllegalArgumentException

Specified by:

visit in interface IFlowLabel

Throws:

java.lang.IllegalArgumentException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

bar

public MatchBarLabel bar()

Specified by:

bar in interface IFlowLabel

Returns:

the bar (inverse) edge corresponding to this edge

isBarred

public boolean isBarred()

Specified by:

isBarred in interface IFlowLabel

Returns:

true if this is a "barred" edge