| Exception Summary | 
| AllowInlinedPragma | Allow a method declared to throw this exception to be inlined. | 
| ForceInlinedPragma | Any method declared to throw this exception will be inlined
 by the translator and cause a LinkageError if it can't be inlined. | 
| HostedPragma | Any method declared to throw this exception is only called
 from within a hosted environment. | 
| InterpreterInvokedPragma | Any method declared to throw this exception should only be called
 from the interpreter or from JIT compiled code. | 
| NativePragma | Any method declared to throw this exception will be
 turned into a native method by the translator. | 
| NotInlinedPragma | Any method declared to throw this exception will never be inlined
 by the translator. | 
| PragmaException | The root of the pragma exception hierarchy. | 
| ReplacementConstructorPragma | Denotes a method (that must be static) whose code replaces the body
 of the constructor with the same declared parameter types. |