public static final class Pragma.ForbiddenPragmaModule extends Pragma.PragmaModule
name
Constructor and Description |
---|
ForbiddenPragmaModule(String name) |
ForbiddenPragmaModule(String name,
String message) |
Modifier and Type | Method and Description |
---|---|
void |
addTo(PragmaReceiver receiver) |
Pragma |
getPragma(String name) |
Pragma |
getStarPragma() |
public ForbiddenPragmaModule(String name)
public Pragma getPragma(String name)
getPragma
in class Pragma.PragmaModule
public Pragma getStarPragma()
getStarPragma
in class Pragma.PragmaModule
public void addTo(PragmaReceiver receiver)