See: Description
| Interface | Description |
|---|---|
| CoreCheck |
An interface for a check which can act as both a
CapsuleCheck and a SignatureCheck. |
| Class | Description |
|---|---|
| CheckForBadAnnotations |
Check that a core does not have certain bad annotations.
|
| CheckForIllegalMethodNames |
Check that a core does not have certain illegal or reserved method names.
|
| CheckForIllegalSubtyping |
Checks that that a capsule core or signature core is not a subclass of anything except
`java.lang.Object`.
|
| CheckForNestedTypes |
Checks that a capsule core declaration does not declare any nested types, i.e.
|
| CheckForTypeParameters |
Check that a core does not have any type parameters.
|
| CheckPackage |
Check that the given core is in an okay package.
|
| CheckProcAnnotations |
Checks that the PaniniJ annotations on procedures (e.g.
|
| CheckSuffix |
| Enum | Description |
|---|---|
| CoreKind |
CoreCheck