Specification

Classes
class	edu.mit.csail.sdg.squander.spec.ArityMismatchException
class	edu.mit.csail.sdg.squander.spec.ClassSpec
class	edu.mit.csail.sdg.squander.spec.CompositeSpecProvider
class	edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound
class	edu.mit.csail.sdg.squander.spec.constant.ConstRels
interface	edu.mit.csail.sdg.squander.spec.constant.ConstRelVisitor< E >
interface	edu.mit.csail.sdg.squander.spec.ForgeEnv
class	edu.mit.csail.sdg.squander.spec.ForgeScene
class	edu.mit.csail.sdg.squander.spec.Frame
class	edu.mit.csail.sdg.squander.spec.FrameInference
class	edu.mit.csail.sdg.squander.spec.IncompatibleTypesException
interface	edu.mit.csail.sdg.squander.spec.ISpecProvider
class	edu.mit.csail.sdg.squander.spec.JavaScene
class	edu.mit.csail.sdg.squander.spec.JField
class	edu.mit.csail.sdg.squander.spec.JMethod
interface	edu.mit.csail.sdg.squander.spec.JType
class	edu.mit.csail.sdg.squander.spec.MethodSpec
class	edu.mit.csail.sdg.squander.spec.MyExprEvaluator
class	edu.mit.csail.sdg.squander.spec.NameSpace
class	edu.mit.csail.sdg.squander.spec.Null
class	edu.mit.csail.sdg.squander.spec.ReflectiveSpecProvider
class	edu.mit.csail.sdg.squander.spec.Source
class	edu.mit.csail.sdg.squander.spec.Spec
class	edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider
class	edu.mit.csail.sdg.squander.spec.SqFunc
class	edu.mit.csail.sdg.squander.spec.Tr
class	edu.mit.csail.sdg.squander.spec.TypeChecker
class	edu.mit.csail.sdg.squander.spec.TypeCheckException
class	edu.mit.csail.sdg.squander.spec.Visitor< N, M >
Packages
package	edu.mit.csail.sdg.squander.spec
package	edu.mit.csail.sdg.squander.spec.constant
Enumerations
enum	edu::mit::csail::sdg::squander::spec::constant.ConstRel {   edu::mit::csail::sdg::squander::spec::constant.IDEN = (JType.Factory.instance.newJType(Object.class, Object.class)), edu::mit::csail::sdg::squander::spec::constant.UNIV = (JType.Factory.instance.newJType(Object.class)), edu::mit::csail::sdg::squander::spec::constant.NONE = (JType.Factory.instance.newJType(Object.class)), edu::mit::csail::sdg::squander::spec::constant.INC = (JType.Factory.instance.newJType(int.class, int.class)),   edu::mit::csail::sdg::squander::spec::constant.DEC = (JType.Factory.instance.newJType(int.class, int.class)) }

---

Detailed Description

This module contains classes for reading and maintaining specifications and converting them to Forge expressions.

---

Enumeration Type Documentation

enum edu::mit::csail::sdg::squander::spec::constant::ConstRel

Enumerator:

IDEN
UNIV
NONE
INC
DEC

Definition at line 10 of file ConstRel.java.