de.unisaarland.cs.st.jerify.verifier.typestate
Class MethodTypestateInformation

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.typestate.MethodTypestateInformation

public class MethodTypestateInformation
extends java.lang.Object

Contains the information that is generated while analysing the methods not used+generated yet

Author:

dw

Constructor Summary

MethodTypestateInformation()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodTypestateInformation

public MethodTypestateInformation()