- keyPressed(KeyEvent) - Method in class cetus.gui.CetusGUI
-
- keyReleased(KeyEvent) - Method in class cetus.gui.CetusGUI
-
- keyTyped(KeyEvent) - Method in class cetus.gui.CetusGUI
-
- kill(Set<Symbol>) - Method in interface cetus.analysis.Domain
-
Kills the data containing the specified set of symbols.
- kill(Set<Symbol>) - Method in class cetus.analysis.NullDomain
-
- kill(Set<Symbol>) - Method in class cetus.analysis.PointsToDomain
-
Not supported
- kill(Set<Symbol>) - Method in class cetus.analysis.PointsToDomain.Universe
-
- kill(Set<Symbol>) - Method in class cetus.analysis.RangeDomain
-
- kill(Set<Symbol>) - Method in class cetus.analysis.SetDomain
-
- killGlobal() - Method in class cetus.analysis.RangeDomain
-
Kills any ranges containing global variables.
- killGlobalAnd(Set<Symbol>) - Method in class cetus.analysis.RangeDomain
-
Kills any ranges containing global variables and the specified set of
variables.
- killLocal() - Method in class cetus.analysis.RangeDomain
-
Kill any var:range mappings containing local variables.
- killLocalExcept(Set<Symbol>) - Method in class cetus.analysis.RangeDomain
-
Kills any ranges containing local variables except for the specified set
of variables.
- killOrphan() - Method in class cetus.analysis.RangeDomain
-
Kills any ranges containing variables from which Program node is not
accessible.
- killSet(Set<Symbol>) - Method in class cetus.analysis.PointsToDomain
-
Provides a new Points-to domain that contains all
the pointer relationships for the symbols
provided as input to the kill Set.