joeq.Compiler.Analysis.IPA
Class PAMethodSummary

java.lang.Object
  joeq.Class.jq_MethodVisitor.EmptyVisitor
      joeq.Compiler.Analysis.IPA.PAMethodSummary

All Implemented Interfaces:

jq_MethodVisitor

public class PAMethodSummary
extends jq_MethodVisitor.EmptyVisitor

Version:

$Id: PAMethodSummary.java 2465 2006-06-07 23:03:17Z joewhaley $

Author:

jwhaley

Nested Class Summary

Nested classes/interfaces inherited from interface joeq.Class.jq_MethodVisitor

jq_MethodVisitor.DeclaredMethodVisitor, jq_MethodVisitor.EmptyVisitor

Constructor Summary

PAMethodSummary(PA pa, jq_Method m)

Method Summary

void	free()
static void	main(String[] args)
void	registerRelations(net.sf.javabdd.BDD V1V2context, net.sf.javabdd.BDD V1H1context)
String	toString()
void	visitMethod(jq_Method m)
void	visitNode(MethodSummary.Node node)

Methods inherited from class joeq.Class.jq_MethodVisitor.EmptyVisitor

visitClassInitializer, visitInitializer, visitInstanceMethod, visitStaticMethod

Methods inherited from class java.lang.Object

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

Constructor Detail

PAMethodSummary

public PAMethodSummary(PA pa,
                       jq_Method m)

Method Detail

registerRelations

public void registerRelations(net.sf.javabdd.BDD V1V2context,
                              net.sf.javabdd.BDD V1H1context)

free

public void free()

visitMethod

public void visitMethod(jq_Method m)

Specified by:

visitMethod in interface jq_MethodVisitor

Overrides:

visitMethod in class jq_MethodVisitor.EmptyVisitor

visitNode

public void visitNode(MethodSummary.Node node)

toString

public String toString()

Overrides:

toString in class Object

main

public static void main(String[] args)