|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use edu.cmu.cs.crystal.annotations | |
---|---|
edu.cmu.cs.crystal | The core package for Crystal; start here for making your own Crystal analysis. |
edu.cmu.cs.crystal.annotations | Utilities for automatically retrieving and storing Java annotations for use by a Crystal analsysis. |
edu.cmu.cs.crystal.internal | An internal package for Crystal to interact with Eclipse and start running the analyses. |
Classes in edu.cmu.cs.crystal.annotations used by edu.cmu.cs.crystal | |
---|---|
AnnotationDatabase
This class is a database for annotations. |
Classes in edu.cmu.cs.crystal.annotations used by edu.cmu.cs.crystal.annotations | |
---|---|
AnnotationSummary
Represents the annotations for a method declaration. |
|
ICrystalAnnotation
Interface for accessing annotations through the Crystal annotation database. |
Classes in edu.cmu.cs.crystal.annotations used by edu.cmu.cs.crystal.internal | |
---|---|
AnnotationDatabase
This class is a database for annotations. |
|
ICrystalAnnotation
Interface for accessing annotations through the Crystal annotation database. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |