- assertEquals
- assertSame
- assertSourcePositionTreeIsCorrectlyOrder
Asserts that all siblings and children of sp are well ordered
- assertTrue
- checkAssignmentContracts
checks that all assignments are aither a CtFieldWrite, a CtVariableWrite or a
CtArrayWrite
- checkContractCtScanner
verifies the core scanning contracts (enter implies exit, etc)
- checkElementIsContainedInAttributeOfItsParent
contract: element is contained in attribute of element's parent
- checkElementToPathToElementEquivalence
checks that for all elements, the path can be obtained, parsed, and give the
same element when evalu
- checkModelIsTree
contract: each element is used only once in the model
- checkModifiers
verifies that the explicit modifier should be present in the original source
code
- checkParentConsistency
public modifier for testing purpose only, not in the public API
- checkParentContract
checks that there is always one parent, corresponding to the scanning order