envgen
Class Assumptions

java.lang.Object
  |
  +--envgen.Assumptions

Direct Known Subclasses:

AnalysisResults, UserSpec

public abstract class Assumptions

extends java.lang.Object

Represents environment assumptions that can be aquired from a user, static analysis, runtime analysis, or other technique.

Constructor Summary

Assumptions()

Methods inherited from class java.lang.Object

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

Constructor Detail

Assumptions

public Assumptions()