Package de.uka.ilkd.key.util.removegenerics

Class ResolveGenerics

java.lang.Object
recoder.kit.Transformation
recoder.kit.TwoPassTransformation
de.uka.ilkd.key.util.removegenerics.ResolveGenerics
public class ResolveGenerics extends recoder.kit.TwoPassTransformation
A recoder transformation that removes all traces of Java5 generics from a file. It makes use of several sub-classes:

  • Field Summary

    Fields inherited from class recoder.kit.Transformation

    EQUIVALENCE, IDENTITY, NO_PROBLEM

  • Constructor Summary

    Constructors
    Constructor
    Description
    ResolveGenerics(recoder.CrossReferenceServiceConfiguration sc, recoder.java.CompilationUnit cu)
    make a new generic resolver for a single compilation unit

  • Method Summary

    Modifier and Type
    Method
    Description
    recoder.kit.ProblemReport
    analyze()
    Analyse a compilation unit to remove all traces of generic entities.
    recoder.java.CompilationUnit
    getCU()
     
    void
    transform()
    simply iterate over all remaining transformations and apply them.

    Methods inherited from class recoder.kit.TwoPassTransformation

    execute

    Methods inherited from class recoder.kit.Transformation

    attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attach, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsArgument, attachAsBody, attachAsCondition, attachAsGuard, attachAsInitializer, attachAsLabel, attachAsMessage, attachAsPrefix, attachAsPrefix, attachAsPrefix, attachAsPrefix, attachAsUpdate, detach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttach, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsArgument, doAttachAsBody, doAttachAsCondition, doAttachAsGuard, doAttachAsInitializer, doAttachAsLabel, doAttachAsMessage, doAttachAsPrefix, doAttachAsPrefix, doAttachAsPrefix, doAttachAsPrefix, doAttachAsUpdate, doDetach, doReplace, getChangeHistory, getCrossReferenceSourceInfo, getNameInfo, getProblemReport, getProgramFactory, getServiceConfiguration, getSourceFileRepository, getSourceInfo, isVisible, replace, rollback, setProblemReport, setServiceConfiguration, toString

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • ResolveGenerics

      public ResolveGenerics(recoder.CrossReferenceServiceConfiguration sc, recoder.java.CompilationUnit cu)
      make a new generic resolver for a single compilation unit
      Parameters:
      sc - Services to use (cross references!)
      cu - the unit under test

  • Method Details

    • analyze

      public recoder.kit.ProblemReport analyze()
      Analyse a compilation unit to remove all traces of generic entities. The problem is delegated to sub-classes for the following entities:
      • Class-/Interface-Declarations
      • MethodDeclarations
      • FieldDeclarations
      Overrides:
      analyze in class recoder.kit.TwoPassTransformation
      See Also:
      • TwoPassTransformation.analyze()

    • transform

      public void transform()
      simply iterate over all remaining transformations and apply them.
      Overrides:
      transform in class recoder.kit.TwoPassTransformation

    • getCU

      public recoder.java.CompilationUnit getCU()