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