public interface Pragma
| Modifier and Type | Interface and Description | 
|---|---|
| static class  | Pragma.ForbiddenPragmaModule | 
| static class  | Pragma.PragmaModule | 
| Modifier and Type | Method and Description | 
|---|---|
| void | addTo(PragmaReceiver receiver) | 
void addTo(PragmaReceiver receiver)