joeq.Compiler.Analysis.FlowInsensitive
Class SummaryToTuples.TupleSummary

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.SummaryToTuples.TupleSummary

Enclosing class:

SummaryToTuples

public class SummaryToTuples.TupleSummary
extends Object

Constructor Summary

SummaryToTuples.TupleSummary(jq_Method m)

SummaryToTuples.TupleSummary(MethodSummary ms)

Method Summary

String

toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SummaryToTuples.TupleSummary

public SummaryToTuples.TupleSummary(jq_Method m)

SummaryToTuples.TupleSummary

public SummaryToTuples.TupleSummary(MethodSummary ms)

Method Detail

toString

public String toString()

Overrides:

toString in class Object