[Java] Class GContractsASTTransformation

@GroovyASTTransformation(phase = CompilePhase.INSTRUCTION_SELECTION)
public class GContractsASTTransformation
extends BaseASTTransformation

Custom AST transformation that removes closure annotations of Invariant, Requires and Ensures and adds Java assertions executing the closure-code.

Whenever an assertion is broken an AssertionViolation descendant class will be thrown.

See Also:: PreconditionViolation; PostconditionViolation; ClassInvariantViolation

Methods Summary

Methods
Type Params	Return Type	Name and description
	`public void`	`visit(ASTNode[] nodes, SourceUnit unit)` ASTTransformation.visit

Inherited Methods
Methods inherited from class	Name
`class BaseASTTransformation`	`getReaderSource`