Uses of Class
charger.PragmaticSense

Packages that use PragmaticSense

Package	Description
charger	The top level package for the editor.

Uses of PragmaticSense in charger

Fields in charger declared as PragmaticSense

Modifier and Type	Field and Description
PragmaticSense	EditFrame.purpose graph's modality, as an abbreviation

Methods in charger that return PragmaticSense

Modifier and Type	Method and Description
static PragmaticSense	PragmaticSense.SenseOf(String s)
static PragmaticSense	PragmaticSense.valueOf(String name) Returns the enum constant of this type with the specified name.
static PragmaticSense[]	PragmaticSense.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in charger with parameters of type PragmaticSense

Modifier and Type	Method and Description
void	EditFrame.setGraphPragmatics(PragmaticSense mode)