AssignGlobalLabel (API Reference for wala 1.3.9)

java.lang.Object
- com.ibm.wala.demandpa.flowgraph.AssignGlobalLabel

All Implemented Interfaces:: IFlowLabel

public class AssignGlobalLabel
extends 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
`AssignGlobalBarLabel`	`bar()`
`boolean`	`isBarred()`
`String`	`toString()`
`static AssignGlobalLabel`	`v()`
`void`	`visit(IFlowLabel.IFlowLabelVisitor v, Object dst)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Method Detail
  - v
```
public static AssignGlobalLabel v()
```
  - visit
```
public void visit(IFlowLabel.IFlowLabelVisitor v,
                  Object dst)
           throws IllegalArgumentException
```
    Specified by:
    
    visit in interface IFlowLabel
    
    Throws:
    
    IllegalArgumentException
  - bar
```
public AssignGlobalBarLabel 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
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object