| Class | Description |
|---|---|
| AssumeClassSpecificationVisitorFactory |
This factory creates visitors to efficiently travel to specified classes and
class members and set specified values on them.
|
| InstructionUsageMarker |
This AttributeVisitor marks necessary instructions in the code attributes
that it visits, based on partial evaluation.
|