CallPopNode (synchronizedPDS 3.2.0 API)

java.lang.Object
- sync.pds.solver.nodes.PopNode<Location>
- - sync.pds.solver.nodes.CallPopNode<Location,Stmt>

All Implemented Interfaces:: State

public class CallPopNode<Location,Stmt>
extends PopNode<Location>

- Constructor Summary
  
  Constructors
  Constructor Description
  
  CallPopNode(Location location, SyncPDSSolver.PDSSystem system, Stmt returnSite)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  boolean equals(Object obj)
  
  Stmt getReturnSite()
  
  int hashCode()
  - Methods inherited from class sync.pds.solver.nodes.PopNode
    location, system, toString
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CallPopNode

public CallPopNode(Location location,
                   SyncPDSSolver.PDSSystem system,
                   Stmt returnSite)

Method Detail
- getReturnSite
```
public Stmt getReturnSite()
```
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class PopNode<Location>
- equals
```
public boolean equals(Object obj)
```
  Overrides:
  
  equals in class PopNode<Location>