|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use edu.cmu.cs.crystal.util | |
---|---|
edu.cmu.cs.crystal | The core package for Crystal; start here for making your own Crystal analysis. |
edu.cmu.cs.crystal.bridge | DEPRECATED PACKAGE! Do not use anything in this package; it only exists for the Plural analysis. |
edu.cmu.cs.crystal.flow | This package is used for flow analyses. |
edu.cmu.cs.crystal.internal | An internal package for Crystal to interact with Eclipse and start running the analyses. |
edu.cmu.cs.crystal.util | Several utilities that other analysis writers have found useful. |
edu.cmu.cs.crystal.util.typehierarchy |
Classes in edu.cmu.cs.crystal.util used by edu.cmu.cs.crystal | |
---|---|
Option
|
Classes in edu.cmu.cs.crystal.util used by edu.cmu.cs.crystal.bridge | |
---|---|
Copyable
|
Classes in edu.cmu.cs.crystal.util used by edu.cmu.cs.crystal.flow | |
---|---|
Option
|
Classes in edu.cmu.cs.crystal.util used by edu.cmu.cs.crystal.internal | |
---|---|
Option
|
Classes in edu.cmu.cs.crystal.util used by edu.cmu.cs.crystal.util | |
---|---|
Box
Holds a boxed value. |
|
CollectionMethods.Mapping
Interface used for the method in a map call. |
|
ConsList
An immutable cons list. |
|
Copyable
|
|
Lambda
A 'lambda,' or first-class function, that takes one argument and returns one argument. |
|
Lambda2
A 'lambda,' or first-class function, that takes two arguments and returns one argument. |
|
Option
|
|
Pair
|
|
Triple
A n-tuple where n is three. |
|
VOID
An uninhabitable type |
Classes in edu.cmu.cs.crystal.util used by edu.cmu.cs.crystal.util.typehierarchy | |
---|---|
TypeHierarchy
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |