qilin.core.sets

Class P2SetVisitor

java.lang.Object

qilin.core.sets.P2SetVisitor

public abstract class P2SetVisitor
extends Object

Abstract base class for points-to set visitors used to enumerate points-to sets.

Author:

Ondrej Lhotak

Field Summary

Fields

Modifier and Type	Field and Description
protected PTA	pta
protected boolean	returnValue

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	P2SetVisitor(PTA pta)

Method Summary

Modifier and Type	Method and Description
boolean	getReturnValue()
void	visit(long idx)
protected abstract void	visit(Node n)

Methods inherited from class java.lang.Object

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

Field Detail

returnValue

protected boolean returnValue

pta

protected final PTA pta

Constructor Detail

P2SetVisitor

protected P2SetVisitor(PTA pta)

Method Detail

visit

protected abstract void visit(Node n)

visit

public void visit(long idx)

getReturnValue

public boolean getReturnValue()