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 java.lang.Object

Constructor Summary

PrimitiveMethodSummary.OperandToNodeMap()

Method Summary

static void

write(jwutil.io.Textualizer t)

Methods inherited from class java.lang.Object

equals, 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 java.io.IOException

Throws:

java.io.IOException