public class CandidateChecks extends Object
Functions in this class are used to determine whether a certain AST node fulfills certain assertion requirements. E.g. whether a class node is a class invariant candidate or not.
| Type Params | Return Type | Name and description | 
|---|---|---|
|  | public static boolean | couldBeContractElementMethodNode(ClassNode type, MethodNode method)Checks whether the given MethodNode could be a candidate for an arbitrary ContractElement annotation. | 
|  | public static boolean | isClassInvariantCandidate(PropertyNode propertyNode)Decides whether the given propertyNode is a candidate for class invariant injection. | 
|  | public static boolean | isClassInvariantCandidate(ClassNode type, MethodNode method)Decides whether the given method is a candidate for class invariants. | 
|  | public static boolean | isContractsCandidate(ClassNode type)Checks whether the given ClassNode is a candidate for applying contracts. | 
|  | public static boolean | isInterfaceContractsCandidate(ClassNode type)Checks whether the given ClassNode is a candidate for applying interface contracts. | 
|  | public static boolean | isPostconditionCandidate(ClassNode type, MethodNode method)Decides whether the given method is a candidate for a post-condition. | 
|  | public static boolean | isPreOrPostconditionCandidate(ClassNode type, MethodNode method)Decides whether the given method is a candidate for a pre- or postcondition. | 
|  | public static boolean | isPreconditionCandidate(ClassNode type, MethodNode method)Decides whether the given method is a candidate for a pre-condition. | 
|  | public static boolean | isRuntimeClass(ClassNode type)Checks whether the given ClassNode is part of the Groovy/Java runtime. | 
Checks whether the given MethodNode could be a candidate for an arbitrary ContractElement annotation.
type -    the current ClassNodemethod -  the MethodNode to check for ContractElement complianceDecides whether the given propertyNode is a candidate for class invariant injection.
propertyNode -  the PropertyNode to checkDecides whether the given method is a candidate for class invariants.
type -    the current ClassNodemethod -  the MethodNode to check for class invariant complianceChecks whether the given ClassNode is a candidate for applying contracts.
If the given class node has already been processed in this compilation run, this method will return false.
type -  the ClassNode to be checkedChecks whether the given ClassNode is a candidate for applying interface contracts.
type -  the ClassNode to be checkedDecides whether the given method is a candidate for a post-condition.
type -    the current ClassNodemethod -  the MethodNode to check for post-condition complianceDecides whether the given method is a candidate for a pre- or postcondition.
type -    the current ClassNodemethod -  the MethodNode to check for pre- or postcondition complianceDecides whether the given method is a candidate for a pre-condition.
type -    the current ClassNodemethod -  the MethodNode to check for pre-condition compliance