org.paninij.proc.check.core

Class CheckProcAnnotations

java.lang.Object

org.paninij.proc.check.core.CheckProcAnnotations

All Implemented Interfaces:

CapsuleCheck, Check, CoreCheck, SignatureCheck

public class CheckProcAnnotations
extends java.lang.Object
implements CoreCheck

Checks that the PaniniJ annotations on procedures (e.g. @Duck, @Future, and @Block) are valid. There are a few ways in which a procedure annotation is invalid. Primarily, a procedure annotation is invalid if it has an @Duck annotation (either explicitly or implied), but the return type is unduckable. An instance of `DuckabilityChecks` is used to check the duckability of the return types of all `@Duck` procedures of a given capsule core or signature core.

Nested Class Summary

Nested classes/interfaces inherited from interface org.paninij.proc.check.Check

Check.Result

Constructor Summary

Constructors

Constructor and Description
CheckProcAnnotations(javax.annotation.processing.ProcessingEnvironment procEnv)

Method Summary

Modifier and Type	Method and Description
Check.Result	checkCore(javax.lang.model.element.TypeElement core, CoreKind coreKind)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.paninij.proc.check.core.CoreCheck

checkCapsule, checkSignature

Methods inherited from interface org.paninij.proc.check.capsule.CapsuleCheck

checkCapsule

Methods inherited from interface org.paninij.proc.check.signature.SignatureCheck

checkSignature

Constructor Detail

CheckProcAnnotations

public CheckProcAnnotations(javax.annotation.processing.ProcessingEnvironment procEnv)

Method Detail

checkCore

public Check.Result checkCore(javax.lang.model.element.TypeElement core,
                              CoreKind coreKind)

Specified by:

checkCore in interface CoreCheck