org.paninij.proc.check.capsule

Class CheckProcedures

java.lang.Object

org.paninij.proc.check.capsule.CheckProcedures

All Implemented Interfaces:

CapsuleCheck, Check

public class CheckProcedures
extends java.lang.Object
implements CapsuleCheck

If the given core has a run declaration (i.e. some method named "run"), then the core is interpreted to represent an active capsule. Otherwise it is interpreted to be a passive capsule. If given an active capsule, then this check ensures that the core has no procedures. Otherwise, if given a passive capsule, this check ensures that every procedure is well-formed.

Nested Class Summary

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

Check.Result

Constructor Summary

Constructors

Constructor and Description
CheckProcedures()

Method Summary

Modifier and Type	Method and Description
Check.Result	checkCapsule(javax.lang.model.element.TypeElement core)

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.capsule.CapsuleCheck

checkCapsule

Constructor Detail

CheckProcedures

public CheckProcedures()

Method Detail

checkCapsule

public Check.Result checkCapsule(javax.lang.model.element.TypeElement core)

Specified by:

checkCapsule in interface CapsuleCheck

Parameters:

core - A type element for the capsule core to be checked.

Returns:

The result of the check.