See: Description
| Interface | Description |
|---|---|
| CapsuleCheck |
| Class | Description |
|---|---|
| CheckEventFields |
Implements various checks related to a capsule core's fields, especially related to the
`@Local` and `@Imported` annotations.
|
| CheckFields |
Implements various checks related to a capsule core's fields, especially related to the
`@Local` and `@Imported` annotations.
|
| CheckForCycleOfLocalFields |
Checks that a given capsule core is not a part a part some cycle of capsule types linked
by
@Local fields. |
| CheckForIllegalModifiers |
Checks that a core and its members do not have illegal modifiers.
|
| CheckForImportedFieldsOnRoot | |
| CheckForLocalSignatureFields |
Checks that all
@Local fields are not signatures. |
| CheckForNonZeroArgConstructors |
Checks that any capsule core constructor only has zero arguments.
|
| CheckForRootAnnotation |
Check that a signature core is not annotated with
@Root. |
| CheckForTooManyDecls |
For each of the three `@PaniniJ` declarations kinds (`run()`, `init()`, and `design()`) this
checks that there are only zero or one of declaration of that kind in a capsule core.
|
| CheckHandlers |
This checks that Handler methods are defined correctly.
|
| CheckProcedures |
If the given core has a run declaration (i.e.
|
| CheckThatOnlySignatureCoresAreImplemented |
Check that a capsule core only implements signature cores.
|
| RoundOneCapsuleChecks | |
| RoundZeroCapsuleChecks |
Performs some initial checks on capsule and signature core at the beginning of the round in
which those sources are first seen.
|
CapsuleCheck