Class StaticTypesTransformation

All Implemented Interfaces:
CompilationUnitAware, ASTTransformation
Direct Known Subclasses:

public class StaticTypesTransformation extends Object implements ASTTransformation, CompilationUnitAware
Handles the implementation of the TypeChecked transformation.
  • Field Details

  • Constructor Details

    • StaticTypesTransformation

      public StaticTypesTransformation()
  • Method Details

    • visit

      public void visit(ASTNode[] nodes, SourceUnit source)
      Description copied from interface: ASTTransformation
      The method is invoked when an AST Transformation is active. For local transformations, it is invoked once each time the local annotation is encountered. For global transformations, it is invoked once for every source unit, which is typically a source file.
      Specified by:
      visit in interface ASTTransformation
      nodes - The ASTnodes when the call was triggered. Element 0 is the AnnotationNode that triggered this annotation to be activated. Element 1 is the AnnotatedNode decorated, such as a MethodNode or ClassNode. For global transformations it is usually safe to ignore this parameter.
      source - The source unit being compiled. The source unit may contain several classes. For global transformations, information about the AST can be retrieved from this object.
    • addTypeCheckingExtensions

      protected void addTypeCheckingExtensions(StaticTypeCheckingVisitor visitor, Expression extensions)
    • newVisitor

      protected StaticTypeCheckingVisitor newVisitor(SourceUnit unit, ClassNode node)
      Allows subclasses to provide their own visitor. This is useful for example for transformations relying on the static type checker.
      unit - the source unit
      node - the current classnode
      a static type checking visitor
    • setCompilationUnit

      public void setCompilationUnit(CompilationUnit unit)
      Specified by:
      setCompilationUnit in interface CompilationUnitAware