joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.OperandToNodeMap

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.OperandToNodeMap

Enclosing class:

MethodSummary

public static class MethodSummary.OperandToNodeMap
extends Object

Constructor Summary

MethodSummary.OperandToNodeMap()

Method Summary

static void

write(jwutil.io.Textualizer t)

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodSummary.OperandToNodeMap

public MethodSummary.OperandToNodeMap()

Method Detail

write

public static void write(jwutil.io.Textualizer t)
                  throws IOException

Throws:

IOException