| | |
Summary: Checking Semantic Usage of Frameworks
Ciera Jaspan
Institute for Software Research
Carnegie Mellon University
Pittsburgh, PA 15213
cchristo@cs.cmu.edu
Jonathan Aldrich
Institute for Software Research
Carnegie Mellon University
Pittsburgh, PA 15213
jonathan.aldrich@cs.cmu.edu
ABSTRACT
Software frameworks are difficult for plugin developers to
use, even when they are well designed and documented.
Some of these difficulties stem from the many constraints
that frameworks impose on plugin code. These constraints
might restrict operations from being called on certain ob-
jects, or they might restrict how long an object is available.
Additionally, the constraints are relative to the current con-
text of the plugin, and they can involve multiple, interacting
|
