MatchLabel (core 1.6.5 API)

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

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	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