joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.OperandToNodeMap

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.OperandToNodeMap

Enclosing class:

PrimitiveMethodSummary

public static class PrimitiveMethodSummary.OperandToNodeMap
extends Object

Constructor Summary

PrimitiveMethodSummary.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

PrimitiveMethodSummary.OperandToNodeMap

public PrimitiveMethodSummary.OperandToNodeMap()

Method Detail

write

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

Throws:

IOException