Package org.checkerframework.common.wholeprograminference.scenelib

package org.checkerframework.common.wholeprograminference.scenelib

Related Packages

Package	Description
org.checkerframework.common.wholeprograminference	This package implements whole-program inference, an interprocedural inference that infers types and inserts them into a program.

Classes

Class	Description
ASceneWrapper	scene-lib (from the Annotation File Utilities) doesn't provide enough information to usefully print stub files: it lacks information about what is and is not an enum, about the base types of variables, and about formal parameter names.