joeq.Compiler.Analysis.Primitive
Class PrimitivePAMethodSummary

java.lang.Object
  joeq.Class.jq_MethodVisitor.EmptyVisitor
      joeq.Compiler.Analysis.Primitive.PrimitivePAMethodSummary

All Implemented Interfaces:

jq_MethodVisitor

public class PrimitivePAMethodSummary
extends jq_MethodVisitor.EmptyVisitor

Version:

$Id: PrimitivePAMethodSummary.java 2324 2005-09-27 17:08:12Z livshits $

Author:

jwhaley

Nested Class Summary

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

jq_MethodVisitor.DeclaredMethodVisitor, jq_MethodVisitor.EmptyVisitor

Constructor Summary

PrimitivePAMethodSummary(PrimitivePA 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(PrimitiveMethodSummary.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

PrimitivePAMethodSummary

public PrimitivePAMethodSummary(PrimitivePA 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(PrimitiveMethodSummary.Node node)

toString

public String toString()

Overrides:

toString in class Object

main

public static void main(String[] args)